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

TestCase:WebOnt-description-logic-040

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-040. 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: SubClassOf(C5 AllValuesFrom(R C3))
    • due to class description AllValuesFrom(R C3)
  • The following axiom is not allowed: SubClassOf(C1 IntersectionOf(UnionOf(A0 B0) UnionOf(A1 B1) UnionOf(A10 B10) UnionOf(A11 B11) UnionOf(A12 B12) UnionOf(A13 B13) UnionOf(A14 B14) UnionOf(A15 B15) UnionOf(A16 B16) UnionOf(A17 B17) UnionOf(A18 B18) UnionOf(A19 B19) UnionOf(A2 B2) UnionOf(A20 B20) UnionOf(A21 B21) UnionOf(A22 B22) UnionOf(A23 B23) UnionOf(A24 B24) UnionOf(A25 B25) UnionOf(A26 B26) UnionOf(A27 B27) UnionOf(A28 B28) UnionOf(A29 B29) UnionOf(A3 B3) UnionOf(A30 B30) UnionOf(A31 B31) UnionOf(A4 B4) UnionOf(A5 B5) UnionOf(A6 B6) UnionOf(A7 B7) UnionOf(A8 B8) UnionOf(A9 B9)))
    • due to class description IntersectionOf(UnionOf(A0 B0) UnionOf(A1 B1) UnionOf(A10 B10) UnionOf(A11 B11) UnionOf(A12 B12) UnionOf(A13 B13) UnionOf(A14 B14) UnionOf(A15 B15) UnionOf(A16 B16) UnionOf(A17 B17) UnionOf(A18 B18) UnionOf(A19 B19) UnionOf(A2 B2) UnionOf(A20 B20) UnionOf(A21 B21) UnionOf(A22 B22) UnionOf(A23 B23) UnionOf(A24 B24) UnionOf(A25 B25) UnionOf(A26 B26) UnionOf(A27 B27) UnionOf(A28 B28) UnionOf(A29 B29) UnionOf(A3 B3) UnionOf(A30 B30) UnionOf(A31 B31) UnionOf(A4 B4) UnionOf(A5 B5) UnionOf(A6 B6) UnionOf(A7 B7) UnionOf(A8 B8) UnionOf(A9 B9))
  • The following axiom is not allowed: SubClassOf(C2 IntersectionOf(UnionOf(A B) UnionOf(A ComplementOf(B))))
    • due to class description IntersectionOf(UnionOf(A B) UnionOf(A ComplementOf(B)))
  • The following axiom is not allowed: SubClassOf(C3 IntersectionOf(UnionOf(B ComplementOf(A)) UnionOf(ComplementOf(A) ComplementOf(B))))
    • due to class description IntersectionOf(UnionOf(B ComplementOf(A)) UnionOf(ComplementOf(A) ComplementOf(B)))

OWL QL Report (Informative)

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

  • The following axiom is not allowed: SubClassOf(C2 IntersectionOf(UnionOf(A B) UnionOf(A ComplementOf(B))))
    • due to class description IntersectionOf(UnionOf(A B) UnionOf(A ComplementOf(B)))
  • The following axiom is not allowed: SubClassOf(C5 AllValuesFrom(R C3))
    • due to class description AllValuesFrom(R C3)
  • The following axiom is not allowed: SubClassOf(C3 IntersectionOf(UnionOf(B ComplementOf(A)) UnionOf(ComplementOf(A) ComplementOf(B))))
    • due to class description IntersectionOf(UnionOf(B ComplementOf(A)) UnionOf(ComplementOf(A) ComplementOf(B)))
  • The following axiom is not allowed: SubClassOf(C1 IntersectionOf(UnionOf(A0 B0) UnionOf(A1 B1) UnionOf(A10 B10) UnionOf(A11 B11) UnionOf(A12 B12) UnionOf(A13 B13) UnionOf(A14 B14) UnionOf(A15 B15) UnionOf(A16 B16) UnionOf(A17 B17) UnionOf(A18 B18) UnionOf(A19 B19) UnionOf(A2 B2) UnionOf(A20 B20) UnionOf(A21 B21) UnionOf(A22 B22) UnionOf(A23 B23) UnionOf(A24 B24) UnionOf(A25 B25) UnionOf(A26 B26) UnionOf(A27 B27) UnionOf(A28 B28) UnionOf(A29 B29) UnionOf(A3 B3) UnionOf(A30 B30) UnionOf(A31 B31) UnionOf(A4 B4) UnionOf(A5 B5) UnionOf(A6 B6) UnionOf(A7 B7) UnionOf(A8 B8) UnionOf(A9 B9)))
    • due to class description IntersectionOf(UnionOf(A0 B0) UnionOf(A1 B1) UnionOf(A10 B10) UnionOf(A11 B11) UnionOf(A12 B12) UnionOf(A13 B13) UnionOf(A14 B14) UnionOf(A15 B15) UnionOf(A16 B16) UnionOf(A17 B17) UnionOf(A18 B18) UnionOf(A19 B19) UnionOf(A2 B2) UnionOf(A20 B20) UnionOf(A21 B21) UnionOf(A22 B22) UnionOf(A23 B23) UnionOf(A24 B24) UnionOf(A25 B25) UnionOf(A26 B26) UnionOf(A27 B27) UnionOf(A28 B28) UnionOf(A29 B29) UnionOf(A3 B3) UnionOf(A30 B30) UnionOf(A31 B31) UnionOf(A4 B4) UnionOf(A5 B5) UnionOf(A6 B6) UnionOf(A7 B7) UnionOf(A8 B8) UnionOf(A9 B9))

OWL RL Report (Informative)

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

  • The following axiom is not allowed: SubClassOf(C2 IntersectionOf(UnionOf(A B) UnionOf(A ComplementOf(B))))
    • due to class description IntersectionOf(UnionOf(A B) UnionOf(A ComplementOf(B)))
  • The following axiom is not allowed: SubClassOf(C1 IntersectionOf(UnionOf(A0 B0) UnionOf(A1 B1) UnionOf(A10 B10) UnionOf(A11 B11) UnionOf(A12 B12) UnionOf(A13 B13) UnionOf(A14 B14) UnionOf(A15 B15) UnionOf(A16 B16) UnionOf(A17 B17) UnionOf(A18 B18) UnionOf(A19 B19) UnionOf(A2 B2) UnionOf(A20 B20) UnionOf(A21 B21) UnionOf(A22 B22) UnionOf(A23 B23) UnionOf(A24 B24) UnionOf(A25 B25) UnionOf(A26 B26) UnionOf(A27 B27) UnionOf(A28 B28) UnionOf(A29 B29) UnionOf(A3 B3) UnionOf(A30 B30) UnionOf(A31 B31) UnionOf(A4 B4) UnionOf(A5 B5) UnionOf(A6 B6) UnionOf(A7 B7) UnionOf(A8 B8) UnionOf(A9 B9)))
    • due to class description IntersectionOf(UnionOf(A0 B0) UnionOf(A1 B1) UnionOf(A10 B10) UnionOf(A11 B11) UnionOf(A12 B12) UnionOf(A13 B13) UnionOf(A14 B14) UnionOf(A15 B15) UnionOf(A16 B16) UnionOf(A17 B17) UnionOf(A18 B18) UnionOf(A19 B19) UnionOf(A2 B2) UnionOf(A20 B20) UnionOf(A21 B21) UnionOf(A22 B22) UnionOf(A23 B23) UnionOf(A24 B24) UnionOf(A25 B25) UnionOf(A26 B26) UnionOf(A27 B27) UnionOf(A28 B28) UnionOf(A29 B29) UnionOf(A3 B3) UnionOf(A30 B30) UnionOf(A31 B31) UnionOf(A4 B4) UnionOf(A5 B5) UnionOf(A6 B6) UnionOf(A7 B7) UnionOf(A8 B8) UnionOf(A9 B9))
  • The following axiom is not allowed: SubClassOf(C3 IntersectionOf(UnionOf(B ComplementOf(A)) UnionOf(ComplementOf(A) ComplementOf(B))))
    • due to class description IntersectionOf(UnionOf(B ComplementOf(A)) UnionOf(ComplementOf(A) ComplementOf(B)))
  • The following axiom is not allowed: SubClassOf(C4 SomeValuesFrom(R C2))
    • due to class description SomeValuesFrom(R C2)
Retrieved from "https://www.w3.org/2007/OWL/wiki/index.php?title=TestCase:WebOnt-description-logic-040&oldid=16671"