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

TestCase:WebOnt-description-logic-662

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-662. 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(C14.comp MinCardinality(1 P.1 Literal) )
    • due to class description MinCardinality(1 P.1 Literal)
  • The following axiom is not allowed: EquivalentClasses(C34 MinCardinality(1 P.9 Literal) )
    • due to class description MinCardinality(1 P.9 Literal)
  • The following axiom is not allowed: EquivalentClasses(C32.comp MinCardinality(1 P.7 Literal) )
    • due to class description MinCardinality(1 P.7 Literal)
  • The following axiom is not allowed: ObjectPropertyAssertion(R1 V8467 V8474)
  • The following axiom is not allowed: ObjectPropertyAssertion(R1 V8472 V8476)
  • The following axiom is not allowed: EquivalentClasses(C78 MinCardinality(1 P.20 Thing) )
    • due to class description MinCardinality(1 P.20 Thing)
  • The following axiom is not allowed: EquivalentClasses(C78.comp ExactCardinality(0 P.20 Thing) )
    • due to class description ExactCardinality(0 P.20 Thing)
  • The following axiom is not allowed: ObjectPropertyAssertion(R1 V8467 V8475)
  • The following axiom is not allowed: ObjectPropertyAssertion(R1 V8467 V8471)
  • The following axiom is not allowed: EquivalentClasses(C32 ExactCardinality(0 P.7 Literal) )
    • due to class description ExactCardinality(0 P.7 Literal)
  • The following axiom is not allowed: EquivalentClasses(C48.comp ExactCardinality(0 P.12 Thing) )
    • due to class description ExactCardinality(0 P.12 Thing)
  • The following axiom is not allowed: EquivalentClasses(C6.comp MinCardinality(1 P.28 Thing) )
    • due to class description MinCardinality(1 P.28 Thing)
  • The following axiom is not allowed: EquivalentClasses(C48 MinCardinality(1 P.12 Thing) )
    • due to class description MinCardinality(1 P.12 Thing)
  • The following axiom is not allowed: EquivalentClasses(C42 MaxCardinality(0 P.31 Literal) )
    • due to class description MaxCardinality(0 P.31 Literal)
  • The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 C2) V8469)
    • due to class description AllValuesFrom(R1 C2)
  • The following axiom is not allowed: EquivalentClasses(C36.comp ExactCardinality(0 P.8 Thing) )
    • due to class description ExactCardinality(0 P.8 Thing)
  • The following axiom is not allowed: EquivalentClasses(C42.comp MinCardinality(1 P.31 Literal) )
    • due to class description MinCardinality(1 P.31 Literal)
  • The following axiom is not allowed: EquivalentClasses(C74 MinCardinality(1 P.18 Thing) )
    • due to class description MinCardinality(1 P.18 Thing)
  • The following axiom is not allowed: EquivalentClasses(C84.comp ExactCardinality(0 P.23 Literal) )
    • due to class description ExactCardinality(0 P.23 Literal)
  • The following axiom is not allowed: EquivalentClasses(C62.comp ExactCardinality(0 P.17 Literal) )
    • due to class description ExactCardinality(0 P.17 Literal)
  • The following axiom is not allowed: EquivalentClasses(C72.comp ExactCardinality(0 P.33 Literal) )
    • due to class description ExactCardinality(0 P.33 Literal)
  • The following axiom is not allowed: EquivalentClasses(C92 ExactCardinality(0 P.34 Thing) )
    • due to class description ExactCardinality(0 P.34 Thing)
  • The following axiom is not allowed: ObjectPropertyAssertion(R1 V8467 V8472)
  • The following axiom is not allowed: EquivalentClasses(C62 MinCardinality(1 P.17 Literal) )
    • due to class description MinCardinality(1 P.17 Literal)
  • The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 C2) V8471)
    • due to class description AllValuesFrom(R1 C2)
  • The following axiom is not allowed: EquivalentClasses(C52.comp ExactCardinality(0 P.32 Thing) )
    • due to class description ExactCardinality(0 P.32 Thing)
  • The following axiom is not allowed: EquivalentClasses(C26.comp ExactCardinality(0 P.30 Thing) )
    • due to class description ExactCardinality(0 P.30 Thing)
  • The following axiom is not allowed: ObjectPropertyAssertion(R1 V8467 V8468)
  • The following axiom is not allowed: ObjectPropertyAssertion(R1 V8467 V8473)
  • The following axiom is not allowed: EquivalentClasses(C94 MinCardinality(1 P.29 Literal) )
    • due to class description MinCardinality(1 P.29 Literal)
  • The following axiom is not allowed: EquivalentClasses(C28.comp MaxCardinality(0 P.6 Thing) )
    • due to class description MaxCardinality(0 P.6 Thing)
  • The following axiom is not allowed: EquivalentClasses(C82 ExactCardinality(0 P.25 Literal) )
    • due to class description ExactCardinality(0 P.25 Literal)
  • The following axiom is not allowed: EquivalentClasses(C94.comp ExactCardinality(0 P.29 Literal) )
    • due to class description ExactCardinality(0 P.29 Literal)
  • The following axiom is not allowed: EquivalentClasses(C44 ExactCardinality(0 P.10 Thing) )
    • due to class description ExactCardinality(0 P.10 Thing)
  • The following axiom is not allowed: EquivalentClasses(C50.comp MinCardinality(1 P.13 Literal) )
    • due to class description MinCardinality(1 P.13 Literal)
  • The following axiom is not allowed: EquivalentClasses(C36 MinCardinality(1 P.8 Thing) )
    • due to class description MinCardinality(1 P.8 Thing)
  • The following axiom is not allowed: EquivalentClasses(C72 MinCardinality(1 P.33 Literal) )
    • due to class description MinCardinality(1 P.33 Literal)
  • The following axiom is not allowed: EquivalentClasses(C52 MinCardinality(1 P.32 Thing) )
    • due to class description MinCardinality(1 P.32 Thing)
  • The following axiom is not allowed: EquivalentClasses(C54 MinCardinality(1 P.14 Thing) )
    • due to class description MinCardinality(1 P.14 Thing)
  • The following axiom is not allowed: ObjectPropertyAssertion(R1 V8467 V8470)
  • The following axiom is not allowed: EquivalentClasses(C84 MinCardinality(1 P.23 Literal) )
    • due to class description MinCardinality(1 P.23 Literal)
  • The following axiom is not allowed: EquivalentClasses(C74.comp ExactCardinality(0 P.18 Thing) )
    • due to class description ExactCardinality(0 P.18 Thing)
  • The following axiom is not allowed: EquivalentClasses(C34.comp ExactCardinality(0 P.9 Literal) )
    • due to class description ExactCardinality(0 P.9 Literal)
  • The following axiom is not allowed: EquivalentClasses(C14 MaxCardinality(0 P.1 Literal) )
    • due to class description MaxCardinality(0 P.1 Literal)
  • The following axiom is not allowed: EquivalentClasses(C82.comp MinCardinality(1 P.25 Literal) )
    • due to class description MinCardinality(1 P.25 Literal)
  • The following axiom is not allowed: EquivalentClasses(C16 MinCardinality(1 P.2 Thing) )
    • due to class description MinCardinality(1 P.2 Thing)
  • The following axiom is not allowed: EquivalentClasses(C20.comp ExactCardinality(0 P.5 Literal) )
    • due to class description ExactCardinality(0 P.5 Literal)
  • The following axiom is not allowed: ObjectPropertyAssertion(R1 V8467 V8469)
  • The following axiom is not allowed: EquivalentClasses(C2 MinCardinality(1 P.3 Literal) )
    • due to class description MinCardinality(1 P.3 Literal)
  • The following axiom is not allowed: EquivalentClasses(C92.comp MinCardinality(1 P.34 Thing) )
    • due to class description MinCardinality(1 P.34 Thing)
  • The following axiom is not allowed: EquivalentClasses(C28 MinCardinality(1 P.6 Thing) )
    • due to class description MinCardinality(1 P.6 Thing)
  • The following axiom is not allowed: EquivalentClasses(C50 ExactCardinality(0 P.13 Literal) )
    • due to class description ExactCardinality(0 P.13 Literal)
  • The following axiom is not allowed: EquivalentClasses(C2.comp ExactCardinality(0 P.3 Literal) )
    • due to class description ExactCardinality(0 P.3 Literal)
  • The following axiom is not allowed: EquivalentClasses(C54.comp ExactCardinality(0 P.14 Thing) )
    • due to class description ExactCardinality(0 P.14 Thing)
  • The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 C2.comp) V8474)
    • due to class description AllValuesFrom(R1 C2.comp)
  • The following axiom is not allowed: EquivalentClasses(C6 ExactCardinality(0 P.28 Thing) )
    • due to class description ExactCardinality(0 P.28 Thing)
  • The following axiom is not allowed: EquivalentClasses(C26 MinCardinality(1 P.30 Thing) )
    • due to class description MinCardinality(1 P.30 Thing)
  • The following axiom is not allowed: EquivalentClasses(C20 MinCardinality(1 P.5 Literal) )
    • due to class description MinCardinality(1 P.5 Literal)
  • The following axiom is not allowed: EquivalentClasses(C16.comp ExactCardinality(0 P.2 Thing) )
    • due to class description ExactCardinality(0 P.2 Thing)
  • The following axiom is not allowed: EquivalentClasses(C44.comp MinCardinality(1 P.10 Thing) )
    • due to class description MinCardinality(1 P.10 Thing)

OWL QL Report (Informative)

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

  • The following axiom is not allowed: EquivalentClasses(C70 SomeValuesFrom(R1 C68) )
    • due to class description SomeValuesFrom(R1 C68)
  • The following axiom is not allowed: EquivalentClasses(C30 IntersectionOf(C18 C28.comp) )
    • due to class description IntersectionOf(C18 C28.comp)
  • The following axiom is not allowed: EquivalentClasses(C42 MaxCardinality(0 P.31 Literal) )
    • due to class description MaxCardinality(0 P.31 Literal)
  • The following axiom is not allowed: EquivalentClasses(C62 MinCardinality(1 P.17 Literal) )
    • due to class description MinCardinality(1 P.17 Literal)
  • The following axiom is not allowed: EquivalentClasses(C62.comp ExactCardinality(0 P.17 Literal) )
    • due to class description ExactCardinality(0 P.17 Literal)
  • The following axiom is not allowed: EquivalentClasses(C94 SomeValuesFrom(R1 C92) )
    • due to class description SomeValuesFrom(R1 C92)
  • The following axiom is not allowed: EquivalentClasses(C50 SomeValuesFrom(R1 C2) )
    • due to class description SomeValuesFrom(R1 C2)
  • The following axiom is not allowed: EquivalentClasses(C50.comp MinCardinality(1 P.13 Literal) )
    • due to class description MinCardinality(1 P.13 Literal)
  • The following axiom is not allowed: EquivalentClasses(C54.comp ExactCardinality(0 P.14 Thing) )
    • due to class description ExactCardinality(0 P.14 Thing)
  • The following axiom is not allowed: EquivalentClasses(C76 IntersectionOf(C56 C74.comp) )
    • due to class description IntersectionOf(C56 C74.comp)
  • The following axiom is not allowed: EquivalentClasses(C16 MinCardinality(1 P.2 Thing) )
    • due to class description MinCardinality(1 P.2 Thing)
  • The following axiom is not allowed: EquivalentClasses(C94.comp ExactCardinality(0 P.29 Literal) )
    • due to class description ExactCardinality(0 P.29 Literal)
  • The following axiom is not allowed: EquivalentClasses(TEST IntersectionOf(C76 C94.comp) )
    • due to class description IntersectionOf(C76 C94.comp)
  • The following axiom is not allowed: EquivalentClasses(C74.comp ExactCardinality(0 P.18 Thing) )
    • due to class description ExactCardinality(0 P.18 Thing)
  • The following axiom is not allowed: EquivalentClasses(C22 SomeValuesFrom(R1 C2.comp) )
    • due to class description SomeValuesFrom(R1 C2.comp)
  • The following axiom is not allowed: EquivalentClasses(C90 SomeValuesFrom(R1 C88) )
    • due to class description SomeValuesFrom(R1 C88)
  • The following axiom is not allowed: EquivalentClasses(C20 SomeValuesFrom(R1 C2.comp) )
    • due to class description SomeValuesFrom(R1 C2.comp)
  • The following axiom is not allowed: EquivalentClasses(C48.comp ExactCardinality(0 P.12 Thing) )
    • due to class description ExactCardinality(0 P.12 Thing)
  • The following axiom is not allowed: EquivalentClasses(C2.comp ExactCardinality(0 P.3 Literal) )
    • due to class description ExactCardinality(0 P.3 Literal)
  • The following axiom is not allowed: EquivalentClasses(C26 MinCardinality(1 P.30 Thing) )
    • due to class description MinCardinality(1 P.30 Thing)
  • The following axiom is not allowed: EquivalentClasses(C36 SomeValuesFrom(R1 C2) )
    • due to class description SomeValuesFrom(R1 C2)
  • The following axiom is not allowed: EquivalentClasses(C88 SomeValuesFrom(R1 C86) )
    • due to class description SomeValuesFrom(R1 C86)
  • The following axiom is not allowed: EquivalentClasses(C32.comp MinCardinality(1 P.7 Literal) )
    • due to class description MinCardinality(1 P.7 Literal)
  • The following axiom is not allowed: EquivalentClasses(C38 SomeValuesFrom(R1 C36.comp) )
    • due to class description SomeValuesFrom(R1 C36.comp)
  • The following axiom is not allowed: EquivalentClasses(C36 MinCardinality(1 P.8 Thing) )
    • due to class description MinCardinality(1 P.8 Thing)
  • The following axiom is not allowed: EquivalentClasses(C4 SomeValuesFrom(R1 C2.comp) )
    • due to class description SomeValuesFrom(R1 C2.comp)
  • The following axiom is not allowed: EquivalentClasses(C18 IntersectionOf(C12 C16.comp) )
    • due to class description IntersectionOf(C12 C16.comp)
  • The following axiom is not allowed: EquivalentClasses(C58 SomeValuesFrom(R1 C2) )
    • due to class description SomeValuesFrom(R1 C2)
  • The following axiom is not allowed: EquivalentClasses(C62 SomeValuesFrom(R1 C60) )
    • due to class description SomeValuesFrom(R1 C60)
  • The following axiom is not allowed: EquivalentClasses(C82 SomeValuesFrom(R1 C80) )
    • due to class description SomeValuesFrom(R1 C80)
  • The following axiom is not allowed: EquivalentClasses(C42.comp MinCardinality(1 P.31 Literal) )
    • due to class description MinCardinality(1 P.31 Literal)
  • The following axiom is not allowed: EquivalentClasses(C6 SomeValuesFrom(R1 C2.comp) )
    • due to class description SomeValuesFrom(R1 C2.comp)
  • The following axiom is not allowed: EquivalentClasses(C40 SomeValuesFrom(R1 C38) )
    • due to class description SomeValuesFrom(R1 C38)
  • The following axiom is not allowed: EquivalentClasses(C46 IntersectionOf(C30 C44.comp) )
    • due to class description IntersectionOf(C30 C44.comp)
  • The following axiom is not allowed: EquivalentClasses(C26.comp ExactCardinality(0 P.30 Thing) )
    • due to class description ExactCardinality(0 P.30 Thing)
  • The following axiom is not allowed: EquivalentClasses(C92 IntersectionOf(C82.comp C90) )
    • due to class description IntersectionOf(C82.comp C90)
  • The following axiom is not allowed: EquivalentClasses(C44.comp MinCardinality(1 P.10 Thing) )
    • due to class description MinCardinality(1 P.10 Thing)
  • The following axiom is not allowed: EquivalentClasses(C84 SomeValuesFrom(R1 C2.comp) )
    • due to class description SomeValuesFrom(R1 C2.comp)
  • The following axiom is not allowed: EquivalentClasses(C82 ExactCardinality(0 P.25 Literal) )
    • due to class description ExactCardinality(0 P.25 Literal)
  • The following axiom is not allowed: EquivalentClasses(C34 SomeValuesFrom(R1 C32.comp) )
    • due to class description SomeValuesFrom(R1 C32.comp)
  • The following axiom is not allowed: EquivalentClasses(C92.comp MinCardinality(1 P.34 Thing) )
    • due to class description MinCardinality(1 P.34 Thing)
  • The following axiom is not allowed: EquivalentClasses(C54 SomeValuesFrom(R1 C52) )
    • due to class description SomeValuesFrom(R1 C52)
  • The following axiom is not allowed: EquivalentClasses(C72 IntersectionOf(C62.comp C70) )
    • due to class description IntersectionOf(C62.comp C70)
  • The following axiom is not allowed: EquivalentClasses(C66 IntersectionOf(C2.comp C64) )
    • due to class description IntersectionOf(C2.comp C64)
  • The following axiom is not allowed: EquivalentClasses(C68 SomeValuesFrom(R1 C66) )
    • due to class description SomeValuesFrom(R1 C66)
  • The following axiom is not allowed: EquivalentClasses(C14.comp MinCardinality(1 P.1 Literal) )
    • due to class description MinCardinality(1 P.1 Literal)
  • The following axiom is not allowed: EquivalentClasses(C6 ExactCardinality(0 P.28 Thing) )
    • due to class description ExactCardinality(0 P.28 Thing)
  • The following axiom is not allowed: EquivalentClasses(C32 SomeValuesFrom(R1 C2) )
    • due to class description SomeValuesFrom(R1 C2)
  • The following axiom is not allowed: EquivalentClasses(C54 MinCardinality(1 P.14 Thing) )
    • due to class description MinCardinality(1 P.14 Thing)
  • The following axiom is not allowed: EquivalentClasses(C80 IntersectionOf(C2.comp C78.comp) )
    • due to class description IntersectionOf(C2.comp C78.comp)
  • The following axiom is not allowed: EquivalentClasses(C14 MaxCardinality(0 P.1 Literal) )
    • due to class description MaxCardinality(0 P.1 Literal)
  • The following axiom is not allowed: EquivalentClasses(C32 ExactCardinality(0 P.7 Literal) )
    • due to class description ExactCardinality(0 P.7 Literal)
  • The following axiom is not allowed: EquivalentClasses(C10 IntersectionOf(C4 C8) )
    • due to class description IntersectionOf(C4 C8)
  • The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 C2) V8471)
    • due to class description AllValuesFrom(R1 C2)
  • The following axiom is not allowed: EquivalentClasses(C92 ExactCardinality(0 P.34 Thing) )
    • due to class description ExactCardinality(0 P.34 Thing)
  • The following axiom is not allowed: EquivalentClasses(C34.comp ExactCardinality(0 P.9 Literal) )
    • due to class description ExactCardinality(0 P.9 Literal)
  • The following axiom is not allowed: EquivalentClasses(C48 MinCardinality(1 P.12 Thing) )
    • due to class description MinCardinality(1 P.12 Thing)
  • The following axiom is not allowed: EquivalentClasses(C72 MinCardinality(1 P.33 Literal) )
    • due to class description MinCardinality(1 P.33 Literal)
  • The following axiom is not allowed: EquivalentClasses(C44 SomeValuesFrom(R1 C42) )
    • due to class description SomeValuesFrom(R1 C42)
  • The following axiom is not allowed: EquivalentClasses(C12 SomeValuesFrom(R1 C10) )
    • due to class description SomeValuesFrom(R1 C10)
  • The following axiom is not allowed: EquivalentClasses(C48 SomeValuesFrom(R1 C2.comp) )
    • due to class description SomeValuesFrom(R1 C2.comp)
  • The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 C2.comp) V8474)
    • due to class description AllValuesFrom(R1 C2.comp)
  • The following axiom is not allowed: EquivalentClasses(C14 SomeValuesFrom(R1 TOP) )
    • due to class description SomeValuesFrom(R1 TOP)
  • The following axiom is not allowed: EquivalentClasses(C94 MinCardinality(1 P.29 Literal) )
    • due to class description MinCardinality(1 P.29 Literal)
  • The following axiom is not allowed: EquivalentClasses(C16.comp ExactCardinality(0 P.2 Thing) )
    • due to class description ExactCardinality(0 P.2 Thing)
  • The following axiom is not allowed: EquivalentClasses(C42 IntersectionOf(C34.comp C40) )
    • due to class description IntersectionOf(C34.comp C40)
  • The following axiom is not allowed: EquivalentClasses(C24 SomeValuesFrom(R1 C22) )
    • due to class description SomeValuesFrom(R1 C22)
  • The following axiom is not allowed: EquivalentClasses(C74 MinCardinality(1 P.18 Thing) )
    • due to class description MinCardinality(1 P.18 Thing)
  • The following axiom is not allowed: EquivalentClasses(C64 SomeValuesFrom(R1 C2) )
    • due to class description SomeValuesFrom(R1 C2)
  • The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 C2) V8469)
    • due to class description AllValuesFrom(R1 C2)
  • The following axiom is not allowed: EquivalentClasses(C86 IntersectionOf(C2.comp C84.comp) )
    • due to class description IntersectionOf(C2.comp C84.comp)
  • The following axiom is not allowed: EquivalentClasses(C2 MinCardinality(1 P.3 Literal) )
    • due to class description MinCardinality(1 P.3 Literal)
  • The following axiom is not allowed: EquivalentClasses(C52.comp ExactCardinality(0 P.32 Thing) )
    • due to class description ExactCardinality(0 P.32 Thing)
  • The following axiom is not allowed: EquivalentClasses(C84 MinCardinality(1 P.23 Literal) )
    • due to class description MinCardinality(1 P.23 Literal)
  • The following axiom is not allowed: EquivalentClasses(C16 SomeValuesFrom(R1 C14.comp) )
    • due to class description SomeValuesFrom(R1 C14.comp)
  • The following axiom is not allowed: EquivalentClasses(C60 IntersectionOf(C2.comp C58) )
    • due to class description IntersectionOf(C2.comp C58)
  • The following axiom is not allowed: EquivalentClasses(C20.comp ExactCardinality(0 P.5 Literal) )
    • due to class description ExactCardinality(0 P.5 Literal)
  • The following axiom is not allowed: EquivalentClasses(C44 ExactCardinality(0 P.10 Thing) )
    • due to class description ExactCardinality(0 P.10 Thing)
  • The following axiom is not allowed: EquivalentClasses(C34 MinCardinality(1 P.9 Literal) )
    • due to class description MinCardinality(1 P.9 Literal)
  • The following axiom is not allowed: EquivalentClasses(C28 SomeValuesFrom(R1 C26) )
    • due to class description SomeValuesFrom(R1 C26)
  • The following axiom is not allowed: EquivalentClasses(C84.comp ExactCardinality(0 P.23 Literal) )
    • due to class description ExactCardinality(0 P.23 Literal)
  • The following axiom is not allowed: EquivalentClasses(C78 MinCardinality(1 P.20 Thing) )
    • due to class description MinCardinality(1 P.20 Thing)
  • The following axiom is not allowed: EquivalentClasses(C20 MinCardinality(1 P.5 Literal) )
    • due to class description MinCardinality(1 P.5 Literal)
  • The following axiom is not allowed: EquivalentClasses(C78 SomeValuesFrom(R1 C2.comp) )
    • due to class description SomeValuesFrom(R1 C2.comp)
  • The following axiom is not allowed: EquivalentClasses(C56 IntersectionOf(C46 C54.comp) )
    • due to class description IntersectionOf(C46 C54.comp)
  • The following axiom is not allowed: EquivalentClasses(C6.comp MinCardinality(1 P.28 Thing) )
    • due to class description MinCardinality(1 P.28 Thing)
  • The following axiom is not allowed: EquivalentClasses(C82.comp MinCardinality(1 P.25 Literal) )
    • due to class description MinCardinality(1 P.25 Literal)
  • The following axiom is not allowed: EquivalentClasses(C50 ExactCardinality(0 P.13 Literal) )
    • due to class description ExactCardinality(0 P.13 Literal)
  • The following axiom is not allowed: EquivalentClasses(C52 IntersectionOf(C48.comp C50.comp) )
    • due to class description IntersectionOf(C48.comp C50.comp)
  • The following axiom is not allowed: EquivalentClasses(C26 IntersectionOf(C20.comp C24) )
    • due to class description IntersectionOf(C20.comp C24)
  • The following axiom is not allowed: EquivalentClasses(C8 SomeValuesFrom(R1 C6.comp) )
    • due to class description SomeValuesFrom(R1 C6.comp)
  • The following axiom is not allowed: EquivalentClasses(C78.comp ExactCardinality(0 P.20 Thing) )
    • due to class description ExactCardinality(0 P.20 Thing)
  • The following axiom is not allowed: EquivalentClasses(C36.comp ExactCardinality(0 P.8 Thing) )
    • due to class description ExactCardinality(0 P.8 Thing)
  • The following axiom is not allowed: EquivalentClasses(C28.comp MaxCardinality(0 P.6 Thing) )
    • due to class description MaxCardinality(0 P.6 Thing)
  • The following axiom is not allowed: EquivalentClasses(C28 MinCardinality(1 P.6 Thing) )
    • due to class description MinCardinality(1 P.6 Thing)
  • The following axiom is not allowed: EquivalentClasses(C72.comp ExactCardinality(0 P.33 Literal) )
    • due to class description ExactCardinality(0 P.33 Literal)
  • The following axiom is not allowed: EquivalentClasses(C52 MinCardinality(1 P.32 Thing) )
    • due to class description MinCardinality(1 P.32 Thing)
  • The following axiom is not allowed: EquivalentClasses(C74 SomeValuesFrom(R1 C72) )
    • due to class description SomeValuesFrom(R1 C72)

OWL RL Report (Informative)

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

  • The following axiom is not allowed: EquivalentClasses(C94.comp ExactCardinality(0 P.29 Literal) )
    • due to class description ExactCardinality(0 P.29 Literal)
  • The following axiom is not allowed: EquivalentClasses(C68 SomeValuesFrom(R1 C66) )
    • due to class description SomeValuesFrom(R1 C66)
  • The following axiom is not allowed: EquivalentClasses(C64 SomeValuesFrom(R1 C2) )
    • due to class description SomeValuesFrom(R1 C2)
  • The following axiom is not allowed: EquivalentClasses(C2.comp ExactCardinality(0 P.3 Literal) )
    • due to class description ExactCardinality(0 P.3 Literal)
  • The following axiom is not allowed: EquivalentClasses(C82 ExactCardinality(0 P.25 Literal) )
    • due to class description ExactCardinality(0 P.25 Literal)
  • The following axiom is not allowed: EquivalentClasses(C44 ExactCardinality(0 P.10 Thing) )
    • due to class description ExactCardinality(0 P.10 Thing)
  • The following axiom is not allowed: EquivalentClasses(C70 SomeValuesFrom(R1 C68) )
    • due to class description SomeValuesFrom(R1 C68)
  • The following axiom is not allowed: EquivalentClasses(C52 MinCardinality(1 P.32 Thing) )
    • due to class description MinCardinality(1 P.32 Thing)
  • The following axiom is not allowed: EquivalentClasses(C72.comp ExactCardinality(0 P.33 Literal) )
    • due to class description ExactCardinality(0 P.33 Literal)
  • The following axiom is not allowed: EquivalentClasses(C2 MinCardinality(1 P.3 Literal) )
    • due to class description MinCardinality(1 P.3 Literal)
  • The following axiom is not allowed: EquivalentClasses(C52.comp ExactCardinality(0 P.32 Thing) )
    • due to class description ExactCardinality(0 P.32 Thing)
  • The following axiom is not allowed: EquivalentClasses(C6 ExactCardinality(0 P.28 Thing) )
    • due to class description ExactCardinality(0 P.28 Thing)
  • The following axiom is not allowed: EquivalentClasses(C36 SomeValuesFrom(R1 C2) )
    • due to class description SomeValuesFrom(R1 C2)
  • The following axiom is not allowed: EquivalentClasses(C74 MinCardinality(1 P.18 Thing) )
    • due to class description MinCardinality(1 P.18 Thing)
  • The following axiom is not allowed: EquivalentClasses(C44 SomeValuesFrom(R1 C42) )
    • due to class description SomeValuesFrom(R1 C42)
  • The following axiom is not allowed: EquivalentClasses(C48.comp ExactCardinality(0 P.12 Thing) )
    • due to class description ExactCardinality(0 P.12 Thing)
  • The following axiom is not allowed: EquivalentClasses(C42 MaxCardinality(0 P.31 Literal) )
    • due to class description MaxCardinality(0 P.31 Literal)
  • The following axiom is not allowed: EquivalentClasses(C42.comp MinCardinality(1 P.31 Literal) )
    • due to class description MinCardinality(1 P.31 Literal)
  • The following axiom is not allowed: EquivalentClasses(C34 MinCardinality(1 P.9 Literal) )
    • due to class description MinCardinality(1 P.9 Literal)
  • The following axiom is not allowed: EquivalentClasses(C50 SomeValuesFrom(R1 C2) )
    • due to class description SomeValuesFrom(R1 C2)
  • The following axiom is not allowed: EquivalentClasses(C22 SomeValuesFrom(R1 C2.comp) )
    • due to class description SomeValuesFrom(R1 C2.comp)
  • The following axiom is not allowed: EquivalentClasses(C20.comp ExactCardinality(0 P.5 Literal) )
    • due to class description ExactCardinality(0 P.5 Literal)
  • The following axiom is not allowed: EquivalentClasses(C78 MinCardinality(1 P.20 Thing) )
    • due to class description MinCardinality(1 P.20 Thing)
  • The following axiom is not allowed: EquivalentClasses(C44.comp MinCardinality(1 P.10 Thing) )
    • due to class description MinCardinality(1 P.10 Thing)
  • The following axiom is not allowed: EquivalentClasses(C48 MinCardinality(1 P.12 Thing) )
    • due to class description MinCardinality(1 P.12 Thing)
  • The following axiom is not allowed: EquivalentClasses(C50.comp MinCardinality(1 P.13 Literal) )
    • due to class description MinCardinality(1 P.13 Literal)
  • The following axiom is not allowed: EquivalentClasses(C16.comp ExactCardinality(0 P.2 Thing) )
    • due to class description ExactCardinality(0 P.2 Thing)
  • The following axiom is not allowed: EquivalentClasses(C28.comp MaxCardinality(0 P.6 Thing) )
    • due to class description MaxCardinality(0 P.6 Thing)
  • The following axiom is not allowed: EquivalentClasses(C20 SomeValuesFrom(R1 C2.comp) )
    • due to class description SomeValuesFrom(R1 C2.comp)
  • The following axiom is not allowed: EquivalentClasses(C36.comp ExactCardinality(0 P.8 Thing) )
    • due to class description ExactCardinality(0 P.8 Thing)
  • The following axiom is not allowed: EquivalentClasses(C6.comp MinCardinality(1 P.28 Thing) )
    • due to class description MinCardinality(1 P.28 Thing)
  • The following axiom is not allowed: EquivalentClasses(C24 SomeValuesFrom(R1 C22) )
    • due to class description SomeValuesFrom(R1 C22)
  • The following axiom is not allowed: EquivalentClasses(C74 SomeValuesFrom(R1 C72) )
    • due to class description SomeValuesFrom(R1 C72)
  • The following axiom is not allowed: EquivalentClasses(C14.comp MinCardinality(1 P.1 Literal) )
    • due to class description MinCardinality(1 P.1 Literal)
  • The following axiom is not allowed: EquivalentClasses(C28 MinCardinality(1 P.6 Thing) )
    • due to class description MinCardinality(1 P.6 Thing)
  • The following axiom is not allowed: EquivalentClasses(C32 SomeValuesFrom(R1 C2) )
    • due to class description SomeValuesFrom(R1 C2)
  • The following axiom is not allowed: EquivalentClasses(C62 SomeValuesFrom(R1 C60) )
    • due to class description SomeValuesFrom(R1 C60)
  • The following axiom is not allowed: EquivalentClasses(C20 MinCardinality(1 P.5 Literal) )
    • due to class description MinCardinality(1 P.5 Literal)
  • The following axiom is not allowed: EquivalentClasses(C82.comp MinCardinality(1 P.25 Literal) )
    • due to class description MinCardinality(1 P.25 Literal)
  • The following axiom is not allowed: EquivalentClasses(C26.comp ExactCardinality(0 P.30 Thing) )
    • due to class description ExactCardinality(0 P.30 Thing)
  • The following axiom is not allowed: EquivalentClasses(C84 MinCardinality(1 P.23 Literal) )
    • due to class description MinCardinality(1 P.23 Literal)
  • The following axiom is not allowed: EquivalentClasses(C74.comp ExactCardinality(0 P.18 Thing) )
    • due to class description ExactCardinality(0 P.18 Thing)
  • The following axiom is not allowed: EquivalentClasses(C14 SomeValuesFrom(R1 TOP) )
    • due to class description SomeValuesFrom(R1 TOP)
  • The following axiom is not allowed: EquivalentClasses(C94 SomeValuesFrom(R1 C92) )
    • due to class description SomeValuesFrom(R1 C92)
  • The following axiom is not allowed: EquivalentClasses(C48 SomeValuesFrom(R1 C2.comp) )
    • due to class description SomeValuesFrom(R1 C2.comp)
  • The following axiom is not allowed: EquivalentClasses(C82 SomeValuesFrom(R1 C80) )
    • due to class description SomeValuesFrom(R1 C80)
  • The following axiom is not allowed: EquivalentClasses(C26 MinCardinality(1 P.30 Thing) )
    • due to class description MinCardinality(1 P.30 Thing)
  • The following axiom is not allowed: EquivalentClasses(C4 SomeValuesFrom(R1 C2.comp) )
    • due to class description SomeValuesFrom(R1 C2.comp)
  • The following axiom is not allowed: EquivalentClasses(C36 MinCardinality(1 P.8 Thing) )
    • due to class description MinCardinality(1 P.8 Thing)
  • The following axiom is not allowed: EquivalentClasses(C58 SomeValuesFrom(R1 C2) )
    • due to class description SomeValuesFrom(R1 C2)
  • The following axiom is not allowed: EquivalentClasses(C14 MaxCardinality(0 P.1 Literal) )
    • due to class description MaxCardinality(0 P.1 Literal)
  • The following axiom is not allowed: EquivalentClasses(C38 SomeValuesFrom(R1 C36.comp) )
    • due to class description SomeValuesFrom(R1 C36.comp)
  • The following axiom is not allowed: EquivalentClasses(C16 MinCardinality(1 P.2 Thing) )
    • due to class description MinCardinality(1 P.2 Thing)
  • The following axiom is not allowed: EquivalentClasses(C94 MinCardinality(1 P.29 Literal) )
    • due to class description MinCardinality(1 P.29 Literal)
  • The following axiom is not allowed: EquivalentClasses(C8 SomeValuesFrom(R1 C6.comp) )
    • due to class description SomeValuesFrom(R1 C6.comp)
  • The following axiom is not allowed: EquivalentClasses(C62.comp ExactCardinality(0 P.17 Literal) )
    • due to class description ExactCardinality(0 P.17 Literal)
  • The following axiom is not allowed: EquivalentClasses(C32.comp MinCardinality(1 P.7 Literal) )
    • due to class description MinCardinality(1 P.7 Literal)
  • The following axiom is not allowed: EquivalentClasses(C84.comp ExactCardinality(0 P.23 Literal) )
    • due to class description ExactCardinality(0 P.23 Literal)
  • The following axiom is not allowed: EquivalentClasses(C78 SomeValuesFrom(R1 C2.comp) )
    • due to class description SomeValuesFrom(R1 C2.comp)
  • The following axiom is not allowed: EquivalentClasses(C6 SomeValuesFrom(R1 C2.comp) )
    • due to class description SomeValuesFrom(R1 C2.comp)
  • The following axiom is not allowed: EquivalentClasses(C92.comp MinCardinality(1 P.34 Thing) )
    • due to class description MinCardinality(1 P.34 Thing)
  • The following axiom is not allowed: EquivalentClasses(C88 SomeValuesFrom(R1 C86) )
    • due to class description SomeValuesFrom(R1 C86)
  • The following axiom is not allowed: EquivalentClasses(C72 MinCardinality(1 P.33 Literal) )
    • due to class description MinCardinality(1 P.33 Literal)
  • The following axiom is not allowed: EquivalentClasses(C90 SomeValuesFrom(R1 C88) )
    • due to class description SomeValuesFrom(R1 C88)
  • The following axiom is not allowed: EquivalentClasses(C54 MinCardinality(1 P.14 Thing) )
    • due to class description MinCardinality(1 P.14 Thing)
  • The following axiom is not allowed: EquivalentClasses(C62 MinCardinality(1 P.17 Literal) )
    • due to class description MinCardinality(1 P.17 Literal)
  • The following axiom is not allowed: EquivalentClasses(C84 SomeValuesFrom(R1 C2.comp) )
    • due to class description SomeValuesFrom(R1 C2.comp)
  • The following axiom is not allowed: EquivalentClasses(C32 ExactCardinality(0 P.7 Literal) )
    • due to class description ExactCardinality(0 P.7 Literal)
  • The following axiom is not allowed: EquivalentClasses(C78.comp ExactCardinality(0 P.20 Thing) )
    • due to class description ExactCardinality(0 P.20 Thing)
  • The following axiom is not allowed: EquivalentClasses(C92 ExactCardinality(0 P.34 Thing) )
    • due to class description ExactCardinality(0 P.34 Thing)
  • The following axiom is not allowed: EquivalentClasses(C54.comp ExactCardinality(0 P.14 Thing) )
    • due to class description ExactCardinality(0 P.14 Thing)
  • The following axiom is not allowed: EquivalentClasses(C16 SomeValuesFrom(R1 C14.comp) )
    • due to class description SomeValuesFrom(R1 C14.comp)
  • The following axiom is not allowed: EquivalentClasses(C12 SomeValuesFrom(R1 C10) )
    • due to class description SomeValuesFrom(R1 C10)
  • The following axiom is not allowed: EquivalentClasses(C40 SomeValuesFrom(R1 C38) )
    • due to class description SomeValuesFrom(R1 C38)
  • The following axiom is not allowed: EquivalentClasses(C54 SomeValuesFrom(R1 C52) )
    • due to class description SomeValuesFrom(R1 C52)
  • The following axiom is not allowed: EquivalentClasses(C34 SomeValuesFrom(R1 C32.comp) )
    • due to class description SomeValuesFrom(R1 C32.comp)
  • The following axiom is not allowed: EquivalentClasses(C34.comp ExactCardinality(0 P.9 Literal) )
    • due to class description ExactCardinality(0 P.9 Literal)
  • The following axiom is not allowed: EquivalentClasses(C50 ExactCardinality(0 P.13 Literal) )
    • due to class description ExactCardinality(0 P.13 Literal)
  • The following axiom is not allowed: EquivalentClasses(C28 SomeValuesFrom(R1 C26) )
    • due to class description SomeValuesFrom(R1 C26)
Retrieved from "https://www.w3.org/2007/OWL/wiki/index.php?title=TestCase:WebOnt-description-logic-662&oldid=16843"