- From: Jon Hanna <jon@spin.ie>
- Date: Fri, 20 Sep 2002 14:40:31 +0100
- To: <www-rdf-interest@w3.org>
> But there is no way to define the property p
> *using only the RDF and RDFS vocabulary*,
> such that the RDF Model thory would entail
> {ex:b rdf:type ex:R.}
> from
> {ex:p rdfs:range ex:R. ex:a ex:p ex:b.},
> is there ?
I don't quite understand. <ex:p> <rdfs:range> <ex:R>. <ex:a> <ex:p> <ex:b>.
already entails <ex:b> <rdf:type> <ex:R>. when you produce an RDFS closure,
what else do you need?
http://www.w3.org/TR/rdf-mt/#rdfs_entail - step 3 rule rdfs3.
Received on Friday, 20 September 2002 09:37:06 UTC