Conformance-v1

Document Conformance

Syntactic Conformance

Any RDF/XML document [RDF Syntax] is an OWL 2 Full ontology document.

An OWL 2 Full ontology document is an OWL 2 DL ontology document iff it can be successfully parsed using the cannonical parsing process [OWL 2 Mapping to RDF Graphs] and the resulting ontology in the functional-style syntax satisfies all the restrictions on OWL 2 DL ontologies [OWL 2 Specification].

An OWL 2 DL ontology document is an OWL 2 EL ontology document iff it can be successfully parsed using the cannonical parsing process [OWL 2 Mapping to RDF Graphs] and the resulting ontology in the functional-style syntax satisfies all the restrictions on OWL 2 EL ontologies [OWL 2 Profiles].

An OWL 2 DL ontology document is an OWL 2 QL ontology document iff it can be successfully parsed using the cannonical parsing process [OWL 2 Mapping to RDF Graphs] and the resulting ontology in the functional-style syntax satisfies all the restrictions on OWL 2 QL ontologies [OWL 2 Profiles].

Any RDF/XML document [RDF Syntax] is an OWL 2 RL ontology document.

An OWL 2 RL ontology document is a Simple OWL 2 RL ontology document iff it can be successfully parsed using the cannonical parsing process [OWL 2 Mapping to RDF Graphs] and the resulting ontology in the functional-style syntax satisfies all the restrictions on OWL 2 RL simple ontologies [OWL 2 Profiles].

Semantic Conformance

In OWL 2, semantic conditions are defined with respect to a datatype map [OWL 2 Specification]. This MUST be either an OWL Datatype map [OWL 2 Specification], or and extension of an OWL Datatype map to include additional datatypes.

• An OWL 2 DL, EL or QL ontology O is consistent with respect to a datatype map M iff there exists a model with respect to M of the axiom closure of O [OWL 2 Semantics]. An OWL 2 DL, EL or QL ontology document D is consistent with respect to a datatype map M iff the ontology derived from D using the cannonical parsing process [OWL 2 Mapping to RDF Graphs] is consistent with respect to M.
• An OWL 2 Full or OWL 2 RL ontology document D is consistent with respect to a datatype map M iff there is some OWL 2 Full interpretation of O with respect to M [OWL 2 RDF-Based Semantics].