Warning:
This wiki has been archived and is now read-only.

TestCase:WebOnt-description-logic-909

From OWL
Jump to: navigation, search

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)
Retrieved from "https://www.w3.org/2007/OWL/wiki/index.php?title=TestCase:WebOnt-description-logic-909&oldid=16856"