Warning:
This wiki has been archived and is now read-only.
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].