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


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.

Received on Wednesday, 1 August 2007 04:20:17 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:45:02 UTC