org.semanticweb.owl.inference
Class MonitorableOWLReasonerAdapter

java.lang.Object
  org.semanticweb.owl.inference.OWLReasonerAdapter
      org.semanticweb.owl.inference.MonitorableOWLReasonerAdapter

All Implemented Interfaces:

MonitorableOWLReasoner, OWLClassReasoner, OWLConsistencyChecker, OWLIndividualReasoner, OWLPropertyReasoner, OWLReasoner, OWLReasonerBase, OWLSatisfiabilityChecker, OWLOntologyChangeListener

public abstract class MonitorableOWLReasonerAdapter
extends OWLReasonerAdapter
implements MonitorableOWLReasoner

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 18-Mar-2007

Constructor Summary

MonitorableOWLReasonerAdapter(OWLOntologyManager manager)

Method Summary

protected ProgressMonitor	getProgressMonitor()
void	setProgressMonitor(ProgressMonitor progressMonitor)

Methods inherited from class org.semanticweb.owl.inference.OWLReasonerAdapter

clearOntologies, createSetOfSets, dispose, disposeReasoner, flattenSetOfSets, getAllAxioms, getLoadedOntologies, getOWLDataFactory, getOWLOntologyManager, handleOntologyChanges, loadOntologies, ontologiesChanged, ontologiesChanged, ontologiesCleared, unloadOntologies

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.semanticweb.owl.inference.MonitorableOWLReasoner

getCurrentEntity

Methods inherited from interface org.semanticweb.owl.inference.OWLConsistencyChecker

isConsistent

Methods inherited from interface org.semanticweb.owl.inference.OWLClassReasoner

getAncestorClasses, getDescendantClasses, getEquivalentClasses, getInconsistentClasses, getSubClasses, getSuperClasses, isEquivalentClass, isSubClassOf

Methods inherited from interface org.semanticweb.owl.inference.OWLSatisfiabilityChecker

isSatisfiable

Methods inherited from interface org.semanticweb.owl.inference.OWLIndividualReasoner

getDataPropertyRelationships, getIndividuals, getObjectPropertyRelationships, getRelatedIndividuals, getRelatedValues, getTypes, hasDataPropertyRelationship, hasObjectPropertyRelationship, hasType

Methods inherited from interface org.semanticweb.owl.inference.OWLPropertyReasoner

getAncestorProperties, getAncestorProperties, getDescendantProperties, getDescendantProperties, getDomains, getDomains, getEquivalentProperties, getEquivalentProperties, getInverseProperties, getRanges, getRanges, getSubProperties, getSubProperties, getSuperProperties, getSuperProperties, isAntiSymmetric, isFunctional, isFunctional, isInverseFunctional, isIrreflexive, isReflexive, isSymmetric, isTransitive

Constructor Detail

MonitorableOWLReasonerAdapter

public MonitorableOWLReasonerAdapter(OWLOntologyManager manager)

Method Detail

setProgressMonitor

public void setProgressMonitor(ProgressMonitor progressMonitor)

Specified by:

setProgressMonitor in interface MonitorableOWLReasoner

getProgressMonitor

protected ProgressMonitor getProgressMonitor()