(Upper) Ontologies in Prolog


Hi,

I've been looking at some of the upper ontologies (SUMO, OpenCyc,
etc). I'm wondering if you are aware of any "native Prolog" upper
ontologies or efforts to *translate* existing upper ontologies to
Prolog?

I'm not interested in, for example, simply an API-based embedding
(such as a Prolog interface to a DL reasoner), but native Prolog/Prolog
+CHR representations with native Prolog reasoning.

While obviously some of the existing work in upper ontologies could be
loaded into a Prolog database as tuples describing a simple lattice,
I'm interested in a representation where at least some constraints are
represented in the ontology and can be reasoned about with Prolog. As
a very simple example, it would be nice to detect that a 'tangible
mathematical object' doesn't make sense or to deduce that an 'event'
should have a time.

Thanks,

-Benjamin Johnston

.

Relevant Pages

  • Re: Arrays, functor, and assert/retract
    ... If you express the answer to /that/ question in Prolog, you will have your answer, but whereas the difficulty here seems to me to be that you are unsure as to how to proceed to begin to formulate a provisional answer to that question in Prolog, please allow me to offer the following general comments. ... However, inventing unambiguous representations in no easier to do in Prolog than it is to do in English, so you must be prepared to patiently work your way through many laborious revisions when you are doing it in Prolog. ... a predicate that implemented Fortran statements of the form ...
    (comp.lang.prolog)
  • Re: matrix
    ... > I've to make an Exercise in prolog, I'd like to work with matrices ... > 3) There are some link to look for array/matrix computation in prolog? ... needed functor+arg representations are better than lists of lists. ...
    (comp.lang.prolog)