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
@Nonnull 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
@Nonnull 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
@Nonnull public OWLDataFactory getOWLDataFactory()
Copyright © 2020 The University of Manchester. All rights reserved.