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