com.clarkparsia.owlapiv3

Class AbstractOWLListeningReasoner

java.lang.Object

com.clarkparsia.owlapiv3.AbstractOWLListeningReasoner

All Implemented Interfaces:

OWLListeningReasoner, org.semanticweb.owlapi.model.OWLOntologyChangeListener, org.semanticweb.owlapi.reasoner.OWLReasoner

Direct Known Subclasses:

PelletReasoner

public abstract class AbstractOWLListeningReasoner
extends Object
implements OWLListeningReasoner

Author:

Evren Sirin

Constructor Summary

Constructors

Constructor and Description
AbstractOWLListeningReasoner()

Method Summary

Modifier and Type	Method and Description
abstract org.semanticweb.owlapi.model.OWLOntologyManager	getManager()
boolean	isListenChanges()
void	setListenChanges(boolean listen)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.semanticweb.owlapi.reasoner.OWLReasoner

dispose, flush, getBottomClassNode, getBottomDataPropertyNode, getBottomObjectPropertyNode, getBufferingMode, getDataPropertyDomains, getDataPropertyValues, getDifferentIndividuals, getDisjointClasses, getDisjointDataProperties, getDisjointObjectProperties, getEquivalentClasses, getEquivalentDataProperties, getEquivalentObjectProperties, getFreshEntityPolicy, getIndividualNodeSetPolicy, getInstances, getInverseObjectProperties, getObjectPropertyDomains, getObjectPropertyRanges, getObjectPropertyValues, getPendingAxiomAdditions, getPendingAxiomRemovals, getPendingChanges, getPrecomputableInferenceTypes, getReasonerName, getReasonerVersion, getRootOntology, getSameIndividuals, getSubClasses, getSubDataProperties, getSubObjectProperties, getSuperClasses, getSuperDataProperties, getSuperObjectProperties, getTimeOut, getTopClassNode, getTopDataPropertyNode, getTopObjectPropertyNode, getTypes, getUnsatisfiableClasses, interrupt, isConsistent, isEntailed, isEntailed, isEntailmentCheckingSupported, isPrecomputed, isSatisfiable, precomputeInferences

Methods inherited from interface org.semanticweb.owlapi.model.OWLOntologyChangeListener

ontologiesChanged

Constructor Detail

AbstractOWLListeningReasoner

public AbstractOWLListeningReasoner()

Method Detail

getManager

public abstract org.semanticweb.owlapi.model.OWLOntologyManager getManager()

setListenChanges

public void setListenChanges(boolean listen)

Specified by:

setListenChanges in interface OWLListeningReasoner

isListenChanges

public boolean isListenChanges()

Specified by:

isListenChanges in interface OWLListeningReasoner