Package | Description |
---|---|
org.semanticweb.owlapi.reasoner | |
org.semanticweb.owlapi.reasoner.structural |
Modifier and Type | Method and Description |
---|---|
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.
|
NodeSet<OWLNamedIndividual> |
OWLReasoner.getInstances(OWLClassExpression ce,
boolean direct)
Gets the individuals which are instances of the specified class
expression.
|
NodeSet<OWLClass> |
OWLReasoner.getSubClasses(OWLClassExpression ce,
boolean direct)
Gets the set of named classes that are the strict (potentially direct)
subclasses of the specified class expression with respect to the reasoner
axioms.
|
NodeSet<OWLClass> |
OWLReasoner.getSuperClasses(OWLClassExpression ce,
boolean direct)
Gets the set of named classes that are the strict (potentially direct)
super classes of the specified class expression with respect to the
imports closure of the root ontology.
|
boolean |
OWLReasoner.isSatisfiable(OWLClassExpression classExpression)
A convenience method that determines if the specified class expression is
satisfiable with respect to the reasoner axioms.
|
Modifier and Type | Method and Description |
---|---|
Node<OWLClass> |
StructuralReasoner.getEquivalentClasses(OWLClassExpression ce) |
NodeSet<OWLNamedIndividual> |
StructuralReasoner.getInstances(OWLClassExpression ce,
boolean direct) |
NodeSet<OWLClass> |
StructuralReasoner.getSubClasses(OWLClassExpression ce,
boolean direct) |
NodeSet<OWLClass> |
StructuralReasoner.getSuperClasses(OWLClassExpression ce,
boolean direct) |
boolean |
StructuralReasoner.isSatisfiable(OWLClassExpression classExpression) |
Copyright © 2017 The University of Manchester. All Rights Reserved.