| Package | Description |
|---|---|
| org.semanticweb.owlapi.reasoner |
OWLReasoner package.
|
| org.semanticweb.owlapi.reasoner.impl |
OWLReasoner implementation package.
|
| org.semanticweb.owlapi.reasoner.knowledgeexploration |
Knowledge exploration package.
|
| org.semanticweb.owlapi.reasoner.structural |
Structural reasoner implementation 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 | Class and Description |
|---|---|
class |
DefaultNode<E extends OWLObject> |
class |
OWLClassNode |
class |
OWLDataPropertyNode |
class |
OWLDatatypeNode |
class |
OWLNamedIndividualNode |
class |
OWLObjectPropertyNode |
| Modifier and Type | Method and Description |
|---|---|
Iterator<Node<E>> |
DefaultNodeSet.iterator() |
Stream<Node<E>> |
DefaultNodeSet.nodes() |
| Modifier and Type | Method and Description |
|---|---|
void |
DefaultNodeSet.addNode(Node<E> node)
Adds a
Node to this set. |
| Modifier and Type | Method and Description |
|---|---|
void |
DefaultNodeSet.addAllNodes(Collection<Node<E>> nodeset)
Adds a collection of
Nodes to this set. |
void |
DefaultNodeSet.addAllNodes(Stream<Node<E>> nodeset)
Adds a collection of
Nodes to this set. |
| Constructor and Description |
|---|
DefaultNodeSet(Node<E> node) |
OWLClassNodeSet(Node<OWLClass> owlClassNode) |
OWLDataPropertyNodeSet(Node<OWLDataProperty> owlDataPropertyNode) |
OWLDatatypeNodeSet(Node<OWLDatatype> owlDatatypeNode) |
OWLNamedIndividualNodeSet(Node<OWLNamedIndividual> owlNamedIndividualNode) |
OWLObjectPropertyNodeSet(Node<OWLObjectPropertyExpression> owlObjectPropertyNode) |
| Constructor and Description |
|---|
DefaultNodeSet(Set<Node<E>> nodes) |
DefaultNodeSet(Stream<Node<E>> nodes) |
OWLClassNodeSet(Set<Node<OWLClass>> nodes) |
OWLClassNodeSet(Stream<Node<OWLClass>> nodes) |
OWLDataPropertyNodeSet(Set<Node<OWLDataProperty>> nodes) |
OWLDataPropertyNodeSet(Stream<Node<OWLDataProperty>> nodes) |
OWLDatatypeNodeSet(Set<Node<OWLDatatype>> nodes) |
OWLDatatypeNodeSet(Stream<Node<OWLDatatype>> nodes) |
OWLNamedIndividualNodeSet(Set<Node<OWLNamedIndividual>> nodes) |
OWLNamedIndividualNodeSet(Stream<Node<OWLNamedIndividual>> nodes) |
OWLObjectPropertyNodeSet(Set<Node<OWLObjectPropertyExpression>> nodes) |
OWLObjectPropertyNodeSet(Stream<Node<OWLObjectPropertyExpression>> nodes) |
| 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 © 2017 The University of Manchester. All rights reserved.