Re: Lang: owl:ontolgy

Here is a definition of ontologies that fits into the opposite end of the
spectrum from Jim's.

Abstract Syntax View:

An ontology is a syntactic construct that consists of a collection of 
1/ facts and axioms;
2/ inclusions of other ontologies;
3/ extra-logical information about the ontology, such as creater, etc.

RDF/XML View:

An ontology is an RDF/XML document whose rdf:RDF element has the inclusions
and extra-logical information as attributes and the facts and axioms in its
elements.


The meaning of an ontology is the combination of the meaning of the facts
and axioms in it plus the meaning of the ontologies included in it.


RDF View:

An ontology is an RDF graph, containing the axioms and facts of the
ontology and the axioms and facts of all included ontologies and their
included ontologies, etc.


That's it.


Peter F. Patel-Schneider
Bell Labs Research

Received on Friday, 13 September 2002 13:53:35 UTC