W3C home > Mailing lists > Public > www-webont-wg@w3.org > March 2002

Re: SEM: semantics for current proposal (why R disjoint V?)

From: Dan Connolly <connolly@w3.org>
Date: 21 Mar 2002 07:28:40 -0600
To: "Peter F. "Patel-Schneider <pfps@research.bell-labs.com>
Cc: webont <www-webont-wg@w3.org>
Message-Id: <1016717320.26064.69.camel@dirk>
On Thu, 2002-03-21 at 06:55, Peter F. Patel-Schneider wrote:
[...]
> 3. Interpretations
> 
> An OWL interpretation, I, over a datatyping scheme DT consists of 
> 	R, nonempty, disjoint from V	the domain of resources 

As noted in the design discussions for DAML+OIL, I don't
see sufficient justification for making V disjoint
from R.

It seems silly not to be able to talk about the intersection
of two sets of strings, or UniqueProperty's whose
range is dates, or whatever.


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Thursday, 21 March 2002 08:28:10 GMT

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