org.semanticweb.owlapi.reasoner.impl

Class OWLReasonerBase

java.lang.Object

org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

All Implemented Interfaces:

org.semanticweb.owlapi.reasoner.OWLReasoner

Direct Known Subclasses:

StructuralReasoner

public abstract class OWLReasonerBase
extends Object
implements org.semanticweb.owlapi.reasoner.OWLReasoner

Author:

Matthew Horridge, The University of Manchester, Information Management Group, Date: 01-Aug-2009

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	OWLReasonerBase(org.semanticweb.owlapi.model.OWLOntology rootOntology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration configuration, org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)

Method Summary

Methods

Modifier and Type	Method and Description
void	dispose()
void	flush()
org.semanticweb.owlapi.reasoner.BufferingMode	getBufferingMode()
org.semanticweb.owlapi.reasoner.FreshEntityPolicy	getFreshEntityPolicy()
org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy	getIndividualNodeSetPolicy()
org.semanticweb.owlapi.model.OWLDataFactory	getOWLDataFactory()
Set<org.semanticweb.owlapi.model.OWLAxiom>	getPendingAxiomAdditions()
Set<org.semanticweb.owlapi.model.OWLAxiom>	getPendingAxiomRemovals()
List<org.semanticweb.owlapi.model.OWLOntologyChange>	getPendingChanges()
Collection<org.semanticweb.owlapi.model.OWLAxiom>	getReasonerAxioms() Gets the axioms that should be currently being reasoned over.
org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration	getReasonerConfiguration()
org.semanticweb.owlapi.model.OWLOntology	getRootOntology()
long	getTimeOut()
protected abstract void	handleChanges(Set<org.semanticweb.owlapi.model.OWLAxiom> addAxioms, Set<org.semanticweb.owlapi.model.OWLAxiom> removeAxioms) Asks the reasoner implementation to handle axiom additions and removals from the imports closure of the root ontology.
protected void	handleRawOntologyChanges(List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes) Handles raw ontology changes.

Methods inherited from class java.lang.Object

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

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

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

Constructor Detail

OWLReasonerBase

protected OWLReasonerBase(org.semanticweb.owlapi.model.OWLOntology rootOntology,
               org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration configuration,
               org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)

Method Detail

getReasonerConfiguration

public org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration getReasonerConfiguration()

Returns:

the configuration

getBufferingMode

public org.semanticweb.owlapi.reasoner.BufferingMode getBufferingMode()

Specified by:

getBufferingMode in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getTimeOut

public long getTimeOut()

Specified by:

getTimeOut in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getRootOntology

public org.semanticweb.owlapi.model.OWLOntology getRootOntology()

Specified by:

getRootOntology in interface org.semanticweb.owlapi.reasoner.OWLReasoner

handleRawOntologyChanges

protected void handleRawOntologyChanges(List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes)

Handles raw ontology changes. If the reasoner is a buffering reasoner then the changes will be stored in a buffer. If the reasoner is a non-buffering reasoner then the changes will be automatically flushed through to the change filter and passed on to the reasoner.

Parameters:

changes - The list of raw changes.

getPendingChanges

public List<org.semanticweb.owlapi.model.OWLOntologyChange> getPendingChanges()

Specified by:

getPendingChanges in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getPendingAxiomAdditions

public Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomAdditions()

Specified by:

getPendingAxiomAdditions in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getPendingAxiomRemovals

public Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomRemovals()

Specified by:

getPendingAxiomRemovals in interface org.semanticweb.owlapi.reasoner.OWLReasoner

flush

public void flush()

Specified by:

flush in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getReasonerAxioms

public Collection<org.semanticweb.owlapi.model.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.

handleChanges

protected abstract void handleChanges(Set<org.semanticweb.owlapi.model.OWLAxiom> addAxioms,
                 Set<org.semanticweb.owlapi.model.OWLAxiom> removeAxioms)

Asks the reasoner implementation to handle axiom additions and removals from the imports closure of the root ontology. The changes will not include annotation axiom additions and removals.

Parameters:

addAxioms - The axioms to be added to the reasoner.

removeAxioms - The axioms to be removed from the reasoner

dispose

public void dispose()

Specified by:

dispose in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getFreshEntityPolicy

public org.semanticweb.owlapi.reasoner.FreshEntityPolicy getFreshEntityPolicy()

Specified by:

getFreshEntityPolicy in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getIndividualNodeSetPolicy

public org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy getIndividualNodeSetPolicy()

Specified by:

getIndividualNodeSetPolicy in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getOWLDataFactory

public org.semanticweb.owlapi.model.OWLDataFactory getOWLDataFactory()

Returns:

the data factory