W3C home > Mailing lists > Public > www-rdf-comments@w3.org > October to December 2003

Surnia contributing to RDF Core Test Results

From: Sandro Hawke <sandro@w3.org>
Date: Fri, 07 Nov 2003 02:18:15 -0500
Message-Id: <200311070718.hA77IFQH009346@roke.hawke.org>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:33 GMT