On Fri, Nov 7, 2014 at 7:13 PM, Thomas Baker <[log in to unmask]> wrote: > > As in [1], let > > 1) P rdfs:domain C > > This entails: > > 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. > > [1] http://www.w3.org/TR/rdf-schema/#ch_domain The assertion is not entailed under OWL 2 Direct Semantics, which includes OWL-DL (and hence -RL, -EL, and -QL). That may not count as RDF-family, however. Simon