| Package | Description |
|---|---|
| org.semanticweb.owlapi.reasoner |
OWLReasoner package.
|
| org.semanticweb.owlapi.reasoner.knowledgeexploration |
Knowledge exploration package.
|
| Modifier and Type | Method and Description |
|---|---|
Node<OWLClass> |
OWLReasoner.getBottomClassNode()
Gets the
Node corresponding to the bottom node (containing owl:Nothing) in
the class hierarchy. |
Node<OWLDataProperty> |
OWLReasoner.getBottomDataPropertyNode()
Gets the
Node corresponding to the bottom node (containing
owl:bottomDataProperty) in the data property hierarchy. |
Node<OWLObjectPropertyExpression> |
OWLReasoner.getBottomObjectPropertyNode()
Gets the
Node corresponding to the bottom node (containing
owl:bottomObjectProperty) in the object property hierarchy. |
Node<OWLClass> |
OWLReasoner.getEquivalentClasses(OWLClassExpression ce)
Gets the set of named classes that are equivalent to the specified class expression with
respect to the set of reasoner axioms.
|
Node<OWLDataProperty> |
OWLReasoner.getEquivalentDataProperties(OWLDataProperty pe)
Gets the set of named data properties that are equivalent to the specified data property
expression with respect to the imports closure of the root ontology.
|
Node<OWLObjectPropertyExpression> |
OWLReasoner.getEquivalentObjectProperties(OWLObjectPropertyExpression pe)
Gets the set of simplified object property expressions that are equivalent
to the specified object property expression with respect to the set of reasoner axioms.
|
Node<OWLObjectPropertyExpression> |
OWLReasoner.getInverseObjectProperties(OWLObjectPropertyExpression pe)
Gets the set of simplified object property expressions that are the
inverses of the specified object property expression with respect to the imports closure of
the root ontology.
|
Node<OWLNamedIndividual> |
OWLReasoner.getSameIndividuals(OWLNamedIndividual ind)
Gets the individuals that are the same as the specified individual.
|
Node<OWLClass> |
OWLReasoner.getTopClassNode()
Gets the
Node corresponding to the top node (containing owl:Thing) in the
class hierarchy. |
Node<OWLDataProperty> |
OWLReasoner.getTopDataPropertyNode()
Gets the
Node corresponding to the top node (containing owl:topDataProperty)
in the data property hierarchy. |
Node<OWLObjectPropertyExpression> |
OWLReasoner.getTopObjectPropertyNode()
Gets the
Node corresponding to the top node (containing
owl:topObjectProperty) in the object property hierarchy. |
Node<OWLClass> |
OWLReasoner.getUnsatisfiableClasses()
A convenience method that obtains the classes in the signature of the root ontology that are
unsatisfiable.
|
| Modifier and Type | Method and Description |
|---|---|
default Set<Node<E>> |
NodeSet.getNodes()
Deprecated.
use
NodeSet.nodes() |
Stream<Node<E>> |
NodeSet.nodes()
Gets the
Nodes contained in this NodeSet. |
| Modifier and Type | Method and Description |
|---|---|
Node<? extends OWLDataRange> |
OWLKnowledgeExplorerReasoner.getDataLabel(OWLKnowledgeExplorerReasoner.RootNode node,
boolean deterministicOnly) |
Node<OWLDataProperty> |
OWLKnowledgeExplorerReasoner.getDataNeighbours(OWLKnowledgeExplorerReasoner.RootNode node,
boolean deterministicOnly) |
Node<? extends OWLClassExpression> |
OWLKnowledgeExplorerReasoner.getObjectLabel(OWLKnowledgeExplorerReasoner.RootNode node,
boolean deterministicOnly) |
Node<? extends OWLObjectPropertyExpression> |
OWLKnowledgeExplorerReasoner.getObjectNeighbours(OWLKnowledgeExplorerReasoner.RootNode node,
boolean deterministicOnly) |
Copyright © 2018 The University of Manchester. All rights reserved.