Inference Rules
For any triple, its subject and object are Resources, and predicate is a Property.
:subject
:predicate
:object
⇒
rdfs:subPropertyOf is reflexive
⇒
⥁ Reflexivity