Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

WonderWeb