org.semanticweb.owlapi.reasoner.knowledgeexploration

Interface OWLKnowledgeExplorerReasoner

All Superinterfaces:

OWLReasoner

public interface OWLKnowledgeExplorerReasoner
extends OWLReasoner

Extension of OWLReasoner to allow access to reasoner completion graph.

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	OWLKnowledgeExplorerReasoner.RootNode Interface for a tableaux node.

Method Summary

Modifier and Type	Method and Description
OWLKnowledgeExplorerReasoner.RootNode	getBlocker(OWLKnowledgeExplorerReasoner.RootNode node)
Node<? extends OWLDataRange>	getDataLabel(OWLKnowledgeExplorerReasoner.RootNode node, boolean deterministicOnly)
Node<OWLDataProperty>	getDataNeighbours(OWLKnowledgeExplorerReasoner.RootNode node, boolean deterministicOnly)
Collection<OWLKnowledgeExplorerReasoner.RootNode>	getDataNeighbours(OWLKnowledgeExplorerReasoner.RootNode node, OWLDataProperty property)
Node<? extends OWLClassExpression>	getObjectLabel(OWLKnowledgeExplorerReasoner.RootNode node, boolean deterministicOnly)
Node<? extends OWLObjectPropertyExpression>	getObjectNeighbours(OWLKnowledgeExplorerReasoner.RootNode node, boolean deterministicOnly)
Collection<OWLKnowledgeExplorerReasoner.RootNode>	getObjectNeighbours(OWLKnowledgeExplorerReasoner.RootNode node, OWLObjectProperty property)
OWLKnowledgeExplorerReasoner.RootNode	getRoot(OWLClassExpression expression)

Methods inherited from interface org.semanticweb.owlapi.reasoner.OWLReasoner

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

Method Detail

getRoot

OWLKnowledgeExplorerReasoner.RootNode getRoot(OWLClassExpression expression)

Parameters:

expression - the expression of which the completion tree is to be computed

Returns:

compute and return the root node of the completion tree for the expression

getObjectNeighbours

Node<? extends OWLObjectPropertyExpression> getObjectNeighbours(OWLKnowledgeExplorerReasoner.RootNode node,
                                                                boolean deterministicOnly)

Parameters:

node - a node, as returned by either getRoot() or getObjectNeighbours()

deterministicOnly - true if only deterministic results should be returned

Returns:

neighbors by object property

getDataNeighbours

Node<OWLDataProperty> getDataNeighbours(OWLKnowledgeExplorerReasoner.RootNode node,
                                        boolean deterministicOnly)

Parameters:

node - a node, as returned by either getRoot() or getObjectNeighbours()

deterministicOnly - true if only deterministic results should be returned

Returns:

neighbors by data property

getObjectNeighbours

Collection<OWLKnowledgeExplorerReasoner.RootNode> getObjectNeighbours(OWLKnowledgeExplorerReasoner.RootNode node,
                                                                      OWLObjectProperty property)

Parameters:

node - a node, as returned by either getRoot() or getObjectNeighbours()

property - the property being followed

Returns:

neighbors by object property

getDataNeighbours

Collection<OWLKnowledgeExplorerReasoner.RootNode> getDataNeighbours(OWLKnowledgeExplorerReasoner.RootNode node,
                                                                    OWLDataProperty property)

Parameters:

node - a node, as returned by either getRoot() or getObjectNeighbours()

property - the property being followed

Returns:

neighbors by data property

getObjectLabel

Node<? extends OWLClassExpression> getObjectLabel(OWLKnowledgeExplorerReasoner.RootNode node,
                                                  boolean deterministicOnly)

Parameters:

node - a node, as returned by either getRoot() or getObjectNeighbours()

deterministicOnly - true if only deterministic results should be returned

Returns:

neighbors label by object property

getDataLabel

Node<? extends OWLDataRange> getDataLabel(OWLKnowledgeExplorerReasoner.RootNode node,
                                          boolean deterministicOnly)

Parameters:

node - a node, as returned by getDataNeighbours()

deterministicOnly - true if only deterministic results should be returned

Returns:

neighbors label by data property

getBlocker

OWLKnowledgeExplorerReasoner.RootNode getBlocker(OWLKnowledgeExplorerReasoner.RootNode node)

Parameters:

node - a node, as return by either getRoot() or getObjectNeighbours()

Returns:

a node that blocks given node, or null if there is no such blocker