owltools.reasoner
Class ExpressionMaterializingReasoner

java.lang.Object
  extended by org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase
      extended by owltools.reasoner.ExpressionMaterializingReasoner
All Implemented Interfaces:
org.semanticweb.owlapi.reasoner.OWLReasoner, OWLExtendedReasoner

public class ExpressionMaterializingReasoner
extends org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase
implements OWLExtendedReasoner

Author:
cjm

Constructor Summary
  ExpressionMaterializingReasoner(org.semanticweb.owlapi.model.OWLOntology ont)
           
protected ExpressionMaterializingReasoner(org.semanticweb.owlapi.model.OWLOntology rootOntology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration configuration, org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)
           
 
Method Summary
 void dispose()
           
 void flush()
           
 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)
           
 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)
           
 Set<org.semanticweb.owlapi.model.OWLClassExpression> getSuperClassExpressions(org.semanticweb.owlapi.model.OWLClassExpression ce, boolean direct)
          note that this is not a standard reasoner method
 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()
           
 org.semanticweb.owlapi.reasoner.OWLReasoner getWrappedReasoner()
           
protected  void handleChanges(Set<org.semanticweb.owlapi.model.OWLAxiom> addAxioms, Set<org.semanticweb.owlapi.model.OWLAxiom> removeAxioms)
           
 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 materializeExpressions()
           
 void materializeExpressions(org.semanticweb.owlapi.model.OWLOntology ontology)
           
 void precomputeInferences(org.semanticweb.owlapi.reasoner.InferenceType... inferenceTypes)
           
 void setWrappedReasoner(org.semanticweb.owlapi.reasoner.OWLReasoner wrappedReasoner)
           
 
Methods inherited from class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase
getOWLDataFactory, getReasonerAxioms, getReasonerConfiguration
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ExpressionMaterializingReasoner

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

ExpressionMaterializingReasoner

public ExpressionMaterializingReasoner(org.semanticweb.owlapi.model.OWLOntology ont)
Method Detail

getWrappedReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner getWrappedReasoner()

setWrappedReasoner

public void setWrappedReasoner(org.semanticweb.owlapi.reasoner.OWLReasoner wrappedReasoner)

materializeExpressions

public void materializeExpressions(org.semanticweb.owlapi.model.OWLOntology ontology)

materializeExpressions

public void materializeExpressions()

getSuperClassExpressions

public Set<org.semanticweb.owlapi.model.OWLClassExpression> getSuperClassExpressions(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
note that this is not a standard reasoner method

Specified by:
getSuperClassExpressions in interface OWLExtendedReasoner
Parameters:
ce -
direct -
Returns:
all superclasses, where superclasses can include anon class expressions
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

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

getBufferingMode

public org.semanticweb.owlapi.reasoner.BufferingMode getBufferingMode()
Specified by:
getBufferingMode in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Overrides:
getBufferingMode in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

flush

public void flush()
Specified by:
flush in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Overrides:
flush in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

getPendingChanges

public List<org.semanticweb.owlapi.model.OWLOntologyChange> getPendingChanges()
Specified by:
getPendingChanges in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Overrides:
getPendingChanges in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

getPendingAxiomAdditions

public Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomAdditions()
Specified by:
getPendingAxiomAdditions in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Overrides:
getPendingAxiomAdditions in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

getPendingAxiomRemovals

public Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomRemovals()
Specified by:
getPendingAxiomRemovals in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Overrides:
getPendingAxiomRemovals in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

getRootOntology

public org.semanticweb.owlapi.model.OWLOntology getRootOntology()
Specified by:
getRootOntology in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Overrides:
getRootOntology in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

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

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,
                                                                                                    org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException
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
org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException

getSuperClasses

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression ce,
                                                                                                      boolean direct)
                                                                                               throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                      org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException,
                                                                                                      org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                      org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                      org.semanticweb.owlapi.reasoner.TimeOutException
Specified by:
getSuperClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getEquivalentClasses

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression ce)
                                                                                                 throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                        org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException,
                                                                                                        org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                        org.semanticweb.owlapi.reasoner.TimeOutException
Specified by:
getEquivalentClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getDisjointClasses

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getDisjointClasses(org.semanticweb.owlapi.model.OWLClassExpression ce)
                                                                                                  throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                         org.semanticweb.owlapi.reasoner.TimeOutException,
                                                                                                         org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                         org.semanticweb.owlapi.reasoner.InconsistentOntologyException
Specified by:
getDisjointClasses 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

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.FreshEntitiesException,
                                                                                                                                org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                                org.semanticweb.owlapi.reasoner.TimeOutException
Specified by:
getSubObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getSuperObjectProperties

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getSuperObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe,
                                                                                                                                  boolean direct)
                                                                                                                           throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                                  org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                                  org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                                  org.semanticweb.owlapi.reasoner.TimeOutException
Specified by:
getSuperObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getEquivalentObjectProperties

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getEquivalentObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
                                                                                                                             throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                                    org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                                    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                                    org.semanticweb.owlapi.reasoner.TimeOutException
Specified by:
getEquivalentObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getDisjointObjectProperties

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getDisjointObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
                                                                                                                              throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                                     org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                                     org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                                     org.semanticweb.owlapi.reasoner.TimeOutException
Specified by:
getDisjointObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getInverseObjectProperties

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getInverseObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
                                                                                                                          throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                                 org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                                 org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                                 org.semanticweb.owlapi.reasoner.TimeOutException
Specified by:
getInverseObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getObjectPropertyDomains

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getObjectPropertyDomains(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe,
                                                                                                               boolean direct)
                                                                                                        throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                               org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                               org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                               org.semanticweb.owlapi.reasoner.TimeOutException
Specified by:
getObjectPropertyDomains in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getObjectPropertyRanges

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getObjectPropertyRanges(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe,
                                                                                                              boolean direct)
                                                                                                       throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                              org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                              org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                              org.semanticweb.owlapi.reasoner.TimeOutException
Specified by:
getObjectPropertyRanges in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

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.FreshEntitiesException,
                                                                                                                  org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                  org.semanticweb.owlapi.reasoner.TimeOutException
Specified by:
getSubDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getSuperDataProperties

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getSuperDataProperties(org.semanticweb.owlapi.model.OWLDataProperty pe,
                                                                                                                    boolean direct)
                                                                                                             throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                    org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                    org.semanticweb.owlapi.reasoner.TimeOutException
Specified by:
getSuperDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getEquivalentDataProperties

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getEquivalentDataProperties(org.semanticweb.owlapi.model.OWLDataProperty pe)
                                                                                                               throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                      org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                      org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                      org.semanticweb.owlapi.reasoner.TimeOutException
Specified by:
getEquivalentDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getDisjointDataProperties

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getDisjointDataProperties(org.semanticweb.owlapi.model.OWLDataPropertyExpression pe)
                                                                                                                throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                       org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                       org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                       org.semanticweb.owlapi.reasoner.TimeOutException
Specified by:
getDisjointDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getDataPropertyDomains

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getDataPropertyDomains(org.semanticweb.owlapi.model.OWLDataProperty pe,
                                                                                                             boolean direct)
                                                                                                      throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                             org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                             org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                             org.semanticweb.owlapi.reasoner.TimeOutException
Specified by:
getDataPropertyDomains in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getTypes

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getTypes(org.semanticweb.owlapi.model.OWLNamedIndividual ind,
                                                                                               boolean direct)
                                                                                        throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                               org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                               org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                               org.semanticweb.owlapi.reasoner.TimeOutException
Specified by:
getTypes in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getInstances

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getInstances(org.semanticweb.owlapi.model.OWLClassExpression ce,
                                                                                                             boolean direct)
                                                                                                      throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                             org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException,
                                                                                                             org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                             org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                             org.semanticweb.owlapi.reasoner.TimeOutException
Specified by:
getInstances in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getObjectPropertyValues

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getObjectPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual ind,
                                                                                                                        org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
                                                                                                                 throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                        org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                        org.semanticweb.owlapi.reasoner.TimeOutException
Specified by:
getObjectPropertyValues in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getDataPropertyValues

public Set<org.semanticweb.owlapi.model.OWLLiteral> getDataPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual ind,
                                                                          org.semanticweb.owlapi.model.OWLDataProperty pe)
                                                                   throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                          org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                          org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                          org.semanticweb.owlapi.reasoner.TimeOutException
Specified by:
getDataPropertyValues in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getSameIndividuals

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLNamedIndividual> getSameIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual ind)
                                                                                                         throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                org.semanticweb.owlapi.reasoner.TimeOutException
Specified by:
getSameIndividuals in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getDifferentIndividuals

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getDifferentIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual ind)
                                                                                                                 throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                        org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                        org.semanticweb.owlapi.reasoner.TimeOutException
Specified by:
getDifferentIndividuals in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getTimeOut

public long getTimeOut()
Specified by:
getTimeOut in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Overrides:
getTimeOut in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

getFreshEntityPolicy

public org.semanticweb.owlapi.reasoner.FreshEntityPolicy getFreshEntityPolicy()
Specified by:
getFreshEntityPolicy in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Overrides:
getFreshEntityPolicy in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

getIndividualNodeSetPolicy

public org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy getIndividualNodeSetPolicy()
Specified by:
getIndividualNodeSetPolicy in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Overrides:
getIndividualNodeSetPolicy in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

dispose

public void dispose()
Specified by:
dispose in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Overrides:
dispose in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

handleChanges

protected void handleChanges(Set<org.semanticweb.owlapi.model.OWLAxiom> addAxioms,
                             Set<org.semanticweb.owlapi.model.OWLAxiom> removeAxioms)
Specified by:
handleChanges in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase


Copyright © 2010-2012. All Rights Reserved.