[Top] [All Lists]

Re: [ontolog-forum] Next steps in using ontologies as standards

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: paola.dimaio@xxxxxxxxx
Date: Thu, 22 Jan 2009 19:14:47 +0700
Message-id: <c09b00eb0901220414p4c6d67bck62628f1218cdee4f@xxxxxxxxxxxxxx>
Chris    (01)

> A less simple answer would have to do with the relationship between logic
> (inference) and ontology. Traditionally logic studies inference and ontology
> existence. (I realise that in CS ontology (or as Pat called it WC3 ontology)
> inference plays a big part.)
>    (02)

it strikes me that you write this as I am working on it
(its either echelon, or colletive consciouness, or both)    (03)

however, I cannot see the sharp distinction between the two, cause
ontology (existence) includes logic in its axioms
therefore I am lead to conclude that logic is part of ontology    (04)

if we consider axioms (and constraints) necessary to inference
then the two are dependent    (05)

isnt that so?    (06)

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    (07)

<Prev in Thread] Current Thread [Next in Thread>