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

Re: OWL Tests with First Order reasoner.

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Fri, 13 Jun 2003 11:34:50 +0300
To: www-webont-wg@w3.org
Message-Id: <200306131134.50062.jjc@hpl.hp.com>

> 1200 seconds (which is admittedly quite a while).

I would not be unhappy with longer ...

With these sorts of problems care can often reduce 1200secs to <1sec, the 
problem is trying to reduce 1200 years to <1sec.

Jeremy
Received on Friday, 13 June 2003 05:34:59 GMT

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