> 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). (01)
Matthew, the point that I am putting across is simply that
ontological relations are logical statements (02)
as in: (03)
ttp://www.rddl.org/SchemaAlgebra (04)
PDM (05)
>
> 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
>
> (06)
--
Paola Di Maio
********************************** (07)
Forthcoming (08)
i-Semantics 2009, 2 - 4 September 2009, Graz, Austria. www.i-semantics.tugraz.at (09)
SEMAPRO 2009, Malta
http://www.iaria.org/conferences2009/RegistrationSEMAPRO09.html (010)
_________________________________________________________________
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 (011)
|