RE: OWL Tests with First Order reasoner.

At 3:41 PM +0200 6/13/03, Jeremy Carroll wrote:
>>
>>  Jeremy - you need to get over this bizarre affliction -- the time
>>  these computations take is often not a feature of the system, but of
>>  the PROBLEM.
>>
>>
>Agreed - none of the test in the current OWL Test Cases are problems that
>deserve more than a second of thought ...
>(Actually I am not so sure, the ones Sean put in might be genuinely harder
>than that ...)
>
>I don't think we are disagreeing on substance here (we seem to do enough of
>that elsewhere)
>
>Jeremy


How can we not be disagreeing on substance?  You are claiming OWL DL 
is a theoretical structure that needs a 6 month CR period.  I am 
claiming that it is an implementable and implemented system that can 
go right to PR.  Given these are diametrically opposed and crucial to 
the next steps for our WG, I think we are disagreeing.
  If you put a "12x12 tic-tac-toe" test into our test set, and then no 
one passes it, that wouldn't be a fair test - because no computing 
system in the world can do it (non-heuristically)  - if you do "3x3 
tic-tac-toe" then you are in a relam where it is doable, and I'd be 
surprised if we don't see people do it.
  -JH
p.s. please note "tic-tac-toe" is in scare quotes because it is 
intended as a analogy, not a literal suggestion
-- 
Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
Univ of Maryland, College Park, MD 20742	  *** 240-277-3388 (Cell)
http://www.cs.umd.edu/users/hendler      *** NOTE CHANGED CELL NUMBER ***

Received on Friday, 13 June 2003 10:08:52 UTC