public abstract class OWLReasonerBase extends java.lang.Object implements OWLReasoner
Modifier | Constructor and Description |
---|---|
protected |
OWLReasonerBase(OWLOntology rootOntology,
OWLReasonerConfiguration configuration,
BufferingMode bufferingMode) |
Modifier and Type | Method and Description |
---|---|
void |
dispose()
Disposes of this reasoner.
|
void |
flush()
Flushes the pending changes from the pending change list.
|
BufferingMode |
getBufferingMode()
Gets the buffering mode of this reasoner.
|
FreshEntityPolicy |
getFreshEntityPolicy()
Gets the Fresh Entity Policy in use by this reasoner.
|
IndividualNodeSetPolicy |
getIndividualNodeSetPolicy()
Gets the IndividualNodeSetPolicy in use by this reasoner.
|
OWLDataFactory |
getOWLDataFactory() |
java.util.Set<OWLAxiom> |
getPendingAxiomAdditions()
Gets the axioms that as a result of ontology changes need to be added to the reasoner to synchronise it
with the root ontology imports closure.
|
java.util.Set<OWLAxiom> |
getPendingAxiomRemovals()
Gets the axioms that as a result of ontology changes need to removed to the reasoner to synchronise it
with the root ontology imports closure.
|
java.util.List<OWLOntologyChange> |
getPendingChanges()
Gets the pending changes which need to be taken into consideration by the reasoner so that it is up to date
with the root ontology imports closure.
|
java.util.Collection<OWLAxiom> |
getReasonerAxioms()
Gets the axioms that should be currently being reasoned over.
|
OWLReasonerConfiguration |
getReasonerConfiguration() |
OWLOntology |
getRootOntology()
Gets the "root" ontology that is loaded into this reasoner.
|
long |
getTimeOut()
Gets the time out (in milliseconds) for the most basic reasoning operations.
|
protected abstract void |
handleChanges(java.util.Set<OWLAxiom> addAxioms,
java.util.Set<OWLAxiom> removeAxioms)
Asks the reasoner implementation to handle axiom additions and removals from the imports closure of the root
ontology.
|
protected void |
handleRawOntologyChanges(java.util.List<? extends OWLOntologyChange> changes)
Handles raw ontology changes.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getBottomClassNode, getBottomDataPropertyNode, getBottomObjectPropertyNode, getDataPropertyDomains, getDataPropertyValues, getDifferentIndividuals, getDisjointClasses, getDisjointDataProperties, getDisjointObjectProperties, getEquivalentClasses, getEquivalentDataProperties, getEquivalentObjectProperties, getInstances, getInverseObjectProperties, getObjectPropertyDomains, getObjectPropertyRanges, getObjectPropertyValues, getPrecomputableInferenceTypes, getReasonerName, getReasonerVersion, getSameIndividuals, getSubClasses, getSubDataProperties, getSubObjectProperties, getSuperClasses, getSuperDataProperties, getSuperObjectProperties, getTopClassNode, getTopDataPropertyNode, getTopObjectPropertyNode, getTypes, getUnsatisfiableClasses, interrupt, isConsistent, isEntailed, isEntailed, isEntailmentCheckingSupported, isPrecomputed, isSatisfiable, precomputeInferences
protected OWLReasonerBase(OWLOntology rootOntology, OWLReasonerConfiguration configuration, BufferingMode bufferingMode)
public OWLReasonerConfiguration getReasonerConfiguration()
public BufferingMode getBufferingMode()
OWLReasoner
getBufferingMode
in interface OWLReasoner
public long getTimeOut()
OWLReasoner
TimeOutException
in the thread that is
executing the reasoning process.
Note that clients that want a higher level timeout, at the level of classification for example, should start
their own timers and request that the reasoner interrupts the current process using the OWLReasoner.interrupt()
method.getTimeOut
in interface OWLReasoner
Long.MAX_VALUE
.public OWLOntology getRootOntology()
OWLReasoner
OWLReasoner.getPendingAxiomRemovals()
,
minus the axioms returned by OWLReasoner.getPendingAxiomAdditions()
when reasoning.
Note that the root ontology is set at reasoner
creation time and cannot be changed thereafter. Clients that want to add ontologies to and remove ontologies
from the reasoner after creation time should create a "dummy" ontology that imports the "real" ontologies and
then specify the dummy ontology as the root ontology at reasoner creation time.getRootOntology
in interface OWLReasoner
protected void handleRawOntologyChanges(java.util.List<? extends OWLOntologyChange> changes)
changes
- The list of raw changes.public java.util.List<OWLOntologyChange> getPendingChanges()
OWLReasoner
OWLReasoner.flush()
method is called the set of pending changes
will be empty.getPendingChanges
in interface OWLReasoner
public java.util.Set<OWLAxiom> getPendingAxiomAdditions()
OWLReasoner
BufferingMode.NON_BUFFERING
then there will be no pending axiom additions.getPendingAxiomAdditions
in interface OWLReasoner
public java.util.Set<OWLAxiom> getPendingAxiomRemovals()
OWLReasoner
BufferingMode.NON_BUFFERING
then there will be no pending axiom additions.getPendingAxiomRemovals
in interface OWLReasoner
public void flush()
flush
in interface OWLReasoner
public java.util.Collection<OWLAxiom> getReasonerAxioms()
protected abstract void handleChanges(java.util.Set<OWLAxiom> addAxioms, java.util.Set<OWLAxiom> removeAxioms)
addAxioms
- The axioms to be added to the reasoner.removeAxioms
- The axioms to be removed from the reasonerpublic void dispose()
OWLReasoner
OWLOntologyChangeListener
from the OWLOntologyManager
that manages the ontologies contained within the reasoner.dispose
in interface OWLReasoner
public FreshEntityPolicy getFreshEntityPolicy()
OWLReasoner
getFreshEntityPolicy
in interface OWLReasoner
public IndividualNodeSetPolicy getIndividualNodeSetPolicy()
OWLReasoner
getIndividualNodeSetPolicy
in interface OWLReasoner
public OWLDataFactory getOWLDataFactory()