public class StructuralReasonerExtended extends org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase
Constructor and Description |
---|
StructuralReasonerExtended(org.semanticweb.owlapi.model.OWLOntology rootOntology,
org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration configuration,
org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode) |
Modifier and Type | Method and Description |
---|---|
void |
dumpClassHierarchy(boolean showBottomNode) |
void |
dumpDataPropertyHierarchy(boolean showBottomNode) |
void |
dumpObjectPropertyHierarchy(boolean showBottomNode) |
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> |
getBottomClassNode() |
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> |
getBottomDataPropertyNode() |
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> |
getBottomObjectPropertyNode() |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> |
getDataPropertyDomains(org.semanticweb.owlapi.model.OWLDataProperty pe,
boolean direct) |
Set<org.semanticweb.owlapi.model.OWLLiteral> |
getDataPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual ind,
org.semanticweb.owlapi.model.OWLDataProperty pe) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> |
getDifferentIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual ind) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> |
getDisjointClasses(org.semanticweb.owlapi.model.OWLClassExpression ce) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> |
getDisjointDataProperties(org.semanticweb.owlapi.model.OWLDataPropertyExpression pe) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> |
getDisjointObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe) |
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> |
getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression ce) |
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> |
getEquivalentDataProperties(org.semanticweb.owlapi.model.OWLDataProperty pe) |
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> |
getEquivalentObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe) |
org.semanticweb.owlapi.reasoner.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.reasoner.InferenceType> |
getPrecomputableInferenceTypes() |
String |
getReasonerName() |
org.semanticweb.owlapi.util.Version |
getReasonerVersion() |
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLNamedIndividual> |
getSameIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual ind) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> |
getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression ce,
boolean direct) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> |
getSubDataProperties(org.semanticweb.owlapi.model.OWLDataProperty pe,
boolean direct) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> |
getSubObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe,
boolean direct) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> |
getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression ce,
boolean direct) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> |
getSuperDataProperties(org.semanticweb.owlapi.model.OWLDataProperty pe,
boolean direct) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> |
getSuperObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe,
boolean direct) |
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> |
getTopClassNode() |
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> |
getTopDataPropertyNode() |
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> |
getTopObjectPropertyNode() |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> |
getTypes(org.semanticweb.owlapi.model.OWLNamedIndividual ind,
boolean direct) |
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> |
getUnsatisfiableClasses() |
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) |
static void |
main(String[] args) |
void |
precomputeInferences(org.semanticweb.owlapi.reasoner.InferenceType... inferenceTypes) |
void |
prepareReasoner() |
public StructuralReasonerExtended(org.semanticweb.owlapi.model.OWLOntology rootOntology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration configuration, org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)
rootOntology
- the ontologyconfiguration
- the reasoner configurationbufferingMode
- the buffering mode@Nonnull public String getReasonerName()
@Nonnull public org.semanticweb.owlapi.reasoner.FreshEntityPolicy getFreshEntityPolicy()
getFreshEntityPolicy
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
getFreshEntityPolicy
in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase
@Nonnull public org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy getIndividualNodeSetPolicy()
getIndividualNodeSetPolicy
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
getIndividualNodeSetPolicy
in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase
@Nonnull public org.semanticweb.owlapi.util.Version getReasonerVersion()
public void interrupt()
public void prepareReasoner() throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException, org.semanticweb.owlapi.reasoner.TimeOutException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
- on interruptionorg.semanticweb.owlapi.reasoner.TimeOutException
- on timeoutpublic void precomputeInferences(@Nonnull org.semanticweb.owlapi.reasoner.InferenceType... inferenceTypes) throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException, org.semanticweb.owlapi.reasoner.TimeOutException, org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
public boolean isPrecomputed(@Nonnull org.semanticweb.owlapi.reasoner.InferenceType inferenceType)
@Nonnull public Set<org.semanticweb.owlapi.reasoner.InferenceType> getPrecomputableInferenceTypes()
public boolean isConsistent() throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException, org.semanticweb.owlapi.reasoner.TimeOutException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
public boolean isSatisfiable(@Nonnull 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
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
@Nonnull 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.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
public boolean isEntailed(@Nonnull 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
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
public boolean isEntailed(@Nonnull 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
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
public boolean isEntailmentCheckingSupported(@Nonnull org.semanticweb.owlapi.model.AxiomType<?> axiomType)
@Nonnull public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getTopClassNode()
@Nonnull public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getBottomClassNode()
@Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getSubClasses(@Nonnull 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
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
@Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getSuperClasses(@Nonnull 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
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
@Nonnull public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getEquivalentClasses(@Nonnull 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
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
@Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getDisjointClasses(@Nonnull org.semanticweb.owlapi.model.OWLClassExpression ce)
@Nonnull public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getTopObjectPropertyNode()
@Nonnull public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getBottomObjectPropertyNode()
@Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getSubObjectProperties(@Nonnull 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
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
@Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getSuperObjectProperties(@Nonnull 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
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
@Nonnull public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getEquivalentObjectProperties(@Nonnull 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
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
@Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getDisjointObjectProperties(@Nonnull 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
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
@Nonnull public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getInverseObjectProperties(@Nonnull 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
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
@Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getObjectPropertyDomains(@Nonnull 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
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
@Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getObjectPropertyRanges(@Nonnull 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
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
@Nonnull public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getTopDataPropertyNode()
@Nonnull public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getBottomDataPropertyNode()
@Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getSubDataProperties(@Nonnull 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
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
@Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getSuperDataProperties(@Nonnull 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
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
@Nonnull public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getEquivalentDataProperties(@Nonnull 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
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
@Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getDisjointDataProperties(@Nonnull 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
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
@Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getDataPropertyDomains(@Nonnull 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
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
@Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getTypes(@Nonnull 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
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
@Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getInstances(@Nonnull 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
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
@Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getObjectPropertyValues(@Nonnull org.semanticweb.owlapi.model.OWLNamedIndividual ind, @Nonnull 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
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
@Nonnull public Set<org.semanticweb.owlapi.model.OWLLiteral> getDataPropertyValues(@Nonnull org.semanticweb.owlapi.model.OWLNamedIndividual ind, @Nonnull 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
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
@Nonnull public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLNamedIndividual> getSameIndividuals(@Nonnull 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
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
@Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getDifferentIndividuals(@Nonnull 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
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
public void dumpClassHierarchy(boolean showBottomNode)
showBottomNode
- true if bottom node is to be showedpublic void dumpObjectPropertyHierarchy(boolean showBottomNode)
showBottomNode
- true if bottom node is to be showedpublic void dumpDataPropertyHierarchy(boolean showBottomNode)
showBottomNode
- true if bottom node is to be showed DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann