org.semanticweb.owlapi.reasoner.impl

Class OWLReasonerBase

java.lang.Object

org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

All Implemented Interfaces:

OWLReasoner

Direct Known Subclasses:

StructuralReasoner

public abstract class OWLReasonerBase
extends Object
implements OWLReasoner

Since:

3.0.0

Author:

Matthew Horridge, The University of Manchester, Information Management Group

Method Summary

Modifier and Type	Method and Description
void	dispose()
void	flush()
BufferingMode	getBufferingMode()
FreshEntityPolicy	getFreshEntityPolicy()
IndividualNodeSetPolicy	getIndividualNodeSetPolicy()
OWLDataFactory	getOWLDataFactory()
Set<OWLAxiom>	getPendingAxiomAdditions()
Set<OWLAxiom>	getPendingAxiomRemovals()
List<OWLOntologyChange>	getPendingChanges()
Collection<OWLAxiom>	getReasonerAxioms() Gets the axioms that should be currently being reasoned over.
OWLReasonerConfiguration	getReasonerConfiguration()
OWLOntology	getRootOntology()
long	getTimeOut()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.semanticweb.owlapi.reasoner.OWLReasoner

bottomClassNode, bottomDataPropertyNode, bottomObjectPropertyNode, dataPropertyDomains, dataPropertyDomains, dataPropertyDomains, dataPropertyValues, differentIndividuals, disjointClasses, disjointDataProperties, disjointObjectProperties, equivalentClasses, equivalentDataProperties, equivalentObjectProperties, getBottomClassNode, getBottomDataPropertyNode, getBottomObjectPropertyNode, getDataPropertyDomains, getDataPropertyDomains, getDataPropertyDomains, getDataPropertyValues, getDifferentIndividuals, getDisjointClasses, getDisjointDataProperties, getDisjointObjectProperties, getEquivalentClasses, getEquivalentDataProperties, getEquivalentObjectProperties, getInstances, getInstances, getInstances, getInverseObjectProperties, getObjectPropertyDomains, getObjectPropertyDomains, getObjectPropertyDomains, getObjectPropertyRanges, getObjectPropertyRanges, getObjectPropertyRanges, getObjectPropertyValues, getPrecomputableInferenceTypes, getReasonerName, getReasonerVersion, getSameIndividuals, getSubClasses, getSubClasses, getSubClasses, getSubDataProperties, getSubDataProperties, getSubDataProperties, getSubObjectProperties, getSubObjectProperties, getSubObjectProperties, getSuperClasses, getSuperClasses, getSuperClasses, getSuperDataProperties, getSuperDataProperties, getSuperDataProperties, getSuperObjectProperties, getSuperObjectProperties, getSuperObjectProperties, getTopClassNode, getTopDataPropertyNode, getTopObjectPropertyNode, getTypes, getTypes, getTypes, getUnsatisfiableClasses, instances, instances, instances, interrupt, inverseObjectProperties, isConsistent, isEntailed, isEntailed, isEntailed, isEntailed, isEntailmentCheckingSupported, isPrecomputed, isSatisfiable, objectPropertyDomains, objectPropertyDomains, objectPropertyDomains, objectPropertyRanges, objectPropertyRanges, objectPropertyRanges, objectPropertyValues, pendingAxiomAdditions, pendingAxiomRemovals, pendingChanges, precomputableInferenceTypes, precomputeInferences, sameIndividuals, subClasses, subClasses, subClasses, subDataProperties, subDataProperties, subDataProperties, subObjectProperties, subObjectProperties, subObjectProperties, superClasses, superClasses, superClasses, superDataProperties, superDataProperties, superDataProperties, superObjectProperties, superObjectProperties, superObjectProperties, topClassNode, topDataPropertyNode, topObjectPropertyNode, types, types, types, unsatisfiableClasses

Method Detail

getReasonerConfiguration

public OWLReasonerConfiguration getReasonerConfiguration()

Returns:

the configuration

getBufferingMode

public BufferingMode getBufferingMode()

Specified by:

getBufferingMode in interface OWLReasoner

getTimeOut

public long getTimeOut()

Specified by:

getTimeOut in interface OWLReasoner

getRootOntology

public OWLOntology getRootOntology()

Specified by:

getRootOntology in interface OWLReasoner

getPendingChanges

public List<OWLOntologyChange> getPendingChanges()

Specified by:

getPendingChanges in interface OWLReasoner

getPendingAxiomAdditions

public Set<OWLAxiom> getPendingAxiomAdditions()

Specified by:

getPendingAxiomAdditions in interface OWLReasoner

getPendingAxiomRemovals

public Set<OWLAxiom> getPendingAxiomRemovals()

Specified by:

getPendingAxiomRemovals in interface OWLReasoner

flush

public void flush()

Specified by:

flush in interface OWLReasoner

getReasonerAxioms

public Collection<OWLAxiom> getReasonerAxioms()

Gets the axioms that should be currently being reasoned over.

Returns:

A collections of axioms (not containing duplicates) that the reasoner should be taking into consideration when reasoning. This set of axioms many not correspond to the current state of the imports closure of the reasoner root ontology if the reasoner is buffered.

dispose

public void dispose()

Specified by:

dispose in interface OWLReasoner

getFreshEntityPolicy

public FreshEntityPolicy getFreshEntityPolicy()

Specified by:

getFreshEntityPolicy in interface OWLReasoner

getIndividualNodeSetPolicy

public IndividualNodeSetPolicy getIndividualNodeSetPolicy()

Specified by:

getIndividualNodeSetPolicy in interface OWLReasoner

getOWLDataFactory

public OWLDataFactory getOWLDataFactory()

Returns:

the data factory