- 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>
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