owltools.reasoner
Class GraphReasoner
java.lang.Object
org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase
owltools.reasoner.GraphReasoner
- All Implemented Interfaces:
- org.semanticweb.owlapi.reasoner.OWLReasoner, OWLExtendedReasoner
public class GraphReasoner
- extends org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase
- implements OWLExtendedReasoner
incomplete.
the goal is to expose OWLGraphReasoner reachability queries via the reasoner interface.
however, OWLReasoners do not support returning class expressions for superclass queries,
so this provides an extra method
- Author:
- cjm
Constructor Summary |
protected |
GraphReasoner(org.semanticweb.owlapi.model.OWLOntology rootOntology,
org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration configuration,
org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)
|
Method Summary |
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.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.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.reasoner.InferenceType> |
getPrecomputableInferenceTypes()
|
String |
getReasonerName()
|
org.semanticweb.owlapi.util.Version |
getReasonerVersion()
|
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)
|
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()
|
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 |
precomputeInferences(org.semanticweb.owlapi.reasoner.InferenceType... inferenceTypes)
|
Methods inherited from class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase |
dispose, flush, getBufferingMode, getFreshEntityPolicy, getIndividualNodeSetPolicy, getOWLDataFactory, getPendingAxiomAdditions, getPendingAxiomRemovals, getPendingChanges, getReasonerAxioms, getReasonerConfiguration, getRootOntology, getTimeOut |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface org.semanticweb.owlapi.reasoner.OWLReasoner |
dispose, flush, getBufferingMode, getFreshEntityPolicy, getIndividualNodeSetPolicy, getPendingAxiomAdditions, getPendingAxiomRemovals, getPendingChanges, getRootOntology, getTimeOut |
GraphReasoner
protected GraphReasoner(org.semanticweb.owlapi.model.OWLOntology rootOntology,
org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration configuration,
org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)
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
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
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
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
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
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
Copyright © 2010-2012. All Rights Reserved.