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

OWL Tests with First Order reasoner.

From: Sean Bechhofer <seanb@cs.man.ac.uk>
Date: Mon, 9 Jun 2003 16:34:50 +0100 (GMT Daylight Time)
To: www-webont-wg@w3.org
cc: Dmitry Tsarkov <tsarkov@cs.man.ac.uk>
Message-ID: <Pine.WNT.4.44.0306091619211.2004-100000@potato>


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.

Should anyone else have some time on their hands and a FO prover lying
around :-), there is a servlet at:

  http://phoebus.cs.man.ac.uk:9999/OWL/Converter

which will convert OWL ontologies into TPTP, the language used by a number
of provers (it assumes that the ontology *is* in DL).

Tests run:

http://www.w3.org/2002/03owlt/Nothing/Manifest001#test
http://www.w3.org/2002/03owlt/description-logic/Manifest001#test
http://www.w3.org/2002/03owlt/description-logic/Manifest002#test
http://www.w3.org/2002/03owlt/description-logic/Manifest003#test
http://www.w3.org/2002/03owlt/description-logic/Manifest004#test
http://www.w3.org/2002/03owlt/description-logic/Manifest007#test
http://www.w3.org/2002/03owlt/description-logic/Manifest008#test
http://www.w3.org/2002/03owlt/description-logic/Manifest010#test
http://www.w3.org/2002/03owlt/description-logic/Manifest011#test
http://www.w3.org/2002/03owlt/description-logic/Manifest012#test
http://www.w3.org/2002/03owlt/description-logic/Manifest013#test
http://www.w3.org/2002/03owlt/description-logic/Manifest014#test
http://www.w3.org/2002/03owlt/description-logic/Manifest015#test
http://www.w3.org/2002/03owlt/description-logic/Manifest017#test
http://www.w3.org/2002/03owlt/description-logic/Manifest019#test
http://www.w3.org/2002/03owlt/description-logic/Manifest022#test
http://www.w3.org/2002/03owlt/description-logic/Manifest023#test
http://www.w3.org/2002/03owlt/description-logic/Manifest026#test
http://www.w3.org/2002/03owlt/description-logic/Manifest027#test
http://www.w3.org/2002/03owlt/description-logic/Manifest029#test
http://www.w3.org/2002/03owlt/description-logic/Manifest030#test
http://www.w3.org/2002/03owlt/description-logic/Manifest032#test
http://www.w3.org/2002/03owlt/description-logic/Manifest033#test
http://www.w3.org/2002/03owlt/description-logic/Manifest101#test
http://www.w3.org/2002/03owlt/description-logic/Manifest102#test
http://www.w3.org/2002/03owlt/description-logic/Manifest103#test
http://www.w3.org/2002/03owlt/description-logic/Manifest104#test
http://www.w3.org/2002/03owlt/description-logic/Manifest105#test
http://www.w3.org/2002/03owlt/description-logic/Manifest106#test
http://www.w3.org/2002/03owlt/description-logic/Manifest107#test
http://www.w3.org/2002/03owlt/description-logic/Manifest108#test
http://www.w3.org/2002/03owlt/description-logic/Manifest109#test
http://www.w3.org/2002/03owlt/description-logic/Manifest110#test
http://www.w3.org/2002/03owlt/description-logic/Manifest111#test
http://www.w3.org/2002/03owlt/description-logic/Manifest502#test
http://www.w3.org/2002/03owlt/description-logic/Manifest504#test
http://www.w3.org/2002/03owlt/description-logic/Manifest601#test
http://www.w3.org/2002/03owlt/description-logic/Manifest602#test
http://www.w3.org/2002/03owlt/description-logic/Manifest603#test
http://www.w3.org/2002/03owlt/description-logic/Manifest604#test
http://www.w3.org/2002/03owlt/description-logic/Manifest608#test
http://www.w3.org/2002/03owlt/description-logic/Manifest610#test
http://www.w3.org/2002/03owlt/description-logic/Manifest611#test
http://www.w3.org/2002/03owlt/description-logic/Manifest612#test
http://www.w3.org/2002/03owlt/description-logic/Manifest613#test
http://www.w3.org/2002/03owlt/description-logic/Manifest614#test
http://www.w3.org/2002/03owlt/description-logic/Manifest615#test
http://www.w3.org/2002/03owlt/description-logic/Manifest617#test
http://www.w3.org/2002/03owlt/description-logic/Manifest623#test
http://www.w3.org/2002/03owlt/description-logic/Manifest626#test
http://www.w3.org/2002/03owlt/description-logic/Manifest627#test
http://www.w3.org/2002/03owlt/description-logic/Manifest629#test
http://www.w3.org/2002/03owlt/description-logic/Manifest630#test
http://www.w3.org/2002/03owlt/description-logic/Manifest632#test
http://www.w3.org/2002/03owlt/description-logic/Manifest633#test
http://www.w3.org/2002/03owlt/description-logic/Manifest641#test
http://www.w3.org/2002/03owlt/description-logic/Manifest642#test
http://www.w3.org/2002/03owlt/description-logic/Manifest643#test
http://www.w3.org/2002/03owlt/description-logic/Manifest644#test
http://www.w3.org/2002/03owlt/description-logic/Manifest646#test
http://www.w3.org/2002/03owlt/description-logic/Manifest650#test


Cheers,

	Sean

-- 
Sean Bechhofer
seanb@cs.man.ac.uk
http://www.cs.man.ac.uk/~seanb
Received on Monday, 9 June 2003 11:36:24 GMT

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