W3C home > Mailing lists > Public > www-rdf-interest@w3.org > September 2002

Re: rdfs:Property rdfs:range questions

From: Seth Russell <seth@robustai.net>
Date: Fri, 20 Sep 2002 06:44:47 -0700
Message-ID: <3D8B264F.3090208@robustai.net>
To: Jon Hanna <jon@spin.ie>
CC: www-rdf-interest@w3.org

Jon Hanna wrote:

>>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.
>
Ahhh ... so it does ... so it does !!   We learn something every day :)

Seth Russell
Logic Rules!   I'm going back to school.
Received on Friday, 20 September 2002 09:45:28 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:56 GMT