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 |
---|---|
Set<Node<E>> |
NodeSet.getNodes()
Gets the
Node s 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 |
---|---|
Set<Node<E>> |
DefaultNodeSet.getNodes() |
Iterator<Node<E>> |
DefaultNodeSet.iterator() |
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
Node s 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) |
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 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 © 2020 The University of Manchester. All rights reserved.