≡

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

∈ type
🔤 ObjectProperty ∃ Resource → Property ⥁ ReflexiveProperty ⤏ TransitiveProperty ⇆ SymmetricProperty
→ Property
→
Resource
Resource


Inference Rules

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

?subject1 :predicate ?identifier
?subject2 :predicate ?identifier
:predicate rdf:type owl:Inverse­Functional­Property
?subject1 owl:sameAs ?subject2
⇒
⋯ seeAlso Inference rules for RDF(S) and OWL in N3Logic 📥


An owl:FunctionalProperty allows only one distinct object per subject

:subject :predicate ?object1
:subject :predicate ?object2
:predicate rdf:type owl:Functional­Property
?object1 owl:sameAs ?object2
⇒
⋯ seeAlso Inference rules for RDF(S) and OWL in N3Logic 📥


sameAs for objects

:object owl:sameAs ?something
:subject :predicate :object
:subject :predicate ?something
⇒
⋯ seeAlso Inference rules for RDF(S) and OWL in N3Logic 📥


sameAs for predicates

:subject :predicate :object
:predicate owl:sameAs ?something
:subject ?something :object
⇒
⋯ seeAlso Inference rules for RDF(S) and OWL in N3Logic 📥


sameAs for subjects

:subject :predicate :object
:subject owl:sameAs ?something
?something :predicate :object
⇒
⋯ seeAlso Inference rules for RDF(S) and OWL in N3Logic 📥