- From: Sandro Hawke <sandro@w3.org>
- Date: Fri, 07 Nov 2003 02:18:15 -0500
- To: www-rdf-comments@w3.org
I've adapted Surnia, my toy OWL reasoner, to do the various forms of RDF
reasoning required by the RDF Core tests. This reasoner is a wrapper
for Otter, a well-known and stable open source FOL theorem prover.
All RDF triples get turned into FOL sentences of the form rdf(a,b,c);
the additional semantics are provided by various files of first-order
axioms.
Because of the simplicity of the axioms for RDF/RDFS (mostly the lack
of function terms), Otter terminates even when using complete
reasoning, so it confirms non-entailments.
The test results feed is:
http://www.w3.org/2003/08/surnia/test-results/current/results.rdf
and you can see them on the test results page:
http://www.w3.org/2003/11/results/rdf-core-tests
(Surnia brings a few bright red Fails to the chart in its handling of
datatypes. That's its weakest area, but it's still not bad for an
evening's work.)
-- sandro
Received on Friday, 7 November 2003 02:19:39 UTC