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:28:23 -0700
Message-ID: <3D8B2277.6090409@robustai.net>
To: Jeen Broekstra <jeen.broekstra@aidministrator.nl>
CC: m batsis <mbatsis@netsmart.gr>, www-rdf-interest@w3.org

Jeen Broekstra wrote:

> By the way, most[1] inferencers over RDF Schema interpret the
> domain/range property semantics as inference rules rather than
> constraints, which basically means that whenever you introduce a
> property p with a certain range R (p rdfs:range R), and you introduce a
> instance a with that property (a p b), its value is automatically
> derived to be of type R (b rdf:type R).

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 ?

Not that it's important ... im just curious, that's all ...

Seth Russell
Logic is great, survival is better.
Received on Friday, 20 September 2002 09:29:06 GMT

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