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

TestCase:WebOnt-description-logic-623

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-623. 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(invR r)
  • The following axiom is not allowed: EquivalentClasses(c AllValuesFrom(invR V.7) )
    • due to class description AllValuesFrom(invR V.7)
  • The following axiom is not allowed: EquivalentClasses(V.5 AllValuesFrom(r c) )
    • due to class description AllValuesFrom(r c)
  • The following axiom is not allowed: EquivalentClasses(V.6 AllValuesFrom(invS a.comp) )
    • due to class description AllValuesFrom(invS a.comp)
  • The following axiom is not allowed: InverseProperties(invP p)
  • The following axiom is not allowed: EquivalentClasses(V.7 AllValuesFrom(invP V.6) )
    • due to class description AllValuesFrom(invP V.6)
  • The following axiom is not allowed: EquivalentClasses(a.comp MinCardinality(1 P.1 Literal) )
    • due to class description MinCardinality(1 P.1 Literal)
  • The following axiom is not allowed: InverseProperties(invS s)
  • The following axiom is not allowed: EquivalentClasses(A.2 IntersectionOf(SomeValuesFrom(p Thing) SomeValuesFrom(r Thing) AllValuesFrom(p V.3) AllValuesFrom(p V.4) AllValuesFrom(p V.5) AllValuesFrom(r c)) )
    • due to class description IntersectionOf(SomeValuesFrom(p Thing) SomeValuesFrom(r Thing) AllValuesFrom(p V.3) AllValuesFrom(p V.4) AllValuesFrom(p V.5) AllValuesFrom(r c))
  • The following axiom is not allowed: EquivalentClasses(a MaxCardinality(0 P.1 Literal) )
    • due to class description MaxCardinality(0 P.1 Literal)

OWL QL Report (Informative)

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

  • The following axiom is not allowed: EquivalentClasses(c AllValuesFrom(invR V.7) )
    • due to class description AllValuesFrom(invR V.7)
  • The following axiom is not allowed: EquivalentClasses(a.comp MinCardinality(1 P.1 Literal) )
    • due to class description MinCardinality(1 P.1 Literal)
  • The following axiom is not allowed: EquivalentClasses(V.6 AllValuesFrom(invS a.comp) )
    • due to class description AllValuesFrom(invS a.comp)
  • The following axiom is not allowed: EquivalentClasses(V.5 AllValuesFrom(r c) )
    • due to class description AllValuesFrom(r c)
  • The following axiom is not allowed: EquivalentClasses(V.7 AllValuesFrom(invP V.6) )
    • due to class description AllValuesFrom(invP V.6)
  • The following axiom is not allowed: EquivalentClasses(a MaxCardinality(0 P.1 Literal) )
    • due to class description MaxCardinality(0 P.1 Literal)
  • The following axiom is not allowed: TransitiveProperty(p)
  • The following axiom is not allowed: EquivalentClasses(A.2 IntersectionOf(SomeValuesFrom(p Thing) SomeValuesFrom(r Thing) AllValuesFrom(p V.3) AllValuesFrom(p V.4) AllValuesFrom(p V.5) AllValuesFrom(r c)) )
    • due to class description IntersectionOf(SomeValuesFrom(p Thing) SomeValuesFrom(r Thing) AllValuesFrom(p V.3) AllValuesFrom(p V.4) AllValuesFrom(p V.5) AllValuesFrom(r c))

OWL RL Report (Informative)

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

  • The following axiom is not allowed: EquivalentClasses(V.7 AllValuesFrom(invP V.6) )
    • due to class description AllValuesFrom(invP V.6)
  • The following axiom is not allowed: EquivalentClasses(V.5 AllValuesFrom(r c) )
    • due to class description AllValuesFrom(r c)
  • The following axiom is not allowed: EquivalentClasses(a.comp MinCardinality(1 P.1 Literal) )
    • due to class description MinCardinality(1 P.1 Literal)
  • The following axiom is not allowed: EquivalentClasses(a MaxCardinality(0 P.1 Literal) )
    • due to class description MaxCardinality(0 P.1 Literal)
  • The following axiom is not allowed: EquivalentClasses(c AllValuesFrom(invR V.7) )
    • due to class description AllValuesFrom(invR V.7)
  • The following axiom is not allowed: EquivalentClasses(V.6 AllValuesFrom(invS a.comp) )
    • due to class description AllValuesFrom(invS a.comp)
  • The following axiom is not allowed: EquivalentClasses(A.2 IntersectionOf(SomeValuesFrom(p Thing) SomeValuesFrom(r Thing) AllValuesFrom(p V.3) AllValuesFrom(p V.4) AllValuesFrom(p V.5) AllValuesFrom(r c)) )
    • due to class description IntersectionOf(SomeValuesFrom(p Thing) SomeValuesFrom(r Thing) AllValuesFrom(p V.3) AllValuesFrom(p V.4) AllValuesFrom(p V.5) AllValuesFrom(r c))
  • The following axiom is not allowed: EquivalentClasses(V.4 SomeValuesFrom(p Thing) )
    • due to class description SomeValuesFrom(p Thing)
  • The following axiom is not allowed: SubClassOf(Unsatisfiable SomeValuesFrom(s A.2))
    • due to class description SomeValuesFrom(s A.2)
  • The following axiom is not allowed: EquivalentClasses(V.3 SomeValuesFrom(r Thing) )
    • due to class description SomeValuesFrom(r Thing)