[Top] [All Lists]

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

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
Cc: bob@xxxxxxxxxxxxxx
From: Ken Laskey <klaskey@xxxxxxxxx>
Date: Sun, 11 Feb 2007 12:26:06 -0500
Message-id: <8D433636-F932-439C-8DB3-965504248F3E@xxxxxxxxx>
I think we need to be clear that we can devise a mechanism to include probabilistic relationships in ontology but have it as a best practice as to what level of detail one includes in what level ontology.  I agree that upper ontologies may best be under-specified but if we have the same structure for the range from domain-specific to upper ontologies, people can add what they think (or can agree) is appropriate wherever rather than deciding an existing ontology should be at a different level and then have to start recoding.

On Feb 11, 2007, at 9:58 AM, John F. Sowa wrote:

Bob and Kathy,

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

I think ontologies need to be able to represent
probabilistic relationships like these.

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

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.

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".

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.

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

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.



Ken Laskey
MITRE Corporation, M/S H305     phone:  703-983-7934
7515 Colshire Drive                        fax:        703-983-1379
McLean VA 22102-7508

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

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