Re: Proposed response to Martin Merry, HP

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 UTC