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

TestCase:WebOnt-description-logic-907

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-907. 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(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) )
    • due to class description ExactCardinality(60000 invR-N-times-M-to-1 Thing)
  • The following axiom is not allowed: FunctionalProperty(p-N-to-1)

OWL QL Report (Informative)

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

  • 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(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-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(q-M-to-1)
  • The following axiom is not allowed: EquivalentClasses(only-d ExactCardinality(60000 invR-N-times-M-to-1 Thing) )
    • due to class description ExactCardinality(60000 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(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 OneOf(d) )
    • due to class description OneOf(d)
  • 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: FunctionalProperty(p-N-to-1)

OWL RL Report (Informative)

Ontology violates the OWL RL 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(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(300 invQ-1-to-M Thing) )
    • due to class description ExactCardinality(300 invQ-1-to-M Thing)
  • 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(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 OneOf(d) )
    • due to class description OneOf(d)
  • The following axiom is not allowed: EquivalentClasses(only-d ExactCardinality(60000 invR-N-times-M-to-1 Thing) )
    • due to class description ExactCardinality(60000 invR-N-times-M-to-1 Thing)