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
for the OWL test case
which we translated into

and the proof is

(both are in the TSTP format
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.4.0 : Friday, 17 January 2020 22:32:32 UTC