Inference Rules
An owl:InverseFunctionalProperty means two non-equal subjects cannot be linked to one object
?subject1
:predicate
?identifier
?subject2
:predicate
?identifier
โ
An owl:FunctionalProperty allows only one distinct object per subject
:subject
:predicate
?object1
:subject
:predicate
?object2
โ
sameAs for objects
:subject
:predicate
:object
:subject
:predicate
?something
โ
sameAs for predicates
:subject
:predicate
:object
:subject
?something
:object
โ
sameAs for subjects
:subject
:predicate
:object
?something
:predicate
:object
โ