Azamat, (01)
Logic defines the semantics of any notation that is used
to define any version of ontology. (02)
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 (03)
If the notations for expressing the ontology are inconsistent,
there is no hope of making the ontology consistent. (04)
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. (05)
But if different parts or chapters of that ontology are expressed
in inconsistent versions of logic, the project is doomed from
the start. (06)
John (07)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (08)
|