TestCase:WebOnt-description-logic-040
From OWL Test Cases
| [Download OWL] | |
| Test Id | WebOnt-description-logic-040 |
|---|---|
| Description | This kind of pattern comes up a lot in more complex ontologies.
Failure to cope with this kind of pattern is one of the reasons that many reasoners have been unable to cope with such ontologies. |
| Status | Approved (2009-01-07) (proposed 2008-12-10) |
| Author | Ian Horrocks |
| Original syntax | RDF-XML |
| Syntactic Species/Profile | OWL 2 DL (not EL, not QL, not RL) |
| Semantics | This test is applicable under both direct and RDF-based semantics. |
| WebOnt test | http://www.w3.org/2002/03owlt/description-logic/Manifest040#test |
| Inconsistent ontology (download)
Convert syntax: functional, XML, Manchester This informative conversion will be incorrect for OWL 2 Full. info.pngConversions are provided by the OWL Syntax Converter which tries to "repair" OWL 2 Full inputs to become DL. | |
| <rdf:RDF xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:eg="http://example.org/factkb#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent040" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://example.org/factkb#A"/> <owl:Class rdf:about="http://example.org/factkb#B"/> <owl:Class rdf:about="http://example.org/factkb#A0"/> <owl:Class rdf:about="http://example.org/factkb#A1"/> <owl:Class rdf:about="http://example.org/factkb#A2"/> <owl:Class rdf:about="http://example.org/factkb#A3"/> <owl:Class rdf:about="http://example.org/factkb#A4"/> <owl:Class rdf:about="http://example.org/factkb#A5"/> <owl:Class rdf:about="http://example.org/factkb#A6"/> <owl:Class rdf:about="http://example.org/factkb#A7"/> <owl:Class rdf:about="http://example.org/factkb#A8"/> <owl:Class rdf:about="http://example.org/factkb#A9"/> <owl:Class rdf:about="http://example.org/factkb#B0"/> <owl:Class rdf:about="http://example.org/factkb#B1"/> <owl:Class rdf:about="http://example.org/factkb#B2"/> <owl:Class rdf:about="http://example.org/factkb#B3"/> <owl:Class rdf:about="http://example.org/factkb#B4"/> <owl:Class rdf:about="http://example.org/factkb#B5"/> <owl:Class rdf:about="http://example.org/factkb#B6"/> <owl:Class rdf:about="http://example.org/factkb#B7"/> <owl:Class rdf:about="http://example.org/factkb#B8"/> <owl:Class rdf:about="http://example.org/factkb#B9"/> <owl:Class rdf:about="http://example.org/factkb#C1"> <rdfs:subClassOf> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A0"/> <owl:Class rdf:about="http://example.org/factkb#B0"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A1"/> <owl:Class rdf:about="http://example.org/factkb#B1"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A2"/> <owl:Class rdf:about="http://example.org/factkb#B2"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A3"/> <owl:Class rdf:about="http://example.org/factkb#B3"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A4"/> <owl:Class rdf:about="http://example.org/factkb#B4"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A5"/> <owl:Class rdf:about="http://example.org/factkb#B5"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A6"/> <owl:Class rdf:about="http://example.org/factkb#B6"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A7"/> <owl:Class rdf:about="http://example.org/factkb#B7"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A8"/> <owl:Class rdf:about="http://example.org/factkb#B8"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A9"/> <owl:Class rdf:about="http://example.org/factkb#B9"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A10"/> <owl:Class rdf:about="http://example.org/factkb#B10"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A11"/> <owl:Class rdf:about="http://example.org/factkb#B11"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A12"/> <owl:Class rdf:about="http://example.org/factkb#B12"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A13"/> <owl:Class rdf:about="http://example.org/factkb#B13"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A14"/> <owl:Class rdf:about="http://example.org/factkb#B14"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A15"/> <owl:Class rdf:about="http://example.org/factkb#B15"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A16"/> <owl:Class rdf:about="http://example.org/factkb#B16"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A17"/> <owl:Class rdf:about="http://example.org/factkb#B17"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A18"/> <owl:Class rdf:about="http://example.org/factkb#B18"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A19"/> <owl:Class rdf:about="http://example.org/factkb#B19"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A20"/> <owl:Class rdf:about="http://example.org/factkb#B20"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A21"/> <owl:Class rdf:about="http://example.org/factkb#B21"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A22"/> <owl:Class rdf:about="http://example.org/factkb#B22"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A23"/> <owl:Class rdf:about="http://example.org/factkb#B23"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A24"/> <owl:Class rdf:about="http://example.org/factkb#B24"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A25"/> <owl:Class rdf:about="http://example.org/factkb#B25"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A26"/> <owl:Class rdf:about="http://example.org/factkb#B26"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A27"/> <owl:Class rdf:about="http://example.org/factkb#B27"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A28"/> <owl:Class rdf:about="http://example.org/factkb#B28"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A29"/> <owl:Class rdf:about="http://example.org/factkb#B29"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A30"/> <owl:Class rdf:about="http://example.org/factkb#B30"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A31"/> <owl:Class rdf:about="http://example.org/factkb#B31"/> </owl:unionOf> </owl:Class> </owl:intersectionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://example.org/factkb#C2"> <rdfs:subClassOf> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A"/> <owl:Class rdf:about="http://example.org/factkb#B"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://example.org/factkb#B"/> </owl:complementOf> </owl:Class> </owl:unionOf> </owl:Class> </owl:intersectionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://example.org/factkb#C3"> <rdfs:subClassOf> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://example.org/factkb#A"/> </owl:complementOf> </owl:Class> <owl:Class rdf:about="http://example.org/factkb#B"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://example.org/factkb#A"/> </owl:complementOf> </owl:Class> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://example.org/factkb#B"/> </owl:complementOf> </owl:Class> </owl:unionOf> </owl:Class> </owl:intersectionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://example.org/factkb#C4"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="http://example.org/factkb#R"/> <owl:someValuesFrom> <owl:Class rdf:about="http://example.org/factkb#C2"/> </owl:someValuesFrom> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://example.org/factkb#C5"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="http://example.org/factkb#R"/> <owl:allValuesFrom> <owl:Class rdf:about="http://example.org/factkb#C3"/> </owl:allValuesFrom> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://example.org/factkb#A10"/> <owl:Class rdf:about="http://example.org/factkb#A11"/> <owl:Class rdf:about="http://example.org/factkb#A12"/> <owl:Class rdf:about="http://example.org/factkb#A13"/> <owl:Class rdf:about="http://example.org/factkb#A14"/> <owl:Class rdf:about="http://example.org/factkb#A15"/> <owl:Class rdf:about="http://example.org/factkb#A16"/> <owl:Class rdf:about="http://example.org/factkb#A17"/> <owl:Class rdf:about="http://example.org/factkb#A18"/> <owl:Class rdf:about="http://example.org/factkb#A19"/> <owl:Class rdf:about="http://example.org/factkb#A20"/> <owl:Class rdf:about="http://example.org/factkb#A21"/> <owl:Class rdf:about="http://example.org/factkb#A22"/> <owl:Class rdf:about="http://example.org/factkb#A23"/> <owl:Class rdf:about="http://example.org/factkb#A24"/> <owl:Class rdf:about="http://example.org/factkb#A25"/> <owl:Class rdf:about="http://example.org/factkb#A26"/> <owl:Class rdf:about="http://example.org/factkb#A27"/> <owl:Class rdf:about="http://example.org/factkb#A28"/> <owl:Class rdf:about="http://example.org/factkb#A29"/> <owl:Class rdf:about="http://example.org/factkb#A30"/> <owl:Class rdf:about="http://example.org/factkb#A31"/> <owl:Class rdf:about="http://example.org/factkb#B10"/> <owl:Class rdf:about="http://example.org/factkb#B11"/> <owl:Class rdf:about="http://example.org/factkb#B12"/> <owl:Class rdf:about="http://example.org/factkb#B13"/> <owl:Class rdf:about="http://example.org/factkb#B14"/> <owl:Class rdf:about="http://example.org/factkb#B15"/> <owl:Class rdf:about="http://example.org/factkb#B16"/> <owl:Class rdf:about="http://example.org/factkb#B17"/> <owl:Class rdf:about="http://example.org/factkb#B18"/> <owl:Class rdf:about="http://example.org/factkb#B19"/> <owl:Class rdf:about="http://example.org/factkb#B20"/> <owl:Class rdf:about="http://example.org/factkb#B21"/> <owl:Class rdf:about="http://example.org/factkb#B22"/> <owl:Class rdf:about="http://example.org/factkb#B23"/> <owl:Class rdf:about="http://example.org/factkb#B24"/> <owl:Class rdf:about="http://example.org/factkb#B25"/> <owl:Class rdf:about="http://example.org/factkb#B26"/> <owl:Class rdf:about="http://example.org/factkb#B27"/> <owl:Class rdf:about="http://example.org/factkb#B28"/> <owl:Class rdf:about="http://example.org/factkb#B29"/> <owl:Class rdf:about="http://example.org/factkb#B30"/> <owl:Class rdf:about="http://example.org/factkb#B31"/> <owl:Class rdf:about="http://example.org/factkb#TEST"> <rdfs:subClassOf> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#C1"/> <owl:Class rdf:about="http://example.org/factkb#C4"/> <owl:Class rdf:about="http://example.org/factkb#C5"/> </owl:intersectionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:about="http://example.org/factkb#R"/> <eg:TEST/> </rdf:RDF> | |
| Imported ontologies | none |
[edit] 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)))
[edit] 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))
[edit] 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)
