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.
More details to follow.
Try the CVS Repository.
Work on surnia is being done 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.
Sandro Hawke
First: 2003/08/26; This: $Date: 2003/08/26 17:33:51 $