Surnia contributing to RDF Core Test Results

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