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.


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.