Re: OWL Tests with First Order reasoner.

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