com.clarkparsia.owlapiv3

Interface OWLListeningReasoner

All Superinterfaces:

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

All Known Implementing Classes:

AbstractOWLListeningReasoner, PelletReasoner

public interface OWLListeningReasoner
extends org.semanticweb.owlapi.reasoner.OWLReasoner, org.semanticweb.owlapi.model.OWLOntologyChangeListener

Author:

Evren Sirin

Method Summary

Modifier and Type	Method and Description
boolean	isListenChanges()
void	setListenChanges(boolean listen)

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

Method Detail

setListenChanges

void setListenChanges(boolean listen)

isListenChanges

boolean isListenChanges()