Package | Description |
---|---|
org.semanticweb.owlapi.reasoner | |
org.semanticweb.owlapi.reasoner.impl | |
org.semanticweb.owlapi.reasoner.structural |
Modifier and Type | Method and Description |
---|---|
NodeSet<OWLClass> |
OWLReasoner.getDataPropertyDomains(OWLDataProperty pe,
boolean direct)
Gets the named classes that are the direct or indirect domains of this
property with respect to the imports closure of the root ontology.
|
NodeSet<OWLNamedIndividual> |
OWLReasoner.getDifferentIndividuals(OWLNamedIndividual ind)
Gets the individuals which are entailed to be different from the
specified individual.
|
NodeSet<OWLClass> |
OWLReasoner.getDisjointClasses(OWLClassExpression ce)
Gets the classes that are disjoint with the specified class expression
ce . |
NodeSet<OWLDataProperty> |
OWLReasoner.getDisjointDataProperties(OWLDataPropertyExpression pe)
Gets the data properties that are disjoint with the specified data
property expression
pe . |
NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getDisjointObjectProperties(OWLObjectPropertyExpression pe)
Gets the simplified object property expressions that
are disjoint with the specified object property expression
pe . |
NodeSet<OWLNamedIndividual> |
OWLReasoner.getInstances(OWLClassExpression ce,
boolean direct)
Gets the individuals which are instances of the specified class
expression.
|
NodeSet<OWLClass> |
OWLReasoner.getObjectPropertyDomains(OWLObjectPropertyExpression pe,
boolean direct)
Gets the named classes that are the direct or indirect domains of this
property with respect to the imports closure of the root ontology.
|
NodeSet<OWLClass> |
OWLReasoner.getObjectPropertyRanges(OWLObjectPropertyExpression pe,
boolean direct)
Gets the named classes that are the direct or indirect ranges of this
property with respect to the imports closure of the root ontology.
|
NodeSet<OWLNamedIndividual> |
OWLReasoner.getObjectPropertyValues(OWLNamedIndividual ind,
OWLObjectPropertyExpression pe)
Gets the object property values for the specified individual and object
property 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<OWLDataProperty> |
OWLReasoner.getSubDataProperties(OWLDataProperty pe,
boolean direct)
Gets the set of named data properties that are the strict (potentially
direct) subproperties of the specified data property expression with
respect to the imports closure of the root ontology.
|
NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getSubObjectProperties(OWLObjectPropertyExpression pe,
boolean direct)
Gets the set of simplified object property expressions
that are the strict (potentially direct) subproperties of the specified
object property expression with respect to the imports closure of the
root ontology.
|
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.
|
NodeSet<OWLDataProperty> |
OWLReasoner.getSuperDataProperties(OWLDataProperty pe,
boolean direct)
Gets the set of named data properties that are the strict (potentially
direct) super properties of the specified data property with respect to
the imports closure of the root ontology.
|
NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getSuperObjectProperties(OWLObjectPropertyExpression pe,
boolean direct)
Gets the set of simplified object property expressions
that are the strict (potentially direct) super properties of the
specified object property expression with respect to the imports closure
of the root ontology.
|
NodeSet<OWLClass> |
OWLReasoner.getTypes(OWLNamedIndividual ind,
boolean direct)
Gets the named classes which are (potentially direct) types of the
specified named individual.
|
Modifier and Type | Class and Description |
---|---|
class |
DefaultNodeSet<E extends OWLObject> |
class |
OWLClassNodeSet |
class |
OWLDataPropertyNodeSet |
class |
OWLDatatypeNodeSet |
class |
OWLNamedIndividualNodeSet |
class |
OWLObjectPropertyNodeSet |
Copyright © 2017 The University of Manchester. All Rights Reserved.