W3C home > Mailing lists > Public > www-archive@w3.org > August 2004

web of proof engines

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Wed, 25 Aug 2004 01:31:57 +0200
To: www-archive@w3.org
Message-ID: <OFCC173204.F594B79A-ONC1256EFA.00800975-C1256EFA.00813C24@agfa.com>
found a proof using the E prover
http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html
for the OWL test case
http://www.w3.org/2002/03owlt/description-logic/inconsistent502.rdf
which we translated into

and the proof is


(both are in the TSTP format
http://www.cs.miami.edu/~tptp/TSTP/
but that can be connected to the "proof bus" using N3)


-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Tuesday, 24 August 2004 23:32:34 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:42:44 UTC