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
- 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-2011. All Rights Reserved.