W3C home > Mailing lists > Public > semantic-web@w3.org > August 2007

Re: [ontolog-forum] Current Semantic Web Layer Cake

From: John F. Sowa <sowa@bestweb.net>
Date: Tue, 31 Jul 2007 14:40:50 -0400
Message-ID: <46AF8232.6060205@bestweb.net>
To: Azamat <abdoul@cytanet.com.cy>
CC: Pat Hayes <phayes@ihmc.us>, "[ontolog-forum]" <ontolog-forum@ontolog.cim3.net>, 'SW-forum' <semantic-web@w3.org>, semantic_web@googlegroups.com

Azamat,

Logic defines the semantics of any notation that is used
to define any version of ontology.

AA> ... instead of Unifying Logic, it will be a Unifying Ontology
 > (a single comprehensive model of reality) integrating as its parts
 > the Web general vocabularies and ontologies

If the notations for expressing the ontology are inconsistent,
there is no hope of making the ontology consistent.

As I said, there are immense problems in maintaining the consistency
of large ontologies.  If you believe that you can achieve consistency,
I wish you the best of luck.

But if different parts or chapters of that ontology are expressed
in inconsistent versions of logic, the project is doomed from
the start.

John
Received on Wednesday, 1 August 2007 04:20:17 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 21:45:17 GMT