- From: John F. Sowa <sowa@bestweb.net>
- Date: Tue, 31 Jul 2007 14:40:50 -0400
- 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 UTC