uk.ac.manchester.cs.jfact

Class JFactReasoner

java.lang.Object

uk.ac.manchester.cs.jfact.JFactReasoner

All Implemented Interfaces:

org.semanticweb.owlapi.model.OWLOntologyChangeListener, org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner, org.semanticweb.owlapi.reasoner.OWLReasoner

public class JFactReasoner
extends Object
implements org.semanticweb.owlapi.reasoner.OWLReasoner, org.semanticweb.owlapi.model.OWLOntologyChangeListener, org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner

Synchronization policy: all methods for OWLReasoner are synchronized, except the methods which do not touch the kernel or only affect threadsafe data structures. inner private classes are not synchronized since methods from those classes cannot be invoked from outsize synchronized methods.

Nested Class Summary

Nested classes/interfaces inherited from interface org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner

org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode

Field Summary

Fields

Modifier and Type	Field and Description
protected AtomicBoolean	interrupted

Constructor Summary

Constructors

Constructor and Description
JFactReasoner(org.semanticweb.owlapi.model.OWLOntology rootOntology, JFactReasonerConfiguration config, org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)
JFactReasoner(org.semanticweb.owlapi.model.OWLOntology o, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration c, org.semanticweb.owlapi.reasoner.BufferingMode b)

Method Summary

Methods

Modifier and Type	Method and Description
void	dispose()
void	dumpClassHierarchy(LogAdapter pw, boolean includeBottomNode)
void	flush()
Set<org.semanticweb.owlapi.model.OWLAxiom>	getAtomAxioms(int index) get a set of axioms that corresponds to the atom with the id INDEX
Set<TOntologyAtom>	getAtomDependents(int index) get a set of atoms on which atom with index INDEX depends
int	getAtomicDecompositionSize(boolean useSemantics, ModuleType type)
Set<Axiom>	getAtomModule(int index) get a set of axioms that corresponds to the module of the atom with the
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.Node<? extends org.semanticweb.owlapi.model.OWLDataRange>	getDataLabel(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode object, boolean deterministicOnly)
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty>	getDataNeighbours(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode object, boolean deterministicOnly)
Collection<org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode>	getDataNeighbours(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode n, org.semanticweb.owlapi.model.OWLDataProperty property)
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)
DatatypeFactory	getDatatypeFactory()
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)
Set<org.semanticweb.owlapi.model.OWLAxiom>	getModule(Set<org.semanticweb.owlapi.model.OWLEntity> signature, boolean useSemantic, ModuleType moduletype)
Set<org.semanticweb.owlapi.model.OWLAxiom>	getNonLocal(Set<org.semanticweb.owlapi.model.OWLEntity> signature, boolean useSemantic, ModuleType moduletype)
org.semanticweb.owlapi.reasoner.Node<? extends org.semanticweb.owlapi.model.OWLClassExpression>	getObjectLabel(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode object, boolean deterministicOnly)
org.semanticweb.owlapi.reasoner.Node<? extends org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getObjectNeighbours(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode object, boolean deterministicOnly)
Collection<org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode>	getObjectNeighbours(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode n, org.semanticweb.owlapi.model.OWLObjectProperty property)
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.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode	getRoot(org.semanticweb.owlapi.model.OWLClassExpression expression)
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)
Set<org.semanticweb.owlapi.model.OWLAxiom>	getTautologies()
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()
Set<org.semanticweb.owlapi.model.OWLAxiom>	getTrace(org.semanticweb.owlapi.model.OWLAxiom axiom)
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	writeReasoningResult(LogAdapter o, long time)

Methods inherited from class java.lang.Object

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

Field Detail

interrupted

protected final AtomicBoolean interrupted

Constructor Detail

JFactReasoner

public JFactReasoner(org.semanticweb.owlapi.model.OWLOntology o,
             org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration c,
             org.semanticweb.owlapi.reasoner.BufferingMode b)

JFactReasoner

public JFactReasoner(org.semanticweb.owlapi.model.OWLOntology rootOntology,
             JFactReasonerConfiguration config,
             org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)

Method Detail

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.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.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getDatatypeFactory

public DatatypeFactory getDatatypeFactory()

ontologiesChanged

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

Specified by:

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

Throws:

org.semanticweb.owlapi.model.OWLException

getBufferingMode

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

Specified by:

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

getTimeOut

public long getTimeOut()

Specified by:

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

getRootOntology

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

Specified by:

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

getPendingChanges

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

Specified by:

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

getPendingAxiomAdditions

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

Specified by:

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

getPendingAxiomRemovals

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

Specified by:

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

flush

public void flush()

Specified by:

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

getFreshEntityPolicy

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

Specified by:

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

getIndividualNodeSetPolicy

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

Specified by:

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

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

interrupt

public void interrupt()

Specified by:

interrupt 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

isPrecomputed

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

Specified by:

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

getPrecomputableInferenceTypes

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

Specified by:

getPrecomputableInferenceTypes 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

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

getUnsatisfiableClasses

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

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

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

getTrace

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

getTopClassNode

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

Specified by:

getTopClassNode 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

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.ReasonerInterruptedException,
                                                                                                    org.semanticweb.owlapi.reasoner.TimeOutException,
                                                                                                    org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                    org.semanticweb.owlapi.reasoner.InconsistentOntologyException

Specified by:

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

Throws:

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

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

Specified by:

getDisjointClasses 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

getBottomObjectPropertyNode

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

Specified by:

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

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.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.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.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.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.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.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.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.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.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.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.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.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.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.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getTopDataPropertyNode

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

Specified by:

getTopDataPropertyNode 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

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.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.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.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.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.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.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.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.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

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.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.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

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.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.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

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.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.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.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.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.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.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

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.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.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.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.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

dispose

public void dispose()

Specified by:

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

dumpClassHierarchy

public void dumpClassHierarchy(LogAdapter pw,
                      boolean includeBottomNode)

writeReasoningResult

public void writeReasoningResult(LogAdapter o,
                        long time)

getRoot

public org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode getRoot(org.semanticweb.owlapi.model.OWLClassExpression expression)

Specified by:

getRoot in interface org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner

getObjectNeighbours

public org.semanticweb.owlapi.reasoner.Node<? extends org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getObjectNeighbours(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode object,
                                                                                                                           boolean deterministicOnly)

Specified by:

getObjectNeighbours in interface org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner

getDataNeighbours

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getDataNeighbours(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode object,
                                                                                                   boolean deterministicOnly)

Specified by:

getDataNeighbours in interface org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner

getObjectNeighbours

public Collection<org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode> getObjectNeighbours(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode n,
                                                                                                                         org.semanticweb.owlapi.model.OWLObjectProperty property)

Specified by:

getObjectNeighbours in interface org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner

getDataNeighbours

public Collection<org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode> getDataNeighbours(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode n,
                                                                                                                       org.semanticweb.owlapi.model.OWLDataProperty property)

Specified by:

getDataNeighbours in interface org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner

getObjectLabel

public org.semanticweb.owlapi.reasoner.Node<? extends org.semanticweb.owlapi.model.OWLClassExpression> getObjectLabel(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode object,
                                                                                                             boolean deterministicOnly)

Specified by:

getObjectLabel in interface org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner

getDataLabel

public org.semanticweb.owlapi.reasoner.Node<? extends org.semanticweb.owlapi.model.OWLDataRange> getDataLabel(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode object,
                                                                                                     boolean deterministicOnly)

Specified by:

getDataLabel in interface org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner

getAtomicDecompositionSize

public int getAtomicDecompositionSize(boolean useSemantics,
                             ModuleType type)

getTautologies

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

getAtomAxioms

public Set<org.semanticweb.owlapi.model.OWLAxiom> getAtomAxioms(int index)

get a set of axioms that corresponds to the atom with the id INDEX

getAtomModule

public Set<Axiom> getAtomModule(int index)

get a set of axioms that corresponds to the module of the atom with the

getAtomDependents

public Set<TOntologyAtom> getAtomDependents(int index)

get a set of atoms on which atom with index INDEX depends

getModule

public Set<org.semanticweb.owlapi.model.OWLAxiom> getModule(Set<org.semanticweb.owlapi.model.OWLEntity> signature,
                                                   boolean useSemantic,
                                                   ModuleType moduletype)

getNonLocal

public Set<org.semanticweb.owlapi.model.OWLAxiom> getNonLocal(Set<org.semanticweb.owlapi.model.OWLEntity> signature,
                                                     boolean useSemantic,
                                                     ModuleType moduletype)