|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.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,
BufferingMode bufferingMode)
|
Method Summary | |
---|---|
void |
flush()
Flushes the pending changes from the pending change list. |
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. |
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, BufferingMode bufferingMode)
Method Detail |
---|
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 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 reasoner
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |