|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcom.clarkparsia.pellet.owlapiv3.PelletReasoner
public class PelletReasoner
| Field Summary | |
|---|---|
static java.util.logging.Logger |
log
|
| Constructor Summary | |
|---|---|
PelletReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)
|
|
PelletReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config,
org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)
Create a reasoner for the given ontology and configuration. |
|
| Method Summary | |
|---|---|
void |
dispose()
|
void |
flush()
|
java.util.Set<org.semanticweb.owlapi.model.OWLLiteral> |
getAnnotationPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual ind,
org.semanticweb.owlapi.model.OWLAnnotationProperty pe)
|
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)
|
java.util.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)
|
KnowledgeBase |
getKB()
Return the underlying Pellet knowledge base. |
org.semanticweb.owlapi.model.OWLOntologyManager |
getManager()
|
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)
|
java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> |
getPendingAxiomAdditions()
|
java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> |
getPendingAxiomRemovals()
|
java.util.List<org.semanticweb.owlapi.model.OWLOntologyChange> |
getPendingChanges()
|
java.util.Set<org.semanticweb.owlapi.reasoner.InferenceType> |
getPrecomputableInferenceTypes()
|
java.lang.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)
|
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()
|
void |
interrupt()
|
boolean |
isConsistent()
|
boolean |
isEntailed(org.semanticweb.owlapi.model.OWLAxiom axiom)
|
boolean |
isEntailed(java.util.Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)
|
boolean |
isEntailmentCheckingSupported(org.semanticweb.owlapi.model.AxiomType<?> axiomType)
|
boolean |
isPrecomputed(org.semanticweb.owlapi.reasoner.InferenceType inferenceType)
|
boolean |
isSatisfiable(org.semanticweb.owlapi.model.OWLClassExpression classExpression)
|
void |
ontologiesChanged(java.util.List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes)
|
void |
precomputeInferences(org.semanticweb.owlapi.reasoner.InferenceType... inferenceTypes)
|
void |
prepareReasoner()
|
boolean |
processChanges(java.util.List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes)
Process all the given changes in an incremental fashion. |
void |
refresh()
Clears the reasoner and reloads all the axioms in the imports closure. |
aterm.ATermAppl |
term(org.semanticweb.owlapi.model.OWLObject d)
|
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public static final java.util.logging.Logger log
| Constructor Detail |
|---|
public PelletReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)
public PelletReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config,
org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)
throws org.semanticweb.owlapi.reasoner.IllegalConfigurationException
ontology -
org.semanticweb.owlapi.reasoner.IllegalConfigurationException| Method Detail |
|---|
public void dispose()
dispose in interface org.semanticweb.owlapi.reasoner.OWLReasonerpublic void flush()
flush in interface org.semanticweb.owlapi.reasoner.OWLReasonerpublic org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getBottomClassNode()
getBottomClassNode in interface org.semanticweb.owlapi.reasoner.OWLReasonerpublic org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getBottomDataPropertyNode()
getBottomDataPropertyNode in interface org.semanticweb.owlapi.reasoner.OWLReasonerpublic org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getBottomObjectPropertyNode()
getBottomObjectPropertyNode in interface org.semanticweb.owlapi.reasoner.OWLReasonerpublic org.semanticweb.owlapi.reasoner.BufferingMode getBufferingMode()
getBufferingMode in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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
getDataPropertyDomains in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
public java.util.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
getDataPropertyValues in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
public java.util.Set<org.semanticweb.owlapi.model.OWLLiteral> getAnnotationPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual ind,
org.semanticweb.owlapi.model.OWLAnnotationProperty pe)
throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
org.semanticweb.owlapi.reasoner.FreshEntitiesException,
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
org.semanticweb.owlapi.reasoner.TimeOutException
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getDifferentIndividuals in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getDisjointClasses(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
getDisjointClasses in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getDisjointDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getDisjointObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getEquivalentClasses in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getEquivalentDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getEquivalentObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutExceptionpublic org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy getIndividualNodeSetPolicy()
getIndividualNodeSetPolicy in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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
getInstances in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getInverseObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutExceptionpublic KnowledgeBase getKB()
public org.semanticweb.owlapi.model.OWLOntologyManager getManager()
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
getObjectPropertyDomains in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getObjectPropertyRanges in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getObjectPropertyValues in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutExceptionpublic java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomAdditions()
getPendingAxiomAdditions in interface org.semanticweb.owlapi.reasoner.OWLReasonerpublic java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomRemovals()
getPendingAxiomRemovals in interface org.semanticweb.owlapi.reasoner.OWLReasonerpublic java.util.List<org.semanticweb.owlapi.model.OWLOntologyChange> getPendingChanges()
getPendingChanges in interface org.semanticweb.owlapi.reasoner.OWLReasonerpublic java.lang.String getReasonerName()
getReasonerName in interface org.semanticweb.owlapi.reasoner.OWLReasonerpublic org.semanticweb.owlapi.util.Version getReasonerVersion()
getReasonerVersion in interface org.semanticweb.owlapi.reasoner.OWLReasonerpublic org.semanticweb.owlapi.model.OWLOntology getRootOntology()
getRootOntology in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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
getSameIndividuals in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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.InconsistentOntologyException,
org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException,
org.semanticweb.owlapi.reasoner.FreshEntitiesException,
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
org.semanticweb.owlapi.reasoner.TimeOutException
getSubClasses in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getSubDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getSubObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getSuperClasses in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getSuperDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getSuperObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutExceptionpublic long getTimeOut()
getTimeOut in interface org.semanticweb.owlapi.reasoner.OWLReasonerpublic org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getTopClassNode()
getTopClassNode in interface org.semanticweb.owlapi.reasoner.OWLReasonerpublic org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getTopDataPropertyNode()
getTopDataPropertyNode in interface org.semanticweb.owlapi.reasoner.OWLReasonerpublic org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getTopObjectPropertyNode()
getTopObjectPropertyNode in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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
getTypes in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutExceptionpublic org.semanticweb.owlapi.reasoner.FreshEntityPolicy getFreshEntityPolicy()
getFreshEntityPolicy in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getUnsatisfiableClasses()
throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
org.semanticweb.owlapi.reasoner.TimeOutException
getUnsatisfiableClasses in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutExceptionpublic void interrupt()
interrupt in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public boolean isConsistent()
throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
org.semanticweb.owlapi.reasoner.TimeOutException
isConsistent in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
isEntailed in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.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
public boolean isEntailed(java.util.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
isEntailed in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.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.InconsistentOntologyExceptionpublic boolean isEntailmentCheckingSupported(org.semanticweb.owlapi.model.AxiomType<?> axiomType)
isEntailmentCheckingSupported in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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
isSatisfiable in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
public void ontologiesChanged(java.util.List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes)
throws org.semanticweb.owlapi.model.OWLException
ontologiesChanged in interface org.semanticweb.owlapi.model.OWLOntologyChangeListenerorg.semanticweb.owlapi.model.OWLExceptionpublic boolean processChanges(java.util.List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes)
changes - the changes to be applied to the reasoner
true if all changes have been processed
successfully, false otherwise (indicates reasoner
will reload the whole ontology next time it needs to do
reasoning)
public void prepareReasoner()
throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
org.semanticweb.owlapi.reasoner.TimeOutException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutExceptionpublic void refresh()
public aterm.ATermAppl term(org.semanticweb.owlapi.model.OWLObject d)
public java.util.Set<org.semanticweb.owlapi.reasoner.InferenceType> getPrecomputableInferenceTypes()
getPrecomputableInferenceTypes in interface org.semanticweb.owlapi.reasoner.OWLReasonerpublic boolean isPrecomputed(org.semanticweb.owlapi.reasoner.InferenceType inferenceType)
isPrecomputed in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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
precomputeInferences in interface org.semanticweb.owlapi.reasoner.OWLReasonerorg.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||