→

rdf:Property
The class of RDF properties.

∈ type
🔴 Class ∃ Resource 🔴 Class
⊆ subClassOf
∃ Resource


Inference Rules

For any triple, its subject and object are Resources, and predicate is a Property.

:subject :predicate :object
:subject rdf:type rdfs:Resource
:object rdf:type rdfs:Resource
:predicate rdf:type rdf:Property
⇒
⋯ 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