15
Sycara and Paolucci
Equivalence between concepts
*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.
•