W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2003

Re: Proposed response to Martin Merry, HP

From: Dan Connolly <connolly@w3.org>
Date: 13 May 2003 10:16:50 -0500
To: Jim Hendler <hendler@cs.umd.edu>
Cc: webont <www-webont-wg@w3.org>
Message-Id: <1052839009.20127.299.camel@dirk.dm93.org>

On Tue, 2003-05-13 at 10:04, Dan Connolly wrote:
[...]
> > I'm happy to work on a better answer, but you don't suggest any text 
> > for the meat of his comments,
> 
> I haven't found the decisions yet.

I found one by searching for "RESOLVED" and "oneof"...

Our 12 Dec decision on 15.23 is pretty clearly
relevant:

"Note that because OWL DL includes both hasValue and oneOf, decision
procedures for OWL DL reasoning are not _currently known_ to have these
properties."
http://lists.w3.org/Archives/Public/www-webont-wg/2002Dec/0205.html

I'm still investigating...

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Tuesday, 13 May 2003 11:18:51 GMT

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