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

RE: OWL Tests with First Order reasoner.

From: Jim Hendler <hendler@cs.umd.edu>
Date: Fri, 13 Jun 2003 10:01:40 -0400
Message-Id: <p05200f1cbb0f88142dd3@[]>
To: "Jeremy Carroll" <jjc@hplb.hpl.hp.com>, <www-webont-wg@w3.org>

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)

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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:53 UTC