Package | Description |
---|---|
org.semanticweb.owlapi.reasoner |
OWLReasoner package.
|
org.semanticweb.owlapi.reasoner.impl |
OWLReasoner implementation package.
|
org.semanticweb.owlapi.reasoner.structural |
Structural reasoner implementation package.
|
Modifier and Type | Method and Description |
---|---|
default NodeSet<OWLClass> |
OWLReasoner.getDataPropertyDomains(OWLDataProperty pe) |
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.
|
default NodeSet<OWLClass> |
OWLReasoner.getDataPropertyDomains(OWLDataProperty pe,
InferenceDepth depth) |
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 . |
default NodeSet<OWLNamedIndividual> |
OWLReasoner.getInstances(OWLClassExpression ce) |
NodeSet<OWLNamedIndividual> |
OWLReasoner.getInstances(OWLClassExpression ce,
boolean direct)
Gets the individuals which are instances of the specified class expression.
|
default NodeSet<OWLNamedIndividual> |
OWLReasoner.getInstances(OWLClassExpression ce,
InferenceDepth depth) |
default NodeSet<OWLClass> |
OWLReasoner.getObjectPropertyDomains(OWLObjectPropertyExpression pe) |
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.
|
default NodeSet<OWLClass> |
OWLReasoner.getObjectPropertyDomains(OWLObjectPropertyExpression pe,
InferenceDepth depth) |
default NodeSet<OWLClass> |
OWLReasoner.getObjectPropertyRanges(OWLObjectPropertyExpression pe) |
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.
|
default NodeSet<OWLClass> |
OWLReasoner.getObjectPropertyRanges(OWLObjectPropertyExpression pe,
InferenceDepth depth) |
NodeSet<OWLNamedIndividual> |
OWLReasoner.getObjectPropertyValues(OWLNamedIndividual ind,
OWLObjectPropertyExpression pe)
Gets the object property values for the specified individual and object property expression.
|
default NodeSet<OWLClass> |
OWLReasoner.getSubClasses(OWLClassExpression ce)
Returns all subclasses.
|
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.
|
default NodeSet<OWLClass> |
OWLReasoner.getSubClasses(OWLClassExpression ce,
InferenceDepth depth) |
default NodeSet<OWLDataProperty> |
OWLReasoner.getSubDataProperties(OWLDataProperty pe) |
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.
|
default NodeSet<OWLDataProperty> |
OWLReasoner.getSubDataProperties(OWLDataProperty pe,
InferenceDepth depth) |
default NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getSubObjectProperties(OWLObjectPropertyExpression pe) |
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.
|
default NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getSubObjectProperties(OWLObjectPropertyExpression pe,
InferenceDepth depth) |
default NodeSet<OWLClass> |
OWLReasoner.getSuperClasses(OWLClassExpression ce) |
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.
|
default NodeSet<OWLClass> |
OWLReasoner.getSuperClasses(OWLClassExpression ce,
InferenceDepth depth) |
default NodeSet<OWLDataProperty> |
OWLReasoner.getSuperDataProperties(OWLDataProperty pe) |
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.
|
default NodeSet<OWLDataProperty> |
OWLReasoner.getSuperDataProperties(OWLDataProperty pe,
InferenceDepth depth) |
default NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getSuperObjectProperties(OWLObjectPropertyExpression pe) |
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.
|
default NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getSuperObjectProperties(OWLObjectPropertyExpression pe,
InferenceDepth depth) |
default NodeSet<OWLClass> |
OWLReasoner.getTypes(OWLNamedIndividual ind) |
NodeSet<OWLClass> |
OWLReasoner.getTypes(OWLNamedIndividual ind,
boolean direct)
Gets the named classes which are (potentially direct) types of the specified named
individual.
|
default NodeSet<OWLClass> |
OWLReasoner.getTypes(OWLNamedIndividual ind,
InferenceDepth depth) |
Modifier and Type | Method and Description |
---|---|
abstract Stream<OWLNamedIndividual> |
IndividualNodeSetPolicy.filter(NodeSet<OWLNamedIndividual> nodes) |
Modifier and Type | Class and Description |
---|---|
class |
DefaultNodeSet<E extends OWLObject> |
class |
OWLClassNodeSet
A node set of OWL classes.
|
class |
OWLDataPropertyNodeSet |
class |
OWLDatatypeNodeSet |
class |
OWLNamedIndividualNodeSet |
class |
OWLObjectPropertyNodeSet |
Copyright © 2020 The University of Manchester. All rights reserved.