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 | 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 | Description |
---|---|---|
Set<Node<E>> |
NodeSet.getNodes() |
Gets the
Node s contained in this NodeSet . |
Modifier and Type | Class | Description |
---|---|---|
class |
DefaultNode<E extends OWLObject> |
|
class |
OWLClassNode |
|
class |
OWLDataPropertyNode |
|
class |
OWLDatatypeNode |
|
class |
OWLNamedIndividualNode |
|
class |
OWLObjectPropertyNode |
Modifier and Type | Method | Description |
---|---|---|
Set<Node<E>> |
DefaultNodeSet.getNodes() |
|
Iterator<Node<E>> |
DefaultNodeSet.iterator() |
Modifier and Type | Method | Description |
---|---|---|
void |
DefaultNodeSet.addNode(Node<E> node) |
Adds a
Node to this set. |
Modifier and Type | Method | Description |
---|---|---|
void |
DefaultNodeSet.addAllNodes(Collection<Node<E>> nodeset) |
Adds a collection of
Node s to this set. |
Constructor | 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 | Description |
---|---|
DefaultNodeSet(Set<Node<E>> nodes) |
|
OWLClassNodeSet(Set<Node<OWLClass>> nodes) |
|
OWLDataPropertyNodeSet(Set<Node<OWLDataProperty>> nodes) |
|
OWLDatatypeNodeSet(Set<Node<OWLDatatype>> nodes) |
|
OWLNamedIndividualNodeSet(Set<Node<OWLNamedIndividual>> nodes) |
|
OWLObjectPropertyNodeSet(Set<Node<OWLObjectPropertyExpression>> nodes) |
Modifier and Type | Method | 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.