public interface OWLKnowledgeExplorerReasoner extends OWLReasoner
Modifier and Type | Interface and Description |
---|---|
static interface |
OWLKnowledgeExplorerReasoner.RootNode
Interface for a tableaux node.
|
dispose, flush, getBottomClassNode, getBottomDataPropertyNode, getBottomObjectPropertyNode, getBufferingMode, getDataPropertyDomains, getDataPropertyValues, getDifferentIndividuals, getDisjointClasses, getDisjointDataProperties, getDisjointObjectProperties, getEquivalentClasses, getEquivalentDataProperties, getEquivalentObjectProperties, getFreshEntityPolicy, getIndividualNodeSetPolicy, getInstances, getInverseObjectProperties, getObjectPropertyDomains, getObjectPropertyRanges, getObjectPropertyValues, getPendingAxiomAdditions, getPendingAxiomRemovals, getPendingChanges, getPrecomputableInferenceTypes, getReasonerName, getReasonerVersion, getRootOntology, getSameIndividuals, getSubClasses, getSubDataProperties, getSubObjectProperties, getSuperClasses, getSuperDataProperties, getSuperObjectProperties, getTimeOut, getTopClassNode, getTopDataPropertyNode, getTopObjectPropertyNode, getTypes, getUnsatisfiableClasses, interrupt, isConsistent, isEntailed, isEntailed, isEntailmentCheckingSupported, isPrecomputed, isSatisfiable, precomputeInferences
OWLKnowledgeExplorerReasoner.RootNode getRoot(OWLClassExpression expression)
expression
- the expression of which the completion tree is to be computedNode<? extends OWLObjectPropertyExpression> getObjectNeighbours(OWLKnowledgeExplorerReasoner.RootNode node, boolean deterministicOnly)
node
- a node, as returned by either getRoot(OWLClassExpression)
or
getObjectNeighbours(RootNode, OWLObjectProperty)
deterministicOnly
- true if only deterministic results should be returnedNode<OWLDataProperty> getDataNeighbours(OWLKnowledgeExplorerReasoner.RootNode node, boolean deterministicOnly)
node
- a node, as returned by either getRoot(OWLClassExpression)
or
getObjectNeighbours(RootNode, OWLObjectProperty)
deterministicOnly
- true if only deterministic results should be returnedCollection<OWLKnowledgeExplorerReasoner.RootNode> getObjectNeighbours(OWLKnowledgeExplorerReasoner.RootNode node, OWLObjectProperty property)
node
- a node, as returned by either getRoot(OWLClassExpression)
or
getObjectNeighbours(RootNode, boolean)
property
- the property being followedCollection<OWLKnowledgeExplorerReasoner.RootNode> getDataNeighbours(OWLKnowledgeExplorerReasoner.RootNode node, OWLDataProperty property)
node
- a node, as returned by either getRoot(OWLClassExpression)
or
getObjectNeighbours(RootNode, boolean)
property
- the property being followedNode<? extends OWLClassExpression> getObjectLabel(OWLKnowledgeExplorerReasoner.RootNode node, boolean deterministicOnly)
node
- a node, as returned by either getRoot(OWLClassExpression)
or
getObjectNeighbours(RootNode, OWLObjectProperty)
deterministicOnly
- true if only deterministic results should be returnedNode<? extends OWLDataRange> getDataLabel(OWLKnowledgeExplorerReasoner.RootNode node, boolean deterministicOnly)
node
- a node, as returned by getDataNeighbours(RootNode, boolean)
deterministicOnly
- true if only deterministic results should be returnedOWLKnowledgeExplorerReasoner.RootNode getBlocker(OWLKnowledgeExplorerReasoner.RootNode node)
node
- a node, as return by either getRoot(OWLClassExpression)
or
getObjectNeighbours(RootNode, OWLObjectProperty)
Copyright © 2020 The University of Manchester. All rights reserved.