| 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 |
|---|---|
Set<Node<E>> |
NodeSet.getNodes()
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 © 2016 The University of Manchester. All Rights Reserved.