โ‰ก

owl:sameAs
The property that determines that two given individuals are equal.



Inference Rules

An owl:InverseFunctionalProperty means two non-equal subjects cannot be linked to one object

?subject1 :predicate ?identifier
?subject2 :predicate ?identifier
?subject1 owl:sameAs ?subject2
โ‡’


An owl:FunctionalProperty allows only one distinct object per subject

:subject :predicate ?object1
:subject :predicate ?object2
?object1 owl:sameAs ?object2
โ‡’


sameAs for objects

:object owl:sameAs ?something
:subject :predicate :object
:subject :predicate ?something
โ‡’


sameAs for predicates

:subject :predicate :object
:predicate owl:sameAs ?something
:subject ?something :object
โ‡’


sameAs for subjects

:subject :predicate :object
:subject owl:sameAs ?something
?something :predicate :object
โ‡’