public class JcelReasoner extends Object implements org.semanticweb.owlapi.reasoner.OWLReasoner, org.semanticweb.owlapi.model.OWLOntologyChangeListener
Constructor and Description |
---|
JcelReasoner(org.semanticweb.owlapi.model.OWLOntology rootOntology,
boolean buffering)
Constructs a new jcel reasoner.
|
JcelReasoner(org.semanticweb.owlapi.model.OWLOntology rootOntology,
boolean buffering,
org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration configuration)
Constructs a new jcel reasoner.
|
Modifier and Type | Method and Description |
---|---|
boolean |
addAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom) |
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 dataProperty,
boolean direct) |
Set<org.semanticweb.owlapi.model.OWLLiteral> |
getDataPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual individual,
org.semanticweb.owlapi.model.OWLDataProperty dataProperty) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> |
getDifferentIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual individual) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> |
getDisjointClasses(org.semanticweb.owlapi.model.OWLClassExpression classExpression) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> |
getDisjointDataProperties(org.semanticweb.owlapi.model.OWLDataPropertyExpression dataPropertyExpression) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> |
getDisjointObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression) |
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> |
getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression classExpression) |
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> |
getEquivalentDataProperties(org.semanticweb.owlapi.model.OWLDataProperty dataProperty) |
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> |
getEquivalentObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression) |
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 classExpression,
boolean direct) |
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> |
getInverseObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> |
getObjectPropertyDomains(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression,
boolean direct) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> |
getObjectPropertyRanges(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression,
boolean direct) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> |
getObjectPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual individual,
org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression) |
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() |
IntegerReasoner |
getReasoner() |
org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration |
getReasonerConfiguration() |
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 individual) |
Date |
getStartTime() |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> |
getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression classExpression,
boolean direct) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> |
getSubDataProperties(org.semanticweb.owlapi.model.OWLDataProperty dataProperty,
boolean direct) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> |
getSubObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression,
boolean direct) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> |
getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression classExpression,
boolean direct) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> |
getSuperDataProperties(org.semanticweb.owlapi.model.OWLDataProperty dataProperty,
boolean direct) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> |
getSuperObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression,
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() |
Translator |
getTranslator() |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> |
getTypes(org.semanticweb.owlapi.model.OWLNamedIndividual individual,
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(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axiomSet) |
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(List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes) |
void |
precomputeInferences(org.semanticweb.owlapi.reasoner.InferenceType... inferenceTypes) |
boolean |
removeAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom) |
public JcelReasoner(org.semanticweb.owlapi.model.OWLOntology rootOntology, boolean buffering)
rootOntology
- root ontologybuffering
- true
if and only if the reasoner is bufferingpublic JcelReasoner(org.semanticweb.owlapi.model.OWLOntology rootOntology, boolean buffering, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration configuration)
rootOntology
- root ontologybuffering
- true
if and only if the reasoner is bufferingconfiguration
- reasoner configurationpublic boolean addAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)
public void dispose()
dispose
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public void flush()
flush
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getBottomClassNode()
getBottomClassNode
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getBottomDataPropertyNode()
getBottomDataPropertyNode
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getBottomObjectPropertyNode()
getBottomObjectPropertyNode
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public 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 dataProperty, 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.OWLReasoner
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
public Set<org.semanticweb.owlapi.model.OWLLiteral> getDataPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual individual, org.semanticweb.owlapi.model.OWLDataProperty dataProperty) 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.OWLReasoner
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 individual) 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.OWLReasoner
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.OWLClass> getDisjointClasses(org.semanticweb.owlapi.model.OWLClassExpression classExpression) throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException, org.semanticweb.owlapi.reasoner.TimeOutException, org.semanticweb.owlapi.reasoner.FreshEntitiesException, org.semanticweb.owlapi.reasoner.InconsistentOntologyException
getDisjointClasses
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getDisjointDataProperties(org.semanticweb.owlapi.model.OWLDataPropertyExpression dataPropertyExpression) 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.OWLReasoner
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.OWLObjectPropertyExpression> getDisjointObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression) 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.OWLReasoner
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.Node<org.semanticweb.owlapi.model.OWLClass> getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression classExpression)
getEquivalentClasses
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getEquivalentDataProperties(org.semanticweb.owlapi.model.OWLDataProperty dataProperty) 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.OWLReasoner
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.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getEquivalentObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression) 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.OWLReasoner
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.FreshEntityPolicy getFreshEntityPolicy()
getFreshEntityPolicy
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public 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 classExpression, 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.OWLReasoner
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
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getInverseObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression) 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.OWLReasoner
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.OWLClass> getObjectPropertyDomains(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression, 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.OWLReasoner
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.OWLClass> getObjectPropertyRanges(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression, 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.OWLReasoner
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> getObjectPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual individual, org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression) 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.OWLReasoner
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
public Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomAdditions()
getPendingAxiomAdditions
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomRemovals()
getPendingAxiomRemovals
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public List<org.semanticweb.owlapi.model.OWLOntologyChange> getPendingChanges()
getPendingChanges
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public Set<org.semanticweb.owlapi.reasoner.InferenceType> getPrecomputableInferenceTypes()
getPrecomputableInferenceTypes
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public IntegerReasoner getReasoner()
public org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration getReasonerConfiguration()
public String getReasonerName()
getReasonerName
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public org.semanticweb.owlapi.util.Version getReasonerVersion()
getReasonerVersion
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public 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 individual) 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.OWLReasoner
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
public Date getStartTime()
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression classExpression, boolean direct)
getSubClasses
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getSubDataProperties(org.semanticweb.owlapi.model.OWLDataProperty dataProperty, 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.OWLReasoner
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.OWLObjectPropertyExpression> getSubObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression, 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.OWLReasoner
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.OWLClass> getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression classExpression, 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.OWLReasoner
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
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getSuperDataProperties(org.semanticweb.owlapi.model.OWLDataProperty dataProperty, 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.OWLReasoner
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.OWLObjectPropertyExpression> getSuperObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression, 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.OWLReasoner
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
public long getTimeOut()
getTimeOut
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getTopClassNode()
getTopClassNode
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getTopDataPropertyNode()
getTopDataPropertyNode
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getTopObjectPropertyNode()
getTopObjectPropertyNode
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public Translator getTranslator()
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getTypes(org.semanticweb.owlapi.model.OWLNamedIndividual individual, 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.OWLReasoner
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.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.OWLReasoner
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
public 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.OWLReasoner
org.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
isEntailed
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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
public boolean isEntailed(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axiomSet) 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
isEntailed
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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
public boolean isEntailmentCheckingSupported(org.semanticweb.owlapi.model.AxiomType<?> axiomType)
isEntailmentCheckingSupported
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public boolean isPrecomputed(org.semanticweb.owlapi.reasoner.InferenceType inferenceType)
isPrecomputed
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public boolean isSatisfiable(org.semanticweb.owlapi.model.OWLClassExpression classExpression)
isSatisfiable
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public void ontologiesChanged(List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes) throws org.semanticweb.owlapi.model.OWLException
ontologiesChanged
in interface org.semanticweb.owlapi.model.OWLOntologyChangeListener
org.semanticweb.owlapi.model.OWLException
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.OWLReasoner
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
public boolean removeAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.