org.semanticweb.owl.inference
Interface OWLReasoner

All Known Subinterfaces:

OWLClassReasoner, OWLIndividualReasoner, OWLTaxonomyReasoner

All Known Implementing Classes:

NonInferencingTaxonomyReasoner, SimpleOWLReasoner, SimpleOWLTaxonomyReasoner

public interface OWLReasoner

A Reasoner for OWL ontologies. Subinterfaces will define particular reasoning tasks that the reasoner may perform.

Version:

$Id: OWLReasoner.java,v 1.1.1.1 2003/10/14 17:10:08 sean_bechhofer Exp $

Method Summary

OWLOntology	getOntology() Get the ontology that this reasoner reasons over
void	setOntology(OWLOntology ontology) Set the ontology that the reasoner will reason with.

Method Detail

setOntology

public void setOntology(OWLOntology ontology)
                 throws OWLException

Set the ontology that the reasoner will reason with.

OWLException

getOntology

public OWLOntology getOntology()
                        throws OWLException

Get the ontology that this reasoner reasons over

OWLException