Equivalence of concepts
Allows concepts that have been defined in
different ontologies to be equated
•Ont1:LiquidContainer
equvalentClass ont2:Bottle
• As a consequence any instance of LiquidContainer iis also an
instance of Bottle and any instance of Bottle is also an instance of LiquidContainer
Equivalence of individuals
Allows instances defined in different
ontologies to describe the same objects
•EveningStar
sameAs MorningStar
Difference of individuals
Assert
values that are mutually distinct.
•