Possible Problem (in OWL Full)

• <owl:Class rdf:ID="A">

• <owl:equivalentClass>

• <owl:Restriction>

• <owl:onProperty rdf:resource=".../22-rdf-syntax-ns#type"/>

• <owl:allValueFrom rdf:about="#B"/>

• </owl:Restriction>

• </owl:equivalentClass></owl:Class>

• <owl:class rdf:ID="B">

• <owl:complementOf rdf:parseType="Collection">

• <owl:Class rdf:about="#A"/>

• </owl:complementOf></owl:class>

• <owl:Thing rdf:ID="C">

• <rdf:type rdf:resource="#A"/>

• </owl:Thing>

Notes: