Warning:
This wiki has been archived and is now read-only.
TestCase:WebOnt-description-logic-906
From OWL
Test cases are no longer maintained on this site. The test you are looking for seems to be TestCase:WebOnt-description-logic-906. For more tests, please go to the OWL 2 test case collection site.
OWL EL Report (Informative)
Ontology violates the OWL EL constraints in at least the following:
- The following axiom is not allowed: InverseProperties(q-M-to-1 invQ-1-to-M)
- The following axiom is not allowed: EquivalentClasses(only-d ExactCardinality(600 invR-N-times-M-to-1 Thing) )
- due to class description ExactCardinality(600 invR-N-times-M-to-1 Thing)
- The following axiom is not allowed: EquivalentClasses(cardinality-N ExactCardinality(30 invQ-1-to-M Thing) )
- due to class description ExactCardinality(30 invQ-1-to-M Thing)
- The following axiom is not allowed: FunctionalProperty(p-N-to-1)
- The following axiom is not allowed: FunctionalProperty(q-M-to-1)
- 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: InverseProperties(p-N-to-1 invP-1-to-N)
- The following axiom is not allowed: FunctionalProperty(r-N-times-M-to-1)
- The following axiom is not allowed: EquivalentClasses(only-d ExactCardinality(20 invP-1-to-N Thing) )
- due to class description ExactCardinality(20 invP-1-to-N Thing)
OWL QL Report (Informative)
Ontology violates the OWL QL constraints in at least the following:
- The following axiom is not allowed: EquivalentClasses(cardinality-N SomeValuesFrom(p-N-to-1 only-d) )
- due to class description SomeValuesFrom(p-N-to-1 only-d)
- The following axiom is not allowed: EquivalentClasses(cardinality-N-times-M SomeValuesFrom(r-N-times-M-to-1 only-d) )
- due to class description SomeValuesFrom(r-N-times-M-to-1 only-d)
- The following axiom is not allowed: EquivalentClasses(cardinality-N ExactCardinality(30 invQ-1-to-M Thing) )
- due to class description ExactCardinality(30 invQ-1-to-M Thing)
- The following axiom is not allowed: FunctionalProperty(q-M-to-1)
- The following axiom is not allowed: EquivalentClasses(cardinality-N-times-M SomeValuesFrom(q-M-to-1 cardinality-N) )
- due to class description SomeValuesFrom(q-M-to-1 cardinality-N)
- The following axiom is not allowed: FunctionalProperty(r-N-times-M-to-1)
- The following axiom is not allowed: FunctionalProperty(p-N-to-1)
- The following axiom is not allowed: EquivalentClasses(only-d ExactCardinality(600 invR-N-times-M-to-1 Thing) )
- due to class description ExactCardinality(600 invR-N-times-M-to-1 Thing)
- The following axiom is not allowed: EquivalentClasses(only-d OneOf(d) )
- due to class description OneOf(d)
- The following axiom is not allowed: EquivalentClasses(only-d ExactCardinality(20 invP-1-to-N Thing) )
- due to class description ExactCardinality(20 invP-1-to-N Thing)
OWL RL Report (Informative)
Ontology violates the OWL RL constraints in at least the following:
- The following axiom is not allowed: EquivalentClasses(cardinality-N-times-M SomeValuesFrom(q-M-to-1 cardinality-N) )
- due to class description SomeValuesFrom(q-M-to-1 cardinality-N)
- The following axiom is not allowed: EquivalentClasses(cardinality-N SomeValuesFrom(p-N-to-1 only-d) )
- due to class description SomeValuesFrom(p-N-to-1 only-d)
- The following axiom is not allowed: EquivalentClasses(only-d ExactCardinality(20 invP-1-to-N Thing) )
- due to class description ExactCardinality(20 invP-1-to-N Thing)
- The following axiom is not allowed: EquivalentClasses(only-d ExactCardinality(600 invR-N-times-M-to-1 Thing) )
- due to class description ExactCardinality(600 invR-N-times-M-to-1 Thing)
- The following axiom is not allowed: EquivalentClasses(only-d OneOf(d) )
- due to class description OneOf(d)
- The following axiom is not allowed: EquivalentClasses(cardinality-N-times-M SomeValuesFrom(r-N-times-M-to-1 only-d) )
- due to class description SomeValuesFrom(r-N-times-M-to-1 only-d)
- The following axiom is not allowed: EquivalentClasses(cardinality-N ExactCardinality(30 invQ-1-to-M Thing) )
- due to class description ExactCardinality(30 invQ-1-to-M Thing)