Print

Print


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