Warning:
This wiki has been archived and is now read-only.
TestCase:WebOnt-description-logic-909
From OWL
Test cases are no longer maintained on this site. The test you are looking for seems to be TestCase:WebOnt-description-logic-909. 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: EquivalentClasses(SomeValuesFrom(f-K-to-1 only-d) ExactCardinality(5 invR-N-times-M-to-1 Thing) )
- due to class description ExactCardinality(5 invR-N-times-M-to-1 Thing)
- The following axiom is not allowed: FunctionalProperty(f-K-to-1)
- The following axiom is not allowed: FunctionalProperty(p-N-to-1)
- The following axiom is not allowed: InverseProperties(p-N-to-1 invP-1-to-N)
- The following axiom is not allowed: EquivalentClasses(finite ExactCardinality(5 invR-N-times-M-to-1 Thing) )
- due to class description ExactCardinality(5 invR-N-times-M-to-1 Thing)
- The following axiom is not allowed: FunctionalProperty(r-N-times-M-to-1)
- The following axiom is not allowed: EquivalentClasses(finite ExactCardinality(2 invP-1-to-N Thing) )
- due to class description ExactCardinality(2 invP-1-to-N Thing)
- The following axiom is not allowed: EquivalentClasses(only-d MaxCardinality(1000000000 invF-1-to-K Thing) )
- due to class description MaxCardinality(1000000000 invF-1-to-K 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: InverseProperties(q-M-to-1 invQ-1-to-M)
- The following axiom is not allowed: FunctionalProperty(q-M-to-1)
- The following axiom is not allowed: InverseProperties(f-K-to-1 invF-1-to-K)
- The following axiom is not allowed: EquivalentClasses(cardinality-N ExactCardinality(3 invQ-1-to-M Thing) )
- due to class description ExactCardinality(3 invQ-1-to-M Thing)
OWL QL Report (Informative)
Ontology violates the OWL QL constraints in at least the following:
- The following axiom is not allowed: FunctionalProperty(f-K-to-1)
- The following axiom is not allowed: FunctionalProperty(q-M-to-1)
- The following axiom is not allowed: EquivalentClasses(cardinality-N SomeValuesFrom(p-N-to-1 finite) )
- due to class description SomeValuesFrom(p-N-to-1 finite)
- The following axiom is not allowed: EquivalentClasses(SomeValuesFrom(f-K-to-1 only-d) ExactCardinality(5 invR-N-times-M-to-1 Thing) )
- due to class description SomeValuesFrom(f-K-to-1 only-d)
- 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(p-N-to-1)
- The following axiom is not allowed: EquivalentClasses(finite ExactCardinality(2 invP-1-to-N Thing) )
- due to class description ExactCardinality(2 invP-1-to-N 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 MaxCardinality(1000000000 invF-1-to-K Thing) )
- due to class description MaxCardinality(1000000000 invF-1-to-K Thing)
- The following axiom is not allowed: FunctionalProperty(r-N-times-M-to-1)
- The following axiom is not allowed: EquivalentClasses(cardinality-N ExactCardinality(3 invQ-1-to-M Thing) )
- due to class description ExactCardinality(3 invQ-1-to-M Thing)
- The following axiom is not allowed: EquivalentClasses(finite ExactCardinality(5 invR-N-times-M-to-1 Thing) )
- due to class description ExactCardinality(5 invR-N-times-M-to-1 Thing)
- The following axiom is not allowed: EquivalentClasses(cardinality-N-times-M SomeValuesFrom(r-N-times-M-to-1 finite) )
- due to class description SomeValuesFrom(r-N-times-M-to-1 finite)
OWL RL Report (Informative)
Ontology violates the OWL RL constraints in at least the following:
- The following axiom is not allowed: EquivalentClasses(finite ExactCardinality(5 invR-N-times-M-to-1 Thing) )
- due to class description ExactCardinality(5 invR-N-times-M-to-1 Thing)
- The following axiom is not allowed: EquivalentClasses(cardinality-N-times-M SomeValuesFrom(r-N-times-M-to-1 finite) )
- due to class description SomeValuesFrom(r-N-times-M-to-1 finite)
- The following axiom is not allowed: EquivalentClasses(SomeValuesFrom(f-K-to-1 only-d) ExactCardinality(5 invR-N-times-M-to-1 Thing) )
- due to class description SomeValuesFrom(f-K-to-1 only-d)
- The following axiom is not allowed: EquivalentClasses(cardinality-N SomeValuesFrom(p-N-to-1 finite) )
- due to class description SomeValuesFrom(p-N-to-1 finite)
- 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 MaxCardinality(1000000000 invF-1-to-K Thing) )
- due to class description MaxCardinality(1000000000 invF-1-to-K Thing)
- 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 ExactCardinality(3 invQ-1-to-M Thing) )
- due to class description ExactCardinality(3 invQ-1-to-M Thing)
- The following axiom is not allowed: EquivalentClasses(finite ExactCardinality(2 invP-1-to-N Thing) )
- due to class description ExactCardinality(2 invP-1-to-N Thing)