โŠ†

rdfs:subPropertyOf
The subject is a subproperty of a 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



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
โ‡’


rdfs:subPropertyOf is reflexive

:predicate rdf:type rdf:Property
:predicate rdfs:sub­Property­Of :predicate
โ‡’


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
โ‡’