| Package | Description |
|---|---|
| org.semanticweb.owlapi.expression |
Expression parsers package.
|
| org.semanticweb.owlapi.model |
Main API classes.
|
| org.semanticweb.owlapi.model.providers |
Provider interfaces.
|
| org.semanticweb.owlapi.profiles.violations |
Violation classes.
|
| org.semanticweb.owlapi.reasoner |
OWLReasoner package.
|
| org.semanticweb.owlapi.util |
Utilities package.
|
| org.semanticweb.owlapitools.builders |
Builders package.
|
| Modifier and Type | Method and Description |
|---|---|
OWLNamedIndividual |
OWLEntityChecker.getOWLIndividual(String name) |
OWLNamedIndividual |
ShortFormEntityChecker.getOWLIndividual(String name) |
| Modifier and Type | Field and Description |
|---|---|
static EntityType<OWLNamedIndividual> |
EntityType.NAMED_INDIVIDUAL
Named individual entity.
|
| Modifier and Type | Method and Description |
|---|---|
default OWLNamedIndividual |
AsOWLNamedIndividual.asOWLNamedIndividual()
A convenience method that obtains this entity as an OWLNamedIndividual
(in order to avoid explicit casting).
|
| Modifier and Type | Method and Description |
|---|---|
default Set<OWLNamedIndividual> |
HasIndividualsInSignature.getIndividualsInSignature()
Deprecated.
use the stream method
|
default Set<OWLNamedIndividual> |
OWLSignatureBooleanArgs.getIndividualsInSignature(boolean includeImportsClosure)
Deprecated.
use the stream method
|
default Set<OWLNamedIndividual> |
OWLSignature.getIndividualsInSignature(Imports includeImportsClosure)
Deprecated.
use the stream method
|
default Stream<OWLNamedIndividual> |
HasIndividualsInSignature.individualsInSignature() |
default Stream<OWLNamedIndividual> |
OWLSignature.individualsInSignature(Imports imports)
Gets the named individuals in the signature and optionally the imports closure.
|
| Modifier and Type | Method and Description |
|---|---|
default O |
OWLIndividualEntityVisitorExBase.visit(OWLNamedIndividual individual)
visit OWLNamedIndividual type
|
default void |
OWLIndividualEntityVisitorBase.visit(OWLNamedIndividual individual)
visit OWLNamedIndividual type
|
| Modifier and Type | Method and Description |
|---|---|
default OWLNamedIndividual |
NamedIndividualProvider.getOWLNamedIndividual(HasIRI iri)
Gets an instance of
OWLNamedIndividual with the same IRI as the
input. |
OWLNamedIndividual |
NamedIndividualProvider.getOWLNamedIndividual(IRI iri)
Gets an instance of
OWLNamedIndividual that has the specified
IRI. |
default OWLNamedIndividual |
NamedIndividualProvider.getOWLNamedIndividual(String iri)
Gets an instance of
OWLNamedIndividual that has the specified
IRI. |
default OWLNamedIndividual |
NamedIndividualProvider.getOWLNamedIndividual(String abbreviatedIRI,
PrefixManager prefixManager)
Gets an OWLNamedIndividual that has an IRI that is obtained by expanding
an abbreviated name using an appropriate prefix mapping.
|
default OWLNamedIndividual |
NamedIndividualProvider.getOWLNamedIndividual(String namespace,
String remainder)
Gets an instance of
OWLNamedIndividual that has the specified
IRI. |
| Modifier and Type | Method and Description |
|---|---|
OWLNamedIndividual |
UseOfReservedVocabularyForIndividualIRI.getExpression() |
| Constructor and Description |
|---|
UseOfReservedVocabularyForIndividualIRI(OWLOntology ontology,
OWLAxiom axiom,
OWLNamedIndividual ind) |
| Modifier and Type | Method and Description |
|---|---|
default Stream<OWLNamedIndividual> |
OWLReasoner.differentIndividuals(OWLNamedIndividual ind)
Gets the individuals which are entailed to be different from the specified individual.
|
abstract Stream<OWLNamedIndividual> |
IndividualNodeSetPolicy.filter(NodeSet<OWLNamedIndividual> nodes) |
NodeSet<OWLNamedIndividual> |
OWLReasoner.getDifferentIndividuals(OWLNamedIndividual ind)
Gets the individuals which are entailed to be different from the specified individual.
|
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) |
NodeSet<OWLNamedIndividual> |
OWLReasoner.getObjectPropertyValues(OWLNamedIndividual ind,
OWLObjectPropertyExpression pe)
Gets the object property values for the specified individual and object property expression.
|
Node<OWLNamedIndividual> |
OWLReasoner.getSameIndividuals(OWLNamedIndividual ind)
Gets the individuals that are the same as the specified individual.
|
default Stream<OWLNamedIndividual> |
OWLReasoner.instances(OWLClassExpression ce) |
default Stream<OWLNamedIndividual> |
OWLReasoner.instances(OWLClassExpression ce,
boolean direct)
Gets the individuals which are instances of the specified class expression.
|
default Stream<OWLNamedIndividual> |
OWLReasoner.instances(OWLClassExpression ce,
InferenceDepth depth) |
default Stream<OWLNamedIndividual> |
OWLReasoner.objectPropertyValues(OWLNamedIndividual ind,
OWLObjectPropertyExpression pe)
Gets the object property values for the specified individual and object property expression.
|
default Stream<OWLNamedIndividual> |
OWLReasoner.representativeInstances(OWLClassExpression ce) |
default Stream<OWLNamedIndividual> |
OWLReasoner.representativeInstances(OWLClassExpression ce,
boolean direct)
Gets the individuals which are instances of the specified class expression.
|
default Stream<OWLNamedIndividual> |
OWLReasoner.representativeInstances(OWLClassExpression ce,
InferenceDepth depth) |
default Stream<OWLNamedIndividual> |
OWLReasoner.sameIndividuals(OWLNamedIndividual ind)
Gets the individuals that are the same as the specified individual.
|
| Modifier and Type | Method and Description |
|---|---|
default Stream<OWLLiteral> |
OWLReasoner.dataPropertyValues(OWLNamedIndividual ind,
OWLDataProperty pe)
Gets the data property values for the specified individual and data property expression.
|
default Stream<OWLNamedIndividual> |
OWLReasoner.differentIndividuals(OWLNamedIndividual ind)
Gets the individuals which are entailed to be different from the specified individual.
|
Set<OWLLiteral> |
OWLReasoner.getDataPropertyValues(OWLNamedIndividual ind,
OWLDataProperty pe)
Gets the data property values for the specified individual and data property expression.
|
NodeSet<OWLNamedIndividual> |
OWLReasoner.getDifferentIndividuals(OWLNamedIndividual ind)
Gets the individuals which are entailed to be different from the specified individual.
|
NodeSet<OWLNamedIndividual> |
OWLReasoner.getObjectPropertyValues(OWLNamedIndividual ind,
OWLObjectPropertyExpression pe)
Gets the object property values for the specified individual and object property expression.
|
Node<OWLNamedIndividual> |
OWLReasoner.getSameIndividuals(OWLNamedIndividual ind)
Gets the individuals that are the same as the specified individual.
|
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) |
default Stream<OWLNamedIndividual> |
OWLReasoner.objectPropertyValues(OWLNamedIndividual ind,
OWLObjectPropertyExpression pe)
Gets the object property values for the specified individual and object property expression.
|
default Stream<OWLNamedIndividual> |
OWLReasoner.sameIndividuals(OWLNamedIndividual ind)
Gets the individuals that are the same as the specified individual.
|
default Stream<OWLClass> |
OWLReasoner.types(OWLNamedIndividual ind) |
default Stream<OWLClass> |
OWLReasoner.types(OWLNamedIndividual ind,
boolean direct)
Gets the named classes which are (potentially direct) types of the specified named
individual.
|
default Stream<OWLClass> |
OWLReasoner.types(OWLNamedIndividual ind,
InferenceDepth depth) |
| Modifier and Type | Method and Description |
|---|---|
abstract Stream<OWLNamedIndividual> |
IndividualNodeSetPolicy.filter(NodeSet<OWLNamedIndividual> nodes) |
| Modifier and Type | Method and Description |
|---|---|
OWLNamedIndividual |
OWLObjectDuplicator.visit(OWLNamedIndividual individual) |
OWLNamedIndividual |
OWLObjectDesharer.visit(OWLNamedIndividual individual) |
| Modifier and Type | Method and Description |
|---|---|
void |
OWLAnnotationPropertyTransformer.visit(OWLNamedIndividual individual) |
O |
DelegatingObjectVisitorEx.visit(OWLNamedIndividual individual) |
void |
SimpleRenderer.visit(OWLNamedIndividual individual) |
OWLNamedIndividual |
OWLObjectDuplicator.visit(OWLNamedIndividual individual) |
OWLNamedIndividual |
OWLObjectDesharer.visit(OWLNamedIndividual individual) |
String |
OWLEntityFragmentProvider.visit(OWLNamedIndividual individual) |
Collection<OWLEntity> |
OWLEntityCollector.visit(OWLNamedIndividual individual) |
void |
OWLEntityComparator.visit(OWLNamedIndividual individual) |
void |
StructureWalker.visit(OWLNamedIndividual individual) |
void |
OWLEntityRemover.visit(OWLNamedIndividual individual) |
| Modifier and Type | Method and Description |
|---|---|
OWLNamedIndividual |
BuilderNamedIndividual.buildObject() |
| Constructor and Description |
|---|
BuilderNamedIndividual(OWLNamedIndividual expected,
OWLDataFactory df)
Builder initialized from an existing object.
|
Copyright © 2018 The University of Manchester. All rights reserved.