The version of this test approved by the WebOnt WG was incorrect. The input ontology present in that version of the test was marked as an OWL DL document, but was not OWL DL because it did not contain a triple of the form O rdf:type owl:Ontology. The ontology has been revised to contain the necessary triple.

OWL EL Report (Informative)

Ontology violates the OWL EL constraints in at least the following:

The following axiom is not allowed: EquivalentClasses(cardinality-N ExactCardinality(300 invQ-1-to-M Thing) )

due to class description ExactCardinality(300 invQ-1-to-M Thing)

The following axiom is not allowed: InverseProperties(r-N-times-M-to-1 invR-N-times-M-to-1)

The following axiom is not allowed: FunctionalProperty(r-N-times-M-to-1)

The following axiom is not allowed: InverseProperties(q-M-to-1 invQ-1-to-M)

The following axiom is not allowed: InverseProperties(p-N-to-1 invP-1-to-N)

The following axiom is not allowed: FunctionalProperty(q-M-to-1)

The following axiom is not allowed: EquivalentClasses(only-d ExactCardinality(200 invP-1-to-N Thing) )

due to class description ExactCardinality(200 invP-1-to-N Thing)

The following axiom is not allowed: EquivalentClasses(only-d ExactCardinality(60000 invR-N-times-M-to-1 Thing) )