As in , let
1) P rdfs:domain C
2) C rdf:type rdfs:Class
One may choose not to _apply_ RDFS inferencing in order to materialize
triple 2 in a given dataset, but that does not change the fact that this
is what "P rdfs:domain C" actually entails. I am not aware of any
RDF-family semantics by which triple 2 would not be inferred.