Syntactic Conformance: "OWL 2 DL Ontology Document": sufficient definition?

Hi!

It's late in the day, I know, but I thought we needed a power of two - so here's LC comment No. 64. ;-)

I just stumbled over this: In the Conformance document, the definition of an "OWL 2 DL Ontology Document" is as follows:

[[
An OWL 2 Full ontology document 
is an OWL 2 DL ontology document 
iff it can be successfully parsed 
using the procedure for mapping from RDF graphs 
to the structural specification 
described in the OWL 2 Mapping to RDF Graphs 
[OWL 2 Mapping to RDF Graphs].
]]

What I am missing: Does this already include the global constraints, such as "no cardinality restriction on transitive properties" or "tree of anonymous individual names", etc.? At least, I wasn't able to find this mentioned in the Mapping document.

For the remaining languages (syntactic conformance of EL, QL, RL), I think the situation is fine, because the definitions explicitly state that the result of the mapping process must adhere to the structural specification for the respective language, e.g.:

[[
    An OWL 2 DL ontology document 
    is an OWL 2 EL ontology document 
    iff the result of the procedure 
    for mapping from RDF graphs to the structural specification 
    described in the OWL 2 Mapping to RDF Graphs 
    [OWL 2 Mapping to RDF Graphs] 
--> is an OWL 2 EL ontology 
--> as defined in the OWL 2 Profiles specification [OWL 2 Profiles].
]]

So I think, saying something along the lines of the following text should save the day for OWL 2 DL, either:

[[
An OWL 2 Full ontology document 
is an OWL 2 DL ontology document
iff
...
and if the result of this mapping process
matches all the syntactic restrictions
as defined in the OWL 2 Structural Specification [OWL 2 Specification].
]]

I would consider this a pure bug fix (no design change), because it is clear that an OWL 2 DL ontology has to meet all the global restrictions.

Best,
Michael
 
--
Dipl.-Inform. Michael Schneider
Research Scientist, Dept. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: schneid@fzi.de
WWW  : http://www.fzi.de/ipe/eng/mitarbeiter.php?id=555

==============================================================================

FZI Forschungszentrum Informatik an der Universität Karlsruhe
Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
Tel.: +49-721-9654-0, Fax: +49-721-9654-959
Stiftung des bürgerlichen Rechts
Stiftung Az: 14-0563.1 Regierungspräsidium Karlsruhe
Vorstand: Prof. Dr.-Ing. Rüdiger Dillmann, Dipl. Wi.-Ing. Michael Flor,
Prof. Dr. rer. nat. Dr. h.c. Wolffried Stucky, Prof. Dr. rer. nat. Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus

==============================================================================