> 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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:56 GMT