Surnia is a reasoner for OWL based on OTTER (a first-order logic theorem prover). Unlike Sean Bechhofer's FOL-based reasoner, surnia is an OWL Full reasoner; the input to the theorem prover is just axioms plus RDF triples.
This software was developed in the fall of 2003 to investigate this naive approach to OWL Full reasoning. While the code is available, the software is not suitable for anything more serious than experimentation.
See the CVS Repository.
Surnia was developed as part of the MIT/CSAIL DAML Project under the MIT/AFRL cooperative agreement number F30602-00-2-0593. This work is not on the W3C recommendation track and is not the product of a W3C working group or interest group.
First: 2003/08/26; This: $Date: 2009/07/06 23:38:31 $