OWL examples: term equivalence

• For classes:

• • owl:equivalentClass: two classes have the same individuals
  • owl:disjointWith: no individuals in common

• For properties:

• • owl:equivalentProperty
  • • remember the a:author vs. f:auteur?

• For individuals:

• • owl:sameAs: two URIs refer to the same concept (“individual”)
  • owl:differentFrom: negation of owl:sameAs