|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase
public abstract class OWLReasonerBase
Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 01-Aug-2009
Constructor Summary | |
---|---|
protected |
OWLReasonerBase(OWLOntology rootOntology,
OWLReasonerConfiguration configuration,
BufferingMode bufferingMode)
|
Method Summary | |
---|---|
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. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
protected OWLReasonerBase(OWLOntology rootOntology, OWLReasonerConfiguration configuration, BufferingMode bufferingMode)
Method Detail |
---|
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
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()
handleChanges(java.util.Set, java.util.Set)
method.
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()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |