*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.

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.

Sandro Hawke

First: 2003/08/26; This: $Date: 2009/07/06 23:38:31 $