[Top] [All Lists]

Re: [ontolog-forum] Logic, Datalog and SQL

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
Cc: bob@xxxxxxxxxxxxxx
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Sun, 11 Feb 2007 09:58:02 -0500
Message-id: <45CF2EFA.7050506@xxxxxxxxxxx>
Bob and Kathy,    (01)

I agree with everything that Kathy said up to the
following sentence:    (02)

 > I think ontologies need to be able to represent
 > probabilistic relationships like these.    (03)

I certainly agree that such relationships should be
represented somewhere, but the question of where
they should be represented is another issue.    (04)

For years, I have maintained that the base ontology
(i.e., what is usually called the "upper level")
should have very few detailed axioms of any kind.    (05)

In fact, I would be delighted to have a base ontology
that contains nothing but a type hierarchy plus the
minimal constraints that everybody can agree to without
reservation.  I recommend that all other information be
included in collections of axioms of the kind that Cyc
calls "microtheories".    (06)

As a general principle, all knowledge derived from
observation should be put in the microtheories, and
only the definitional information that is derived
from the most basic conventions for distinguishing
one type from another should be included in the base
ontology.  In general, it is far better to leave the
base ontology underspecified than to include any axioms
that are controversial or likely to be revised and
updated as more information becomes available.    (07)

If you want to call those microtheories part of some
larger specification, which might even be called an
"extended ontology", I have no objection.    (08)

But it's essential to distinguish observational information,
which is constantly being updated and revised, from the
classifications in the base (or upper level) ontology.    (09)

John    (010)

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

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