public abstract class OWLReasonerBase extends Object implements OWLReasoner
Modifier and Type | Method and Description |
---|---|
void |
dispose()
Disposes of this reasoner.
|
void |
flush()
Flushes any changes stored in the buffer, which causes the reasoner to
take into consideration the changes the current root ontology specified
by the changes.
|
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() |
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.
|
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.
|
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.
|
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.
|
equals, 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
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. 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. getRootOntology
in interface OWLReasoner
public List<OWLOntologyChange> getPendingChanges()
OWLReasoner
OWLReasoner.flush()
method is called the set of pending changes
will be empty.getPendingChanges
in interface OWLReasoner
public Set<OWLAxiom> getPendingAxiomAdditions()
OWLReasoner
BufferingMode.NON_BUFFERING
then
there will be no pending axiom additions.getPendingAxiomAdditions
in interface OWLReasoner
public Set<OWLAxiom> getPendingAxiomRemovals()
OWLReasoner
BufferingMode.NON_BUFFERING
then
there will be no pending axiom additions.getPendingAxiomRemovals
in interface OWLReasoner
public void flush()
OWLReasoner
BufferingMode.NON_BUFFERING
then
this method will have no effect.flush
in interface OWLReasoner
public Collection<OWLAxiom> getReasonerAxioms()
public 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()
Copyright © 2017 The University of Manchester. All Rights Reserved.