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 OWLIndividualReasoner

All Superinterfaces:
  OWLReasoner

All Known Implementing Classes:
  SimpleOWLReasoner

public interface OWLIndividualReasoner
extends OWLReasoner

A Reasoner for OWL Individuals. Note that although some of the functionality here can be provided by an `OWLClassReasoner` via the use of a one-of, it may be useful to have this as a separate interface.

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

Method Summary
`Set` | `instancesOf(OWLDescription d)` Returns the individuals which are instances of the given description
`boolean` | `isInstanceOf(OWLIndividual i, OWLDescription d)` Returns true if the given individual is an instance of the given description

Methods inherited from interface org.semanticweb.owl.inference.OWLReasoner
`getOntology, setOntology`

Method Detail

### isInstanceOf

    public boolean isInstanceOf(OWLIndividual i,
                                OWLDescription d)
                         throws OWLException

  Returns true if the given individual is an instance of the given description

    `OWLException`

### instancesOf

    public Set instancesOf(OWLDescription d)
                    throws OWLException

  Returns the individuals which are instances of the given description

    `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