- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Thu, 24 Jul 2003 14:24:45 +0100
- To: Ian Horrocks <horrocks@cs.man.ac.uk>
- CC: Jeremy Carroll <jjc@hpl.hp.com>, www-webont-wg@w3.org
Ian Horrocks wrote: > > Please see [1] in which Sean proposed a test which uses inverse, oneOf > *and* cardinality to illustrate the kind of "corner case" that makes > DL reasoning hard (it really requires all three of these features). > > [1] http://lists.w3.org/Archives/Public/www-webont-wg/2003Jul/0046.html > Thanks I had missed that one - it's now in place, I'll send a message to Sean soon. > Do you have a pointer? - I couldn't find it in the document. I saw you found will respond on that thread. Jeremy
Received on Thursday, 24 July 2003 09:27:35 UTC