"... the point that I am putting across is simply that ontological
relations are logical statements" (01)
Paola,
That is not the case. Here comes all the misunderstanding of "logical
ontologies". The Ontological relations as causal relationships are as much
real as you and me.
Another point. When you state that logic is part of ontology, it has some
sense as the logical representations of ontological relations.
Azamat
----- Original Message -----
From: <paola.dimaio@xxxxxxxxx>
To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
Sent: Friday, January 23, 2009 3:54 PM
Subject: Re: [ontolog-forum] Next steps in using ontologies as standards (02)
>> Logic is just one formalism that what
>> relationships are can be expressed in. Logic is not inherently built in
>> to
>> them, only what can be expressed in logic (or other means).
>
> Matthew, the point that I am putting across is simply that
> ontological relations are logical statements
>
>
> as in:
>
> ttp://www.rddl.org/SchemaAlgebra
>
>
>
>
>
> PDM
>
>
>
>
>
>>
>> Regards
>>
>> Matthew West
>> Information Junction
>> Tel: +44 560 302 3685
>> Mobile: +44 750 3385279
>> matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
>> http://www.matthew-west.org.uk/
>>
>> This email originates from Information Junction Ltd. Registered in
>> England
>> and Wales No. 6632177.
>> Registered office: 2 Brookside, Meadow Way, Letchworth Garden City,
>> Hertfordshire, SG6 3JE.
>>
>>
>>
>>
>>> -----Original Message-----
>>> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-
>>> bounces@xxxxxxxxxxxxxxxx] On Behalf Of paola.dimaio@xxxxxxxxx
>>> Sent: 23 January 2009 11:46
>>> To: [ontolog-forum]
>>> Subject: Re: [ontolog-forum] Next steps in using ontologies as
>>> standards
>>>
>>> Hi Matthew
>>>
>>> relationships (hence the logic they rely upon for their existence)
>>> exist irrespective of the formalism they are expressed with
>>> the formalism is merely a representation
>>> even natural language relies on logic for its structure
>>>
>>>
>>> p
>>>
>>>
>>>
>>> On Fri, Jan 23, 2009 at 6:32 PM, Matthew West
>>> <dr.matthew.west@xxxxxxxxx> wrote:
>>> > Dear Paola,
>>> >
>>> >> >I do not see how it gets you to saying ontology includes logic.
>>> >>
>>> >> It looks to me that logic is inherent, intrinsic to what there is,
>>> >> therefore to ontology, as a description of it. I am not sure
>>> >> 'includes' is the best way to say it, but surely, its part of the
>>> glue
>>> >> that builds the conceptual scaffolding
>>> >
>>> > [MW] This would be true if logic was the only possible formalism that
>>> > ontology could be expressed in, but as I explained earlier it isn't.
>>> At
>>> > least category theory is an alternative.
>>> >>
>>> >> If you take out the logic that makes up the relationships between
>>> all
>>> >> the elements and components of an ontology, all we end up with is a
>>> >> pile of conceptual scrap
>>> >
>>> > [MW] First, I don't think that is true, but if you take logic away
>>> you have
>>> > to consider what you are going to use to express what is commonly
>>> expressed
>>> > in logic, but there are other options than logic.
>>> >
>>> > Regards
>>> >
>>> > Matthew West
>>> > Information Junction
>>> > Tel: +44 560 302 3685
>>> > Mobile: +44 750 3385279
>>> > matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
>>> > http://www.matthew-west.org.uk/
>>> >
>>> > This email originates from Information Junction Ltd. Registered in
>>> England
>>> > and Wales No. 6632177.
>>> > Registered office: 2 Brookside, Meadow Way, Letchworth Garden City,
>>> > Hertfordshire, SG6 3JE.
>>> >
>>> >
>>> >
>>> >
>>> >
>>> > _________________________________________________________________
>>> > Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
>>> > Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-
>>> forum/
>>> > Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
>>> > Shared Files: http://ontolog.cim3.net/file/
>>> > Community Wiki: http://ontolog.cim3.net/wiki/
>>> > To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
>>> > To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>>> >
>>> >
>>>
>>>
>>>
>>> --
>>> Paola Di Maio
>>> **********************************
>>>
>>> Forthcoming
>>>
>>> i-Semantics 2009, 2 - 4 September 2009, Graz, Austria. www.i-
>>> semantics.tugraz.at
>>>
>>> SEMAPRO 2009, Malta
>>> http://www.iaria.org/conferences2009/RegistrationSEMAPRO09.html
>>>
>>> _________________________________________________________________
>>> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
>>> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
>>> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
>>> Shared Files: http://ontolog.cim3.net/file/
>>> Community Wiki: http://ontolog.cim3.net/wiki/
>>> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
>>> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>>>
>>
>>
>> _________________________________________________________________
>> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
>> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
>> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
>> Shared Files: http://ontolog.cim3.net/file/
>> Community Wiki: http://ontolog.cim3.net/wiki/
>> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
>> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>>
>>
>
>
>
> --
> Paola Di Maio
> **********************************
>
> Forthcoming
>
> i-Semantics 2009, 2 - 4 September 2009, Graz, Austria.
> www.i-semantics.tugraz.at
>
> SEMAPRO 2009, Malta
> http://www.iaria.org/conferences2009/RegistrationSEMAPRO09.html
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
> (03)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (04)
|