rdfs:domain
A domain of the subject property.

@prefix ns1: <https://ns.octadocs.io/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<local:rdfs/inference/domain.yaml> a ns1:Page ;
    rdfs:label "If a domain is declared for a property, every subject used for that property belongs to the said domain." ;
    ns1:subjectOf <local:rdfs/inference/domain.yaml> ;
    <local:given> [ rdf:object <local:cls> ;
            rdf:predicate rdfs:domain ;
            rdf:subject <local:p> ],
        <local:spo> ;
    <local:infer> [ rdf:object <local:cls> ;
            rdf:predicate rdf:type ;
            rdf:subject <local:s> ] .


Inference Rules

If a domain is declared for a property, every subject used for that property belongs to the said domain.

:subject :predicate :object
:predicate rdfs:domain :class
:subject rdf:type :class