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: Thu, 12 Jun 2003 21:32:48 -0400
Message-Id: <p05200f05bb0eda2d116e@[10.0.1.2]>
To: Sean Bechhofer <seanb@cs.man.ac.uk>, www-webont-wg@w3.org
Cc: Dmitry Tsarkov <tsarkov@cs.man.ac.uk>

At 6:44 PM +0100 6/12/03, Sean Bechhofer wrote:
>On Mon, 9 Jun 2003, Sean Bechhofer wrote:
>
>>
>>
>>  I've been doing some experiments with translating OWL DL tests into FOL
>>  and then checking them with Vampire (an FO reasoner from Andrei Voronkov's
>>  group). So far just looking at the DL/Lite inconsistency tests. I have
>>  been able to succesfully verify the inconsistency of the 61 tests listed
>>  below.
>
>Following up on this, there are some further experimental results at:
>
>http://wonderweb.man.ac.uk/owl/first-order.shtml
>
>These are still preliminary, but I think are promising results in terms of
>implementation.
>
>	Sean
>
>--
>Sean Bechhofer
>seanb@cs.man.ac.uk
>http://www.cs.man.ac.uk/~seanb


Sean - very impressive results.  How long are you giving things that time out?
  -JH

-- 
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 Thursday, 12 June 2003 21:32:56 GMT

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