=

owl:equivalentClass
The property that determines that two given classes are equivalent, and that is used to specify datatype definitions.



Inference Rules

Equality of classes

?class1 owl:Equivalent­Class ?class2
:subject rdf:type ?class1
:subject rdf:type ?class2