com.clarkparsia.pellet.owlapiv3

Class PelletReasoner

java.lang.Object

com.clarkparsia.owlapiv3.AbstractOWLListeningReasoner

com.clarkparsia.pellet.owlapiv3.PelletReasoner

All Implemented Interfaces:

OWLListeningReasoner, org.semanticweb.owlapi.model.OWLOntologyChangeListener, org.semanticweb.owlapi.reasoner.OWLReasoner

public class PelletReasoner
extends AbstractOWLListeningReasoner

Field Summary

Fields

Modifier and Type	Field and Description
static Logger	log

Constructor Summary

Constructors

Constructor and Description
PelletReasoner(org.semanticweb.owlapi.model.OWLOntology ont, PelletReasonerConfiguration config) Create a reasoner for the given ontology and configuration.

Method Summary

Modifier and Type	Method and Description
static PelletReasonerConfiguration	config()
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.reasoner.FreshEntityPolicy	getFreshEntityPolicy()
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)
Set<org.semanticweb.owlapi.model.OWLAxiom>	getPendingAxiomAdditions()
Set<org.semanticweb.owlapi.model.OWLAxiom>	getPendingAxiomRemovals()
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	isEntailmentCheckingSupported(org.semanticweb.owlapi.model.AxiomType<?> axiomType)
boolean	isPrecomputed(org.semanticweb.owlapi.reasoner.InferenceType inferenceType)
boolean	isSatisfiable(org.semanticweb.owlapi.model.OWLClassExpression classExpression)
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.
aterm.ATermAppl	term(org.semanticweb.owlapi.model.OWLObject d)

Methods inherited from class com.clarkparsia.owlapiv3.AbstractOWLListeningReasoner

isListenChanges, setListenChanges

Methods inherited from class java.lang.Object

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

Field Detail

log

public static final Logger log

Constructor Detail

PelletReasoner

public PelletReasoner(org.semanticweb.owlapi.model.OWLOntology ont,
                      PelletReasonerConfiguration config)
               throws org.semanticweb.owlapi.reasoner.IllegalConfigurationException

Create a reasoner for the given ontology and configuration.

Throws:

org.semanticweb.owlapi.reasoner.IllegalConfigurationException

Method Detail

config

public static PelletReasonerConfiguration config()

dispose

public void dispose()

flush

public void flush()

getBottomClassNode

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

getBottomDataPropertyNode

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

getBottomObjectPropertyNode

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

getBufferingMode

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

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

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

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

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

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

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

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

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

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

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

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()

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

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getKB

public KnowledgeBase getKB()

Return the underlying Pellet knowledge base.

Returns:

the underlying Pellet knowledge base

getManager

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

Specified by:

getManager in class AbstractOWLListeningReasoner

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

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

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

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()

getPendingAxiomRemovals

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

getPendingChanges

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

getReasonerName

public String getReasonerName()

getReasonerVersion

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

getRootOntology

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

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

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

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

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

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

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

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

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()

getTopClassNode

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

getTopDataPropertyNode

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

getTopObjectPropertyNode

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

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

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()

getUnsatisfiableClasses

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

Throws:

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

interrupt

public void interrupt()

isConsistent

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

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

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

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)

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

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)
                       throws org.semanticweb.owlapi.model.OWLException

Throws:

org.semanticweb.owlapi.model.OWLException

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.

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

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.

term

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

getPrecomputableInferenceTypes

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

isPrecomputed

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

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

Throws:

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

org.semanticweb.owlapi.reasoner.InconsistentOntologyException