⊆

rdfs:subPropertyOf
The subject is a subproperty of a property.

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

All resources related by one property are also related by another.

Patterns

  • Property intersection
  • Property union


Inference Rules

Every rdfs:ContainerMembershipProperty is subproperty of rdfs:member

:predicate rdf:type rdfs:Container­Membership­Property
:predicate rdfs:sub­Property­Of rdfs:member
⇒
⋯ seeAlso Inference rules for RDF(S) and OWL in N3Logic 📥


Every rdf:Property can be replaced with its super property

?sub_property rdfs:sub­Property­Of ?super_property
:subject ?sub_property :object
:subject ?super_property :object
⇒
⋯ seeAlso Inference rules for RDF(S) and OWL in N3Logic 📥


rdfs:subPropertyOf is reflexive

:predicate rdf:type rdf:Property
:predicate rdfs:sub­Property­Of :predicate
⇒
⋯ seeAlso Inference rules for RDF(S) and OWL in N3Logic 📥
⥁ Reflexivity


rdfs:subPropertyOf is transitive

?sub_property rdfs:sub­Property­Of ?property
?property rdfs:sub­Property­Of ?super_property
?sub_property rdfs:sub­Property­Of ?super_property
⇒
⋯ seeAlso Inference rules for RDF(S) and OWL in N3Logic 📥
⤏ Transitivity