owltools.reasoner
Class ExpressionMaterializingReasoner
java.lang.Object
org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase
owltools.reasoner.ExpressionMaterializingReasoner
- All Implemented Interfaces:
- org.semanticweb.owlapi.reasoner.OWLReasoner, OWLExtendedReasoner
public class ExpressionMaterializingReasoner
- extends org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase
- implements OWLExtendedReasoner
This wraps an existing reasoner to implement OWLExtendedReasoner.
It works by materializing expressions of the form "R some Y" as
equivalence axioms prior to reasoning.
After reasoning, it can retrieve these anonymous superclasses.
Currently limited to a single level of nesting - in principle it could be extended
to expressions of depth k
- 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 |
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)
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.