openllet.owlapi

Class PelletReasoner

java.lang.Object

openllet.owlapi.PelletReasoner

All Implemented Interfaces:

FacetFactoryOWL, FacetManagerOWL, FacetOntologyOWL, OpenlletReasoner, org.semanticweb.owlapi.model.OWLOntologyChangeListener, org.semanticweb.owlapi.reasoner.OWLReasoner

public class PelletReasoner
extends Object
implements OpenlletReasoner

Field Summary

Fields

Modifier and Type	Field and Description
static Logger	_logger

Constructor Summary

Constructors

Constructor and Description
PelletReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)
PelletReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config, org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode) Create a reasoner for the given _ontology and configuration.

Method Summary

Modifier and Type	Method and Description
void	dispose()
void	flush()
Set<org.semanticweb.owlapi.model.OWLLiteral>	getAnnotationPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual ind, org.semanticweb.owlapi.model.OWLAnnotationProperty pe)
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass>	getBottomClassNode()
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty>	getBottomDataPropertyNode()
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getBottomObjectPropertyNode()
org.semanticweb.owlapi.reasoner.BufferingMode	getBufferingMode()
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>	getDataPropertyDomains(org.semanticweb.owlapi.model.OWLDataProperty pe, boolean direct)
Set<org.semanticweb.owlapi.model.OWLLiteral>	getDataPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual ind, org.semanticweb.owlapi.model.OWLDataProperty pe)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual>	getDifferentIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual ind)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>	getDisjointClasses(org.semanticweb.owlapi.model.OWLClassExpression ce)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty>	getDisjointDataProperties(org.semanticweb.owlapi.model.OWLDataPropertyExpression pe)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getDisjointObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass>	getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression ce)
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty>	getEquivalentDataProperties(org.semanticweb.owlapi.model.OWLDataProperty pe)
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getEquivalentObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
org.semanticweb.owlapi.model.OWLDataFactory	getFactory()
org.semanticweb.owlapi.reasoner.FreshEntityPolicy	getFreshEntityPolicy()
OWLManagerGroup	getGroup()
org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy	getIndividualNodeSetPolicy()
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual>	getInstances(org.semanticweb.owlapi.model.OWLClassExpression ce, boolean direct)
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getInverseObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
KnowledgeBase	getKB() Return the underlying Pellet knowledge base.
org.semanticweb.owlapi.model.OWLOntologyManager	getManager()
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>	getObjectPropertyDomains(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe, boolean direct)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>	getObjectPropertyRanges(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe, boolean direct)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual>	getObjectPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual ind, org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
org.semanticweb.owlapi.model.OWLOntology	getOntology()
Set<org.semanticweb.owlapi.model.OWLAxiom>	getPendingAxiomAdditions() Return an empty set.
Set<org.semanticweb.owlapi.model.OWLAxiom>	getPendingAxiomRemovals() Return an empty set.
List<org.semanticweb.owlapi.model.OWLOntologyChange>	getPendingChanges()
Set<org.semanticweb.owlapi.reasoner.InferenceType>	getPrecomputableInferenceTypes()
String	getReasonerName()
org.semanticweb.owlapi.util.Version	getReasonerVersion()
org.semanticweb.owlapi.model.OWLOntology	getRootOntology()
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLNamedIndividual>	getSameIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual ind)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>	getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression ce, boolean direct)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty>	getSubDataProperties(org.semanticweb.owlapi.model.OWLDataProperty pe, boolean direct)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getSubObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe, boolean direct)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>	getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression ce, boolean direct)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty>	getSuperDataProperties(org.semanticweb.owlapi.model.OWLDataProperty pe, boolean direct)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getSuperObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe, boolean direct)
long	getTimeOut()
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass>	getTopClassNode()
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty>	getTopDataPropertyNode()
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getTopObjectPropertyNode()
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>	getTypes(org.semanticweb.owlapi.model.OWLNamedIndividual ind, boolean direct)
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass>	getUnsatisfiableClasses()
void	interrupt()
boolean	isConsistent()
boolean	isEntailed(org.semanticweb.owlapi.model.OWLAxiom axiom)
boolean	isEntailed(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)
boolean	isEntailed(Stream<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)
boolean	isEntailmentCheckingSupported(org.semanticweb.owlapi.model.AxiomType<?> axiomType)
boolean	isPrecomputed(org.semanticweb.owlapi.reasoner.InferenceType inferenceType)
boolean	isSatisfiable(org.semanticweb.owlapi.model.OWLClassExpression classExpression)
Stream<org.semanticweb.owlapi.model.OWLNamedIndividual>	objectPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual ind, org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
void	ontologiesChanged(List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes)
void	precomputeInferences(org.semanticweb.owlapi.reasoner.InferenceType... inferenceTypes)
void	prepareReasoner()
boolean	processChanges(List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes) Process all the given changes in an incremental fashion.
void	refresh() Clears the reasoner and reloads all the axioms in the imports closure.
openllet.aterm.ATermAppl	term(org.semanticweb.owlapi.model.OWLObject d)

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, getDataPropertyDomains, getDataPropertyDomains, getInstances, getInstances, getObjectPropertyDomains, getObjectPropertyDomains, getObjectPropertyRanges, getObjectPropertyRanges, getSubClasses, getSubClasses, getSubDataProperties, getSubDataProperties, getSubObjectProperties, getSubObjectProperties, getSuperClasses, getSuperClasses, getSuperDataProperties, getSuperDataProperties, getSuperObjectProperties, getSuperObjectProperties, getTypes, getTypes, instances, instances, instances, inverseObjectProperties, isEntailed, objectPropertyDomains, objectPropertyDomains, objectPropertyDomains, objectPropertyRanges, objectPropertyRanges, objectPropertyRanges, pendingAxiomAdditions, pendingAxiomRemovals, pendingChanges, precomputableInferenceTypes, 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

Field Detail

_logger

public static final Logger _logger

Constructor Detail

PelletReasoner

public PelletReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
                      org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)

PelletReasoner

public PelletReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
                      org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config,
                      org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)
               throws org.semanticweb.owlapi.reasoner.IllegalConfigurationException

Create a reasoner for the given _ontology and configuration.

Parameters:

_ontology -

Throws:

org.semanticweb.owlapi.reasoner.IllegalConfigurationException

Method Detail

getManager

public org.semanticweb.owlapi.model.OWLOntologyManager getManager()

Specified by:

getManager in interface FacetManagerOWL

Returns:

the manager that manage the current ontology.

getGroup

public OWLManagerGroup getGroup()

Specified by:

getGroup in interface FacetManagerOWL

Returns:

the group of manager that own the getManager() returned manager.

getFactory

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

Specified by:

getFactory in interface FacetFactoryOWL

Returns:

a factory that can build object for this ontlogy.

getOntology

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

Specified by:

getOntology in interface FacetOntologyOWL

Returns:

the ontology map to this helper

getKB

public KnowledgeBase getKB()

Return the underlying Pellet knowledge base.

Specified by:

getKB in interface OpenlletReasoner

Returns:

the underlying Pellet knowledge base

dispose

public void dispose()

Specified by:

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

flush

public void flush()

Specified by:

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

getBottomClassNode

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getBottomClassNode()

Specified by:

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

getBottomDataPropertyNode

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getBottomDataPropertyNode()

Specified by:

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

getBottomObjectPropertyNode

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getBottomObjectPropertyNode()

Specified by:

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

getBufferingMode

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

Specified by:

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

getDataPropertyDomains

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getDataPropertyDomains(org.semanticweb.owlapi.model.OWLDataProperty pe,
                                                                                                             boolean direct)
                                                                                                      throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                             org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                             org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                             org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getDataPropertyValues

public Set<org.semanticweb.owlapi.model.OWLLiteral> getDataPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual ind,
                                                                          org.semanticweb.owlapi.model.OWLDataProperty pe)
                                                                   throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                          org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                          org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                          org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getAnnotationPropertyValues

public Set<org.semanticweb.owlapi.model.OWLLiteral> getAnnotationPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual ind,
                                                                                org.semanticweb.owlapi.model.OWLAnnotationProperty pe)
                                                                         throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

getAnnotationPropertyValues in interface OpenlletReasoner

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getDifferentIndividuals

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getDifferentIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual ind)
                                                                                                                 throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                        org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                        org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getDisjointClasses

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getDisjointClasses(org.semanticweb.owlapi.model.OWLClassExpression ce)
                                                                                                  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                         org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException,
                                                                                                         org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                         org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                         org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getDisjointDataProperties

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getDisjointDataProperties(org.semanticweb.owlapi.model.OWLDataPropertyExpression pe)
                                                                                                                throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                       org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                       org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                       org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getDisjointObjectProperties

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getDisjointObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
                                                                                                                              throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                                     org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                                     org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                                     org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getEquivalentClasses

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression ce)
                                                                                                 throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                        org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException,
                                                                                                        org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                        org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getEquivalentDataProperties

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getEquivalentDataProperties(org.semanticweb.owlapi.model.OWLDataProperty pe)
                                                                                                               throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                      org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                      org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                      org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getEquivalentObjectProperties

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getEquivalentObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
                                                                                                                             throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                                    org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                                    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                                    org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getIndividualNodeSetPolicy

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

Specified by:

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

getInstances

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getInstances(org.semanticweb.owlapi.model.OWLClassExpression ce,
                                                                                                             boolean direct)
                                                                                                      throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                             org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException,
                                                                                                             org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                             org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                             org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getInverseObjectProperties

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getInverseObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
                                                                                                                          throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                                 org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                                 org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                                 org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getObjectPropertyDomains

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getObjectPropertyDomains(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe,
                                                                                                               boolean direct)
                                                                                                        throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                               org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                               org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                               org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getObjectPropertyRanges

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getObjectPropertyRanges(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe,
                                                                                                              boolean direct)
                                                                                                       throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                              org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                              org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                              org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getObjectPropertyValues

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getObjectPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual ind,
                                                                                                                        org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
                                                                                                                 throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                        org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                        org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

objectPropertyValues

public Stream<org.semanticweb.owlapi.model.OWLNamedIndividual> objectPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual ind,
                                                                                    org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
                                                                             throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                    org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                    org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getPendingAxiomAdditions

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

Return an empty set.

Specified by:

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

getPendingAxiomRemovals

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

Return an empty set.

Specified by:

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

getPendingChanges

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

Specified by:

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

getReasonerName

public String getReasonerName()

Specified by:

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

getReasonerVersion

public org.semanticweb.owlapi.util.Version getReasonerVersion()

Specified by:

getReasonerVersion 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

getSameIndividuals

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLNamedIndividual> getSameIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual ind)
                                                                                                         throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getSubClasses

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression ce,
                                                                                                    boolean direct)
                                                                                             throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                    org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException,
                                                                                                    org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                    org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getSubDataProperties

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getSubDataProperties(org.semanticweb.owlapi.model.OWLDataProperty pe,
                                                                                                                  boolean direct)
                                                                                                           throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                  org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                  org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                  org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getSubObjectProperties

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getSubObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe,
                                                                                                                                boolean direct)
                                                                                                                         throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                                org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                                org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                                org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getSuperClasses

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression ce,
                                                                                                      boolean direct)
                                                                                               throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                      org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException,
                                                                                                      org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                      org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                      org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getSuperDataProperties

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getSuperDataProperties(org.semanticweb.owlapi.model.OWLDataProperty pe,
                                                                                                                    boolean direct)
                                                                                                             throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                    org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                    org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getSuperObjectProperties

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getSuperObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe,
                                                                                                                                  boolean direct)
                                                                                                                           throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                                  org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                                  org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                                  org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getTimeOut

public long getTimeOut()

Specified by:

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

getTopClassNode

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getTopClassNode()

Specified by:

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

getTopDataPropertyNode

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getTopDataPropertyNode()

Specified by:

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

getTopObjectPropertyNode

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getTopObjectPropertyNode()

Specified by:

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

getTypes

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getTypes(org.semanticweb.owlapi.model.OWLNamedIndividual ind,
                                                                                               boolean direct)
                                                                                        throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                               org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                               org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                               org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getFreshEntityPolicy

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

Specified by:

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

getUnsatisfiableClasses

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getUnsatisfiableClasses()
                                                                                                    throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                           org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

interrupt

public void interrupt()

Specified by:

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

isConsistent

public boolean isConsistent()
                     throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                            org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

isEntailed

public boolean isEntailed(org.semanticweb.owlapi.model.OWLAxiom axiom)
                   throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                          org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException,
                          org.semanticweb.owlapi.reasoner.TimeOutException,
                          org.semanticweb.owlapi.reasoner.AxiomNotInProfileException,
                          org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                          org.semanticweb.owlapi.reasoner.InconsistentOntologyException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException

org.semanticweb.owlapi.reasoner.TimeOutException

org.semanticweb.owlapi.reasoner.AxiomNotInProfileException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

isEntailed

public boolean isEntailed(Stream<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)
                   throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                          org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException,
                          org.semanticweb.owlapi.reasoner.TimeOutException,
                          org.semanticweb.owlapi.reasoner.AxiomNotInProfileException,
                          org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                          org.semanticweb.owlapi.reasoner.InconsistentOntologyException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException

org.semanticweb.owlapi.reasoner.TimeOutException

org.semanticweb.owlapi.reasoner.AxiomNotInProfileException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

isEntailed

public boolean isEntailed(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)
                   throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                          org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException,
                          org.semanticweb.owlapi.reasoner.TimeOutException,
                          org.semanticweb.owlapi.reasoner.AxiomNotInProfileException,
                          org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                          org.semanticweb.owlapi.reasoner.InconsistentOntologyException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException

org.semanticweb.owlapi.reasoner.TimeOutException

org.semanticweb.owlapi.reasoner.AxiomNotInProfileException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

isEntailmentCheckingSupported

public boolean isEntailmentCheckingSupported(org.semanticweb.owlapi.model.AxiomType<?> axiomType)

Specified by:

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

isSatisfiable

public boolean isSatisfiable(org.semanticweb.owlapi.model.OWLClassExpression classExpression)
                      throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                             org.semanticweb.owlapi.reasoner.TimeOutException,
                             org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException,
                             org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                             org.semanticweb.owlapi.reasoner.InconsistentOntologyException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

ontologiesChanged

public void ontologiesChanged(List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes)

Specified by:

ontologiesChanged in interface org.semanticweb.owlapi.model.OWLOntologyChangeListener

processChanges

public boolean processChanges(List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes)

Process all the given changes in an incremental fashion. Processing will stop if a change cannot be handled incrementally and requires a reload. The reload will not be done as part of processing.

Specified by:

processChanges in interface OpenlletReasoner

Parameters:

changes - the changes to be applied to the reasoner

Returns:

true if all changes have been processed successfully, false otherwise (indicates reasoner will reload the whole ontology next time it needs to do reasoning)

prepareReasoner

public void prepareReasoner()
                     throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                            org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:

prepareReasoner in interface OpenlletReasoner

Throws:

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

refresh

public void refresh()

Clears the reasoner and reloads all the axioms in the imports closure.

Specified by:

refresh in interface OpenlletReasoner

term

public openllet.aterm.ATermAppl term(org.semanticweb.owlapi.model.OWLObject d)

Specified by:

term in interface OpenlletReasoner

getPrecomputableInferenceTypes

public Set<org.semanticweb.owlapi.reasoner.InferenceType> getPrecomputableInferenceTypes()

Specified by:

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

isPrecomputed

public boolean isPrecomputed(org.semanticweb.owlapi.reasoner.InferenceType inferenceType)

Specified by:

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

precomputeInferences

public void precomputeInferences(org.semanticweb.owlapi.reasoner.InferenceType... inferenceTypes)
                          throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                 org.semanticweb.owlapi.reasoner.TimeOutException,
                                 org.semanticweb.owlapi.reasoner.InconsistentOntologyException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

org.semanticweb.owlapi.reasoner.InconsistentOntologyException