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
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:
and you can see them on the test results page:

(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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:15:21 UTC