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

Re: range, domain: Conjunctive AND disjunctive semantics both supportable; constraints should be identical

From: Jan Grant <Jan.Grant@bristol.ac.uk>
Date: Fri, 29 Sep 2000 13:52:49 +0100 (BST)
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
cc: Jan.Grant@bristol.ac.uk, www-rdf-interest@w3.org
Message-ID: <Pine.GHP.4.21.0009291351220.15453-100000@mail.ilrt.bris.ac.uk>
On Fri, 29 Sep 2000, Peter F. Patel-Schneider wrote:

> From: Jan Grant <Jan.Grant@bristol.ac.uk>
> Subject: range, domain: Conjunctive AND disjunctive semantics both           supportable; constraints should be identical
> Date: Fri, 29 Sep 2000 10:21:53 +0100 (BST)
> 
> > and loosely:
> > 
> > P has a range of (a member of the union of A and B)
> > 
> > 	A --[rdfs:subclassOf]-> anon:C
> > 	B --[rdfs:subclassOf]-> anon:C
> > 	P --[rdfs:range]-> anon:C
> > 
> > (give anon:C a real URI if you prefer).
> > 
> > Are there problems with this scheme?
> 
> Unfortunately, this does not restrict the range of P to the union of A and
> B but instead to some (unspecified) superset of the union.  

Yep, I acknowledge this; that's why I said it might be used for
validation (of some existing RDF against such a schema) but not for
inferencing (unless the application layer knows that the closed-world
assumption is a reasonable one).

jan

-- 
jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/
Tel +44(0)117 9287163 Fax +44 (0)117 9287112 RFC822 jan.grant@bris.ac.uk
My "5k award" entry: http://tribble.ilrt.bris.ac.uk/~cmjg/test/small.html
Received on Friday, 29 September 2000 08:52:59 GMT

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