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