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/
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 July 2008 08:09:29 GMT