Round 4

• The structure of the annotation subsystem has been considerably refactored and extended.
• Conjunction and disjunction of data ranges have been added.
• The usage of owl:topDataProperty has been restricted to allow the datatype map to be extensible.
• The formal definition of the datatype map has been slightly changed to make it compatible with the usual W3C definitions.
• The owl:rational and rdf:XMLLiteral datatypes were added to the datatype map of OWL 2.
• The status of metamodeling has been clarified.
• Certain parts of the document (mainly in Sections 2, 3, and 5) have been rewritten for clarity.

• Added datatype "owl:rational", marking it "at risk" (WG resolution of Issue 87).
• The RDF syntax of self restrictions has been changed: The class owl:SelfRestriction has been replaced by the property owl:hasSelf (per WG resolution).
• Removed the semantic conditions for axiom annotations (WG resolution of Issue 144).
• Added semantic conditions inferring a union or intersection of datatypes into a datatype (following WG resolution of Issue 147).
• The URIs owl:TopObjectProperty, owl:BottomObjectProperty, owl:TopDataProperty and owl:BottomDataProperty have been renamed to their lower-case variants, respectively (per WG decision).
• The datatypes xsd:ID, xsd:IDREF and xsd:ENTITY have been removed (per WG resolution).
• Changed the semantic conditions for the n-ary value restrictions to infer the type of the properties p₁,...,p_n (IODP) and the type of the class c (IDC).
• Corrected definitions of consistency and entailment: The vocabulary V was a global parameter of the definitions. Now the form of the definitions is close to the respective definitions in OWL 1.
• Corrected the semantic condition for sub property chains: missing premise "q in IP" in the second condition.
• Removed redundant statements in the consequent of the semantic conditions for negative property assertions.
• For D-Interpretations, the range of the mapping IL has been changed to IR instead of LV, with a reference to the RDF Semantics. This was a bug, since in both the RDF Semantics and in OWL 1 the range of IL has been IR.
• Splitted the table on "Parts of the Universe" in the "Semantic Conditions" section into a table defining the parts (now in the "Interpretations" section), and a table that specifies the semantic conditions for those parts.
• The definition of OWL 2 Full datatype maps now include the different facet-related sets that have formerly been part of the "abbreviations" table in the "Semantic Conditions" section.
• The nomenclature for datatype maps has been aligned with the one used in the RDF Semantics. In particular, the concept being called an "interpretation of a literal" is now being called a "datatype value", and the concept being called an "interpretation of a datatype" is now being called a "datatype" or the "value space" of a datatype, depending on whether the datatype itself or its class extension is meant.
• Replaced all applications of the URI-mapping 'IS(.)' by the more general interpretation function 'I(.)'. This usage is now in line with the usage in the RDF Semantics document. Also, there have formerly been applications of IS, where it was not guaranteed that the argument is a URI.
• Marked several sections as "Informative", as requestion by a previous review.
• Added to the "Ontologies" section some text about ontology headers and ontology versions, but removed every text referring to the semantic meaning of a OWL 2 Full ontology.
• Moved the "Ontologies" section from Section 5 to Section 3.
• Moved the discussion on axiomatic triples from the section on "Semantic Conditions" to a dedicated appendix.
• The "Introduction" section has been revised.
• The descriptions of the semantic condition tables have been revised.

This is a Recommendation-Track document.

• The introduction has been expanded.
• It has been made clear (in the introduction and elsewhere) that the document does not present actual test cases, but rather a format for test cases and pointers to test case repositories.
• More precise pointers are provided to the syntactic restrictions referred to in the definitions of syntactic conformance.
• More is said about the syntactic conformance conditions for non-RDF syntaxes.
• Conditions for Datatype Map Conformance have been clarified.
• Some introductory text on Document Conformance has been added.
• The test case format has changed to include additional test metadata.
• The format for imported ontologies in test cases has been modified to include syntax and location data.
• The test case format is described in much greater detail.

The intended final status of this document has not yet been determined; since it may become a Recommendation, it should be considered a Recommendation-Track document for now.

The intended final status of this document has not yet been determined; since it may become a Recommendation, it should be considered a Recommendation-Track document for now.

The Working Group expects this document, when done, to be a Working Group Note, not a W3C Recommendation. As expressed in the document conformance clause, OWL systems are not required to read or write this syntax.