W3C home > Mailing lists > Public > www-webont-wg@w3.org > October 2003

owl:Ontology triples and DL/Lite

From: Sean Bechhofer <seanb@cs.man.ac.uk>
Date: Tue, 7 Oct 2003 11:16:43 +0100 (GMT Daylight Time)
To: www-webont-wg@w3.org
Message-ID: <Pine.WNT.4.44.0310071109570.1916-100000@potato>

In the S&AS, an ontology is defined as:

ontology ::= 'Ontology(' [ ontologyID ] { directive } ')'

Additionally, we have the mapping rules that say:

Ontology(O directive1.. directiven) -> O rdf:type owl:Ontology .
				       T(directive1) … T(directiven)
Ontology(directive1 ... directiven) -> O rdf:type owl:Ontology .
				       T(directive1) … T(directiven)

This would suggest to me that every DL/Lite ontology represented as
OWL-RDF must have *at least one* type triple with owl:Ontology as object.

However, many of the test case ontologies don't. For example, picking one
at random:


has no owl:Ontology triples, but is labelled as Lite (and all our syntax
checkers agree that it is Lite).

Have I missed something somewhere, or have we all by chance managed to
successfully not implement the same feature.....?



Sean Bechhofer
Received on Tuesday, 7 October 2003 06:15:31 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:49 UTC