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

TestCase:WebOnt-description-logic-201

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-201. 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(C70 IntersectionOf(C2 ComplementOf(C4)) )
    • due to class description IntersectionOf(C2 ComplementOf(C4))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C96) V822576)
    • due to class description ComplementOf(C96)
  • The following axiom is not allowed: EquivalentClasses(C50 IntersectionOf(C4 ComplementOf(C48)) )
    • due to class description IntersectionOf(C4 ComplementOf(C48))
  • The following axiom is not allowed: EquivalentClasses(C52 IntersectionOf(ComplementOf(C32) ComplementOf(C50)) )
    • due to class description IntersectionOf(ComplementOf(C32) ComplementOf(C50))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C102) V822576)
    • due to class description ComplementOf(C102)
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C132) V822576)
    • due to class description ComplementOf(C132)
  • The following axiom is not allowed: EquivalentClasses(C80 IntersectionOf(ComplementOf(C76) ComplementOf(C78)) )
    • due to class description IntersectionOf(ComplementOf(C76) ComplementOf(C78))
  • The following axiom is not allowed: EquivalentClasses(C46 IntersectionOf(C44 ComplementOf(C34)) )
    • due to class description IntersectionOf(C44 ComplementOf(C34))
  • The following axiom is not allowed: EquivalentClasses(C138 SomeValuesFrom(R1 ComplementOf(C136)) )
    • due to class description SomeValuesFrom(R1 ComplementOf(C136))
  • The following axiom is not allowed: EquivalentClasses(C18 IntersectionOf(C2 ComplementOf(C16)) )
    • due to class description IntersectionOf(C2 ComplementOf(C16))
  • The following axiom is not allowed: EquivalentClasses(C132 IntersectionOf(C2 ComplementOf(C4)) )
    • due to class description IntersectionOf(C2 ComplementOf(C4))
  • The following axiom is not allowed: EquivalentClasses(C62 IntersectionOf(C4 ComplementOf(C10)) )
    • due to class description IntersectionOf(C4 ComplementOf(C10))
  • The following axiom is not allowed: EquivalentClasses(C136 IntersectionOf(C116 ComplementOf(C134)) )
    • due to class description IntersectionOf(C116 ComplementOf(C134))
  • The following axiom is not allowed: EquivalentClasses(C82 IntersectionOf(C2 ComplementOf(C16)) )
    • due to class description IntersectionOf(C2 ComplementOf(C16))
  • The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 ComplementOf(C82)) V822576)
    • due to class description AllValuesFrom(R1 ComplementOf(C82))
  • The following axiom is not allowed: EquivalentClasses(C14 IntersectionOf(ComplementOf(C12) ComplementOf(C8)) )
    • due to class description IntersectionOf(ComplementOf(C12) ComplementOf(C8))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C86) V822576)
    • due to class description ComplementOf(C86)
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C108) V822576)
    • due to class description ComplementOf(C108)
  • The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 ComplementOf(C88)) V822576)
    • due to class description AllValuesFrom(R1 ComplementOf(C88))
  • The following axiom is not allowed: EquivalentClasses(C134 IntersectionOf(C132 ComplementOf(C130)) )
    • due to class description IntersectionOf(C132 ComplementOf(C130))
  • The following axiom is not allowed: EquivalentClasses(C6 IntersectionOf(C2 ComplementOf(C4)) )
    • due to class description IntersectionOf(C2 ComplementOf(C4))
  • The following axiom is not allowed: EquivalentClasses(C140 IntersectionOf(C74 ComplementOf(C138)) )
    • due to class description IntersectionOf(C74 ComplementOf(C138))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C76) V822576)
    • due to class description ComplementOf(C76)
  • The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 ComplementOf(C98)) V822576)
    • due to class description AllValuesFrom(R1 ComplementOf(C98))
  • The following axiom is not allowed: EquivalentClasses(C64 IntersectionOf(C62 ComplementOf(C34)) )
    • due to class description IntersectionOf(C62 ComplementOf(C34))
  • The following axiom is not allowed: EquivalentClasses(C98 IntersectionOf(C4 ComplementOf(C34)) )
    • due to class description IntersectionOf(C4 ComplementOf(C34))
  • The following axiom is not allowed: EquivalentClasses(C74 IntersectionOf(C54 ComplementOf(C72)) )
    • due to class description IntersectionOf(C54 ComplementOf(C72))
  • The following axiom is not allowed: EquivalentClasses(C28 IntersectionOf(C26 ComplementOf(C16)) )
    • due to class description IntersectionOf(C26 ComplementOf(C16))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C90) V822576)
    • due to class description ComplementOf(C90)
  • The following axiom is not allowed: EquivalentClasses(C118 IntersectionOf(C4 ComplementOf(C10)) )
    • due to class description IntersectionOf(C4 ComplementOf(C10))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C10) V822576)
    • due to class description ComplementOf(C10)
  • The following axiom is not allowed: EquivalentClasses(C126 IntersectionOf(C124 ComplementOf(C34)) )
    • due to class description IntersectionOf(C124 ComplementOf(C34))
  • The following axiom is not allowed: EquivalentClasses(C78 IntersectionOf(C10 ComplementOf(C4)) )
    • due to class description IntersectionOf(C10 ComplementOf(C4))
  • The following axiom is not allowed: EquivalentClasses(C114 IntersectionOf(ComplementOf(C112) ComplementOf(C96)) )
    • due to class description IntersectionOf(ComplementOf(C112) ComplementOf(C96))
  • The following axiom is not allowed: EquivalentClasses(C32 IntersectionOf(C2 ComplementOf(C30)) )
    • due to class description IntersectionOf(C2 ComplementOf(C30))
  • The following axiom is not allowed: EquivalentClasses(C112 IntersectionOf(C4 ComplementOf(C110)) )
    • due to class description IntersectionOf(C4 ComplementOf(C110))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C92) V822576)
    • due to class description ComplementOf(C92)
  • The following axiom is not allowed: EquivalentClasses(C92 IntersectionOf(C90 ComplementOf(C16)) )
    • due to class description IntersectionOf(C90 ComplementOf(C16))
  • The following axiom is not allowed: EquivalentClasses(C72 IntersectionOf(C70 ComplementOf(C68)) )
    • due to class description IntersectionOf(C70 ComplementOf(C68))
  • The following axiom is not allowed: EquivalentClasses(C124 IntersectionOf(C4 ComplementOf(C10)) )
    • due to class description IntersectionOf(C4 ComplementOf(C10))
  • The following axiom is not allowed: EquivalentClasses(C110 IntersectionOf(ComplementOf(C102) ComplementOf(C108)) )
    • due to class description IntersectionOf(ComplementOf(C102) ComplementOf(C108))
  • The following axiom is not allowed: EquivalentClasses(C96 IntersectionOf(C2 ComplementOf(C94)) )
    • due to class description IntersectionOf(C2 ComplementOf(C94))
  • The following axiom is not allowed: EquivalentClasses(C30 IntersectionOf(ComplementOf(C22) ComplementOf(C28)) )
    • due to class description IntersectionOf(ComplementOf(C22) ComplementOf(C28))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C134) V822576)
    • due to class description ComplementOf(C134)
  • The following axiom is not allowed: EquivalentClasses(C76 IntersectionOf(C4 ComplementOf(C2)) )
    • due to class description IntersectionOf(C4 ComplementOf(C2))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C100) V822576)
    • due to class description ComplementOf(C100)
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C18) V822576)
    • due to class description ComplementOf(C18)
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C84) V822576)
    • due to class description ComplementOf(C84)
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C78) V822576)
    • due to class description ComplementOf(C78)
  • The following axiom is not allowed: EquivalentClasses(C36 IntersectionOf(C4 ComplementOf(C34)) )
    • due to class description IntersectionOf(C4 ComplementOf(C34))
  • The following axiom is not allowed: EquivalentClasses(C94 IntersectionOf(ComplementOf(C86) ComplementOf(C92)) )
    • due to class description IntersectionOf(ComplementOf(C86) ComplementOf(C92))
  • The following axiom is not allowed: EquivalentClasses(C56 IntersectionOf(C4 ComplementOf(C10)) )
    • due to class description IntersectionOf(C4 ComplementOf(C10))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C112) V822576)
    • due to class description ComplementOf(C112)
  • The following axiom is not allowed: EquivalentClasses(C48 IntersectionOf(ComplementOf(C40) ComplementOf(C46)) )
    • due to class description IntersectionOf(ComplementOf(C40) ComplementOf(C46))
  • The following axiom is not allowed: EquivalentClasses(C8 IntersectionOf(C4 ComplementOf(C2)) )
    • due to class description IntersectionOf(C4 ComplementOf(C2))
  • The following axiom is not allowed: EquivalentClasses(C12 IntersectionOf(C10 ComplementOf(C4)) )
    • due to class description IntersectionOf(C10 ComplementOf(C4))
  • The following axiom is not allowed: EquivalentClasses(C108 IntersectionOf(C106 ComplementOf(C34)) )
    • due to class description IntersectionOf(C106 ComplementOf(C34))

OWL QL Report (Informative)

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

  • The following axiom is not allowed: EquivalentClasses(C128 SomeValuesFrom(R1 C126) )
    • due to class description SomeValuesFrom(R1 C126)
  • The following axiom is not allowed: EquivalentClasses(C116 IntersectionOf(C114 C80) )
    • due to class description IntersectionOf(C114 C80)
  • The following axiom is not allowed: EquivalentClasses(C102 IntersectionOf(C100 C34) )
    • due to class description IntersectionOf(C100 C34)
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C10) V822576)
    • due to class description ComplementOf(C10)
  • The following axiom is not allowed: EquivalentClasses(C108 IntersectionOf(C106 ComplementOf(C34)) )
    • due to class description IntersectionOf(C106 ComplementOf(C34))
  • The following axiom is not allowed: EquivalentClasses(C66 SomeValuesFrom(R1 C64) )
    • due to class description SomeValuesFrom(R1 C64)
  • The following axiom is not allowed: EquivalentClasses(C94 IntersectionOf(ComplementOf(C86) ComplementOf(C92)) )
    • due to class description IntersectionOf(ComplementOf(C86) ComplementOf(C92))
  • The following axiom is not allowed: EquivalentClasses(C88 IntersectionOf(C16 C2) )
    • due to class description IntersectionOf(C16 C2)
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C84) V822576)
    • due to class description ComplementOf(C84)
  • The following axiom is not allowed: EquivalentClasses(C22 IntersectionOf(C16 C20) )
    • due to class description IntersectionOf(C16 C20)
  • The following axiom is not allowed: EquivalentClasses(C132 IntersectionOf(C2 ComplementOf(C4)) )
    • due to class description IntersectionOf(C2 ComplementOf(C4))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C96) V822576)
    • due to class description ComplementOf(C96)
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C78) V822576)
    • due to class description ComplementOf(C78)
  • The following axiom is not allowed: EquivalentClasses(C80 IntersectionOf(ComplementOf(C76) ComplementOf(C78)) )
    • due to class description IntersectionOf(ComplementOf(C76) ComplementOf(C78))
  • The following axiom is not allowed: EquivalentClasses(C140 IntersectionOf(C74 ComplementOf(C138)) )
    • due to class description IntersectionOf(C74 ComplementOf(C138))
  • The following axiom is not allowed: EquivalentClasses(C122 SomeValuesFrom(R1 C120) )
    • due to class description SomeValuesFrom(R1 C120)
  • The following axiom is not allowed: EquivalentClasses(C70 IntersectionOf(C2 ComplementOf(C4)) )
    • due to class description IntersectionOf(C2 ComplementOf(C4))
  • The following axiom is not allowed: EquivalentClasses(C62 IntersectionOf(C4 ComplementOf(C10)) )
    • due to class description IntersectionOf(C4 ComplementOf(C10))
  • The following axiom is not allowed: EquivalentClasses(C120 IntersectionOf(C118 C34) )
    • due to class description IntersectionOf(C118 C34)
  • The following axiom is not allowed: EquivalentClasses(C46 IntersectionOf(C44 ComplementOf(C34)) )
    • due to class description IntersectionOf(C44 ComplementOf(C34))
  • The following axiom is not allowed: EquivalentClasses(C114 IntersectionOf(ComplementOf(C112) ComplementOf(C96)) )
    • due to class description IntersectionOf(ComplementOf(C112) ComplementOf(C96))
  • The following axiom is not allowed: EquivalentClasses(C134 IntersectionOf(C132 ComplementOf(C130)) )
    • due to class description IntersectionOf(C132 ComplementOf(C130))
  • The following axiom is not allowed: EquivalentClasses(C24 IntersectionOf(C16 C2) )
    • due to class description IntersectionOf(C16 C2)
  • The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 ComplementOf(C82)) V822576)
    • due to class description AllValuesFrom(R1 ComplementOf(C82))
  • The following axiom is not allowed: EquivalentClasses(C48 IntersectionOf(ComplementOf(C40) ComplementOf(C46)) )
    • due to class description IntersectionOf(ComplementOf(C40) ComplementOf(C46))
  • The following axiom is not allowed: EquivalentClasses(C58 IntersectionOf(C34 C56) )
    • due to class description IntersectionOf(C34 C56)
  • The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 ComplementOf(C98)) V822576)
    • due to class description AllValuesFrom(R1 ComplementOf(C98))
  • The following axiom is not allowed: EquivalentClasses(C60 SomeValuesFrom(R1 C58) )
    • due to class description SomeValuesFrom(R1 C58)
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C100) V822576)
    • due to class description ComplementOf(C100)
  • The following axiom is not allowed: EquivalentClasses(C82 IntersectionOf(C2 ComplementOf(C16)) )
    • due to class description IntersectionOf(C2 ComplementOf(C16))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C102) V822576)
    • due to class description ComplementOf(C102)
  • The following axiom is not allowed: EquivalentClasses(C110 IntersectionOf(ComplementOf(C102) ComplementOf(C108)) )
    • due to class description IntersectionOf(ComplementOf(C102) ComplementOf(C108))
  • The following axiom is not allowed: EquivalentClasses(C68 IntersectionOf(C60 C66) )
    • due to class description IntersectionOf(C60 C66)
  • The following axiom is not allowed: EquivalentClasses(C100 SomeValuesFrom(R1 C98) )
    • due to class description SomeValuesFrom(R1 C98)
  • The following axiom is not allowed: EquivalentClasses(C76 IntersectionOf(C4 ComplementOf(C2)) )
    • due to class description IntersectionOf(C4 ComplementOf(C2))
  • The following axiom is not allowed: EquivalentClasses(C40 IntersectionOf(C34 C38) )
    • due to class description IntersectionOf(C34 C38)
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C18) V822576)
    • due to class description ComplementOf(C18)
  • 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 IntersectionOf(C10 ComplementOf(C4)) )
    • due to class description IntersectionOf(C10 ComplementOf(C4))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C86) V822576)
    • due to class description ComplementOf(C86)
  • The following axiom is not allowed: EquivalentClasses(C18 IntersectionOf(C2 ComplementOf(C16)) )
    • due to class description IntersectionOf(C2 ComplementOf(C16))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C134) V822576)
    • due to class description ComplementOf(C134)
  • The following axiom is not allowed: EquivalentClasses(C112 IntersectionOf(C4 ComplementOf(C110)) )
    • due to class description IntersectionOf(C4 ComplementOf(C110))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C76) V822576)
    • due to class description ComplementOf(C76)
  • The following axiom is not allowed: EquivalentClasses(C38 SomeValuesFrom(R1 C36) )
    • due to class description SomeValuesFrom(R1 C36)
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C132) V822576)
    • due to class description ComplementOf(C132)
  • The following axiom is not allowed: EquivalentClasses(C118 IntersectionOf(C4 ComplementOf(C10)) )
    • due to class description IntersectionOf(C4 ComplementOf(C10))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C112) V822576)
    • due to class description ComplementOf(C112)
  • The following axiom is not allowed: EquivalentClasses(C126 IntersectionOf(C124 ComplementOf(C34)) )
    • due to class description IntersectionOf(C124 ComplementOf(C34))
  • The following axiom is not allowed: EquivalentClasses(C96 IntersectionOf(C2 ComplementOf(C94)) )
    • due to class description IntersectionOf(C2 ComplementOf(C94))
  • The following axiom is not allowed: EquivalentClasses(C136 IntersectionOf(C116 ComplementOf(C134)) )
    • due to class description IntersectionOf(C116 ComplementOf(C134))
  • The following axiom is not allowed: EquivalentClasses(C28 IntersectionOf(C26 ComplementOf(C16)) )
    • due to class description IntersectionOf(C26 ComplementOf(C16))
  • The following axiom is not allowed: EquivalentClasses(C30 IntersectionOf(ComplementOf(C22) ComplementOf(C28)) )
    • due to class description IntersectionOf(ComplementOf(C22) ComplementOf(C28))
  • The following axiom is not allowed: EquivalentClasses(C26 SomeValuesFrom(R1 C24) )
    • due to class description SomeValuesFrom(R1 C24)
  • The following axiom is not allowed: EquivalentClasses(C74 IntersectionOf(C54 ComplementOf(C72)) )
    • due to class description IntersectionOf(C54 ComplementOf(C72))
  • The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 ComplementOf(C88)) V822576)
    • due to class description AllValuesFrom(R1 ComplementOf(C88))
  • The following axiom is not allowed: EquivalentClasses(C98 IntersectionOf(C4 ComplementOf(C34)) )
    • due to class description IntersectionOf(C4 ComplementOf(C34))
  • The following axiom is not allowed: EquivalentClasses(C32 IntersectionOf(C2 ComplementOf(C30)) )
    • due to class description IntersectionOf(C2 ComplementOf(C30))
  • The following axiom is not allowed: EquivalentClasses(C104 IntersectionOf(C34 C4) )
    • due to class description IntersectionOf(C34 C4)
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C90) V822576)
    • due to class description ComplementOf(C90)
  • The following axiom is not allowed: EquivalentClasses(C50 IntersectionOf(C4 ComplementOf(C48)) )
    • due to class description IntersectionOf(C4 ComplementOf(C48))
  • The following axiom is not allowed: EquivalentClasses(C64 IntersectionOf(C62 ComplementOf(C34)) )
    • due to class description IntersectionOf(C62 ComplementOf(C34))
  • The following axiom is not allowed: EquivalentClasses(C8 IntersectionOf(C4 ComplementOf(C2)) )
    • due to class description IntersectionOf(C4 ComplementOf(C2))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C108) V822576)
    • due to class description ComplementOf(C108)
  • The following axiom is not allowed: EquivalentClasses(C36 IntersectionOf(C4 ComplementOf(C34)) )
    • due to class description IntersectionOf(C4 ComplementOf(C34))
  • The following axiom is not allowed: EquivalentClasses(C14 IntersectionOf(ComplementOf(C12) ComplementOf(C8)) )
    • due to class description IntersectionOf(ComplementOf(C12) ComplementOf(C8))
  • The following axiom is not allowed: EquivalentClasses(C72 IntersectionOf(C70 ComplementOf(C68)) )
    • due to class description IntersectionOf(C70 ComplementOf(C68))
  • The following axiom is not allowed: EquivalentClasses(C52 IntersectionOf(ComplementOf(C32) ComplementOf(C50)) )
    • due to class description IntersectionOf(ComplementOf(C32) ComplementOf(C50))
  • The following axiom is not allowed: EquivalentClasses(C106 SomeValuesFrom(R1 C104) )
    • due to class description SomeValuesFrom(R1 C104)
  • The following axiom is not allowed: EquivalentClasses(C54 IntersectionOf(C14 C52) )
    • due to class description IntersectionOf(C14 C52)
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C92) V822576)
    • due to class description ComplementOf(C92)
  • The following axiom is not allowed: EquivalentClasses(C124 IntersectionOf(C4 ComplementOf(C10)) )
    • due to class description IntersectionOf(C4 ComplementOf(C10))
  • 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(C6 IntersectionOf(C2 ComplementOf(C4)) )
    • due to class description IntersectionOf(C2 ComplementOf(C4))
  • The following axiom is not allowed: EquivalentClasses(C86 IntersectionOf(C16 C84) )
    • due to class description IntersectionOf(C16 C84)
  • The following axiom is not allowed: EquivalentClasses(C138 SomeValuesFrom(R1 ComplementOf(C136)) )
    • due to class description SomeValuesFrom(R1 ComplementOf(C136))
  • The following axiom is not allowed: EquivalentClasses(TEST IntersectionOf(C140 C6) )
    • due to class description IntersectionOf(C140 C6)
  • The following axiom is not allowed: EquivalentClasses(C84 SomeValuesFrom(R1 C82) )
    • due to class description SomeValuesFrom(R1 C82)
  • The following axiom is not allowed: EquivalentClasses(C20 SomeValuesFrom(R1 C18) )
    • due to class description SomeValuesFrom(R1 C18)
  • The following axiom is not allowed: EquivalentClasses(C56 IntersectionOf(C4 ComplementOf(C10)) )
    • due to class description IntersectionOf(C4 ComplementOf(C10))
  • The following axiom is not allowed: EquivalentClasses(C92 IntersectionOf(C90 ComplementOf(C16)) )
    • due to class description IntersectionOf(C90 ComplementOf(C16))
  • The following axiom is not allowed: EquivalentClasses(C130 IntersectionOf(C122 C128) )
    • due to class description IntersectionOf(C122 C128)
  • The following axiom is not allowed: EquivalentClasses(C42 IntersectionOf(C34 C4) )
    • due to class description IntersectionOf(C34 C4)
  • The following axiom is not allowed: EquivalentClasses(C78 IntersectionOf(C10 ComplementOf(C4)) )
    • due to class description IntersectionOf(C10 ComplementOf(C4))

OWL RL Report (Informative)

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

  • The following axiom is not allowed: EquivalentClasses(C134 IntersectionOf(C132 ComplementOf(C130)) )
    • due to class description IntersectionOf(C132 ComplementOf(C130))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C96) V822576)
    • due to class description ComplementOf(C96)
  • The following axiom is not allowed: EquivalentClasses(C56 IntersectionOf(C4 ComplementOf(C10)) )
    • due to class description IntersectionOf(C4 ComplementOf(C10))
  • The following axiom is not allowed: EquivalentClasses(C70 IntersectionOf(C2 ComplementOf(C4)) )
    • due to class description IntersectionOf(C2 ComplementOf(C4))
  • The following axiom is not allowed: EquivalentClasses(C48 IntersectionOf(ComplementOf(C40) ComplementOf(C46)) )
    • due to class description IntersectionOf(ComplementOf(C40) ComplementOf(C46))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C112) V822576)
    • due to class description ComplementOf(C112)
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C10) V822576)
    • due to class description ComplementOf(C10)
  • The following axiom is not allowed: EquivalentClasses(C74 IntersectionOf(C54 ComplementOf(C72)) )
    • due to class description IntersectionOf(C54 ComplementOf(C72))
  • The following axiom is not allowed: EquivalentClasses(C118 IntersectionOf(C4 ComplementOf(C10)) )
    • due to class description IntersectionOf(C4 ComplementOf(C10))
  • The following axiom is not allowed: EquivalentClasses(C38 SomeValuesFrom(R1 C36) )
    • due to class description SomeValuesFrom(R1 C36)
  • The following axiom is not allowed: EquivalentClasses(C12 IntersectionOf(C10 ComplementOf(C4)) )
    • due to class description IntersectionOf(C10 ComplementOf(C4))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C90) V822576)
    • due to class description ComplementOf(C90)
  • The following axiom is not allowed: EquivalentClasses(C124 IntersectionOf(C4 ComplementOf(C10)) )
    • due to class description IntersectionOf(C4 ComplementOf(C10))
  • The following axiom is not allowed: EquivalentClasses(C128 SomeValuesFrom(R1 C126) )
    • due to class description SomeValuesFrom(R1 C126)
  • The following axiom is not allowed: EquivalentClasses(C112 IntersectionOf(C4 ComplementOf(C110)) )
    • due to class description IntersectionOf(C4 ComplementOf(C110))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C132) V822576)
    • due to class description ComplementOf(C132)
  • The following axiom is not allowed: EquivalentClasses(C72 IntersectionOf(C70 ComplementOf(C68)) )
    • due to class description IntersectionOf(C70 ComplementOf(C68))
  • The following axiom is not allowed: EquivalentClasses(C108 IntersectionOf(C106 ComplementOf(C34)) )
    • due to class description IntersectionOf(C106 ComplementOf(C34))
  • The following axiom is not allowed: EquivalentClasses(C92 IntersectionOf(C90 ComplementOf(C16)) )
    • due to class description IntersectionOf(C90 ComplementOf(C16))
  • The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 ComplementOf(C82)) V822576)
    • due to class description AllValuesFrom(R1 ComplementOf(C82))
  • The following axiom is not allowed: EquivalentClasses(C126 IntersectionOf(C124 ComplementOf(C34)) )
    • due to class description IntersectionOf(C124 ComplementOf(C34))
  • The following axiom is not allowed: EquivalentClasses(C6 IntersectionOf(C2 ComplementOf(C4)) )
    • due to class description IntersectionOf(C2 ComplementOf(C4))
  • The following axiom is not allowed: EquivalentClasses(C28 IntersectionOf(C26 ComplementOf(C16)) )
    • due to class description IntersectionOf(C26 ComplementOf(C16))
  • The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 ComplementOf(C88)) V822576)
    • due to class description AllValuesFrom(R1 ComplementOf(C88))
  • The following axiom is not allowed: EquivalentClasses(C84 SomeValuesFrom(R1 C82) )
    • due to class description SomeValuesFrom(R1 C82)
  • The following axiom is not allowed: EquivalentClasses(C62 IntersectionOf(C4 ComplementOf(C10)) )
    • due to class description IntersectionOf(C4 ComplementOf(C10))
  • The following axiom is not allowed: EquivalentClasses(C32 IntersectionOf(C2 ComplementOf(C30)) )
    • due to class description IntersectionOf(C2 ComplementOf(C30))
  • The following axiom is not allowed: EquivalentClasses(C76 IntersectionOf(C4 ComplementOf(C2)) )
    • due to class description IntersectionOf(C4 ComplementOf(C2))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C86) V822576)
    • due to class description ComplementOf(C86)
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C100) V822576)
    • due to class description ComplementOf(C100)
  • The following axiom is not allowed: EquivalentClasses(C66 SomeValuesFrom(R1 C64) )
    • due to class description SomeValuesFrom(R1 C64)
  • The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 ComplementOf(C98)) V822576)
    • due to class description AllValuesFrom(R1 ComplementOf(C98))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C76) V822576)
    • due to class description ComplementOf(C76)
  • The following axiom is not allowed: EquivalentClasses(C82 IntersectionOf(C2 ComplementOf(C16)) )
    • due to class description IntersectionOf(C2 ComplementOf(C16))
  • The following axiom is not allowed: EquivalentClasses(C46 IntersectionOf(C44 ComplementOf(C34)) )
    • due to class description IntersectionOf(C44 ComplementOf(C34))
  • The following axiom is not allowed: EquivalentClasses(C20 SomeValuesFrom(R1 C18) )
    • due to class description SomeValuesFrom(R1 C18)
  • The following axiom is not allowed: EquivalentClasses(C8 IntersectionOf(C4 ComplementOf(C2)) )
    • due to class description IntersectionOf(C4 ComplementOf(C2))
  • The following axiom is not allowed: EquivalentClasses(C114 IntersectionOf(ComplementOf(C112) ComplementOf(C96)) )
    • due to class description IntersectionOf(ComplementOf(C112) ComplementOf(C96))
  • The following axiom is not allowed: EquivalentClasses(C30 IntersectionOf(ComplementOf(C22) ComplementOf(C28)) )
    • due to class description IntersectionOf(ComplementOf(C22) ComplementOf(C28))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C134) V822576)
    • due to class description ComplementOf(C134)
  • The following axiom is not allowed: EquivalentClasses(C14 IntersectionOf(ComplementOf(C12) ComplementOf(C8)) )
    • due to class description IntersectionOf(ComplementOf(C12) ComplementOf(C8))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C78) V822576)
    • due to class description ComplementOf(C78)
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C102) V822576)
    • due to class description ComplementOf(C102)
  • The following axiom is not allowed: EquivalentClasses(C96 IntersectionOf(C2 ComplementOf(C94)) )
    • due to class description IntersectionOf(C2 ComplementOf(C94))
  • 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(C80 IntersectionOf(ComplementOf(C76) ComplementOf(C78)) )
    • due to class description IntersectionOf(ComplementOf(C76) ComplementOf(C78))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C92) V822576)
    • due to class description ComplementOf(C92)
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C18) V822576)
    • due to class description ComplementOf(C18)
  • The following axiom is not allowed: EquivalentClasses(C36 IntersectionOf(C4 ComplementOf(C34)) )
    • due to class description IntersectionOf(C4 ComplementOf(C34))
  • The following axiom is not allowed: EquivalentClasses(C138 SomeValuesFrom(R1 ComplementOf(C136)) )
    • due to class description SomeValuesFrom(R1 ComplementOf(C136))
  • The following axiom is not allowed: EquivalentClasses(C18 IntersectionOf(C2 ComplementOf(C16)) )
    • due to class description IntersectionOf(C2 ComplementOf(C16))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C108) V822576)
    • due to class description ComplementOf(C108)
  • The following axiom is not allowed: EquivalentClasses(C98 IntersectionOf(C4 ComplementOf(C34)) )
    • due to class description IntersectionOf(C4 ComplementOf(C34))
  • The following axiom is not allowed: EquivalentClasses(C132 IntersectionOf(C2 ComplementOf(C4)) )
    • due to class description IntersectionOf(C2 ComplementOf(C4))
  • The following axiom is not allowed: EquivalentClasses(C52 IntersectionOf(ComplementOf(C32) ComplementOf(C50)) )
    • due to class description IntersectionOf(ComplementOf(C32) ComplementOf(C50))
  • The following axiom is not allowed: ClassAssertion(ComplementOf(C84) V822576)
    • due to class description ComplementOf(C84)
  • The following axiom is not allowed: EquivalentClasses(C110 IntersectionOf(ComplementOf(C102) ComplementOf(C108)) )
    • due to class description IntersectionOf(ComplementOf(C102) ComplementOf(C108))
  • The following axiom is not allowed: EquivalentClasses(C136 IntersectionOf(C116 ComplementOf(C134)) )
    • due to class description IntersectionOf(C116 ComplementOf(C134))
  • The following axiom is not allowed: EquivalentClasses(C106 SomeValuesFrom(R1 C104) )
    • due to class description SomeValuesFrom(R1 C104)
  • The following axiom is not allowed: EquivalentClasses(C140 IntersectionOf(C74 ComplementOf(C138)) )
    • due to class description IntersectionOf(C74 ComplementOf(C138))
  • The following axiom is not allowed: EquivalentClasses(C100 SomeValuesFrom(R1 C98) )
    • due to class description SomeValuesFrom(R1 C98)
  • The following axiom is not allowed: EquivalentClasses(C94 IntersectionOf(ComplementOf(C86) ComplementOf(C92)) )
    • due to class description IntersectionOf(ComplementOf(C86) ComplementOf(C92))
  • The following axiom is not allowed: EquivalentClasses(C64 IntersectionOf(C62 ComplementOf(C34)) )
    • due to class description IntersectionOf(C62 ComplementOf(C34))
  • The following axiom is not allowed: EquivalentClasses(C122 SomeValuesFrom(R1 C120) )
    • due to class description SomeValuesFrom(R1 C120)
  • The following axiom is not allowed: EquivalentClasses(C60 SomeValuesFrom(R1 C58) )
    • due to class description SomeValuesFrom(R1 C58)
  • The following axiom is not allowed: EquivalentClasses(C78 IntersectionOf(C10 ComplementOf(C4)) )
    • due to class description IntersectionOf(C10 ComplementOf(C4))
  • 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(C26 SomeValuesFrom(R1 C24) )
    • due to class description SomeValuesFrom(R1 C24)
  • The following axiom is not allowed: EquivalentClasses(C50 IntersectionOf(C4 ComplementOf(C48)) )
    • due to class description IntersectionOf(C4 ComplementOf(C48))
Retrieved from "https://www.w3.org/2007/OWL/wiki/index.php?title=TestCase:WebOnt-description-logic-201&oldid=16784"