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

Re: TEST: 1 of 7 : document updated - intro

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Thu, 24 Jul 2003 14:24:45 +0100
Message-ID: <3F1FDE1D.8010705@hplb.hpl.hp.com>
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 GMT

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