| Package | Description |
|---|---|
| org.semanticweb.owlapi.model | |
| org.semanticweb.owlapi.profiles | |
| org.semanticweb.owlapi.reasoner | |
| org.semanticweb.owlapi.util |
| Modifier and Type | Field and Description |
|---|---|
static EntityType<OWLNamedIndividual> |
EntityType.NAMED_INDIVIDUAL
named individual entity
|
| Modifier and Type | Method and Description |
|---|---|
OWLNamedIndividual |
OWLIndividual.asOWLNamedIndividual()
Obtains this individual as a named individual if it is indeed named.
|
OWLNamedIndividual |
OWLEntity.asOWLNamedIndividual()
A convenience method that obtains this entity as an OWLNamedIndividual
(in order to avoid explicit casting).
|
OWLNamedIndividual |
OWLNamedIndividualProvider.getOWLNamedIndividual(IRI iri)
Gets an instance of
OWLNamedIndividual that has the specified
IRI. |
OWLNamedIndividual |
OWLDataFactory.getOWLNamedIndividual(IRI iri)
Gets an OWL individual that has the specified IRI
|
OWLNamedIndividual |
OWLDataFactory.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.
|
| Modifier and Type | Method and Description |
|---|---|
Set<OWLNamedIndividual> |
OWLOntology.getIndividualsInSignature()
Gets the individuals that are in the signature of this ontology.
|
Set<OWLNamedIndividual> |
OWLObject.getIndividualsInSignature()
A convenience method that obtains the individuals that are in the
signature of this object
|
Set<OWLNamedIndividual> |
IRI.getIndividualsInSignature() |
Set<OWLNamedIndividual> |
HasIndividualsInSignature.getIndividualsInSignature()
A convenience method that obtains the individuals that are in the
signature of this object
|
Set<OWLNamedIndividual> |
OWLOntology.getIndividualsInSignature(boolean includeImportsClosure)
Gets the individuals that are in the signature of this ontology, and
possibly the imports closure of this ontology.
|
| Modifier and Type | Method and Description |
|---|---|
O |
OWLNamedObjectVisitorEx.visit(OWLNamedIndividual owlIndividual)
visit OWLNamedIndividual type
|
void |
OWLNamedObjectVisitor.visit(OWLNamedIndividual owlIndividual)
visit OWLNamedIndividual type
|
O |
OWLIndividualVisitorEx.visit(OWLNamedIndividual individual)
visit OWLNamedIndividual type
|
void |
OWLIndividualVisitor.visit(OWLNamedIndividual individual)
visit OWLNamedIndividual type
|
O |
OWLEntityVisitorEx.visit(OWLNamedIndividual individual)
visit OWLNamedIndividual type
|
void |
OWLEntityVisitor.visit(OWLNamedIndividual individual)
visit OWLNamedIndividual type
|
| Modifier and Type | Method and Description |
|---|---|
OWLNamedIndividual |
UseOfReservedVocabularyForIndividualIRI.getOWLNamedIndividual() |
| Constructor and Description |
|---|
UseOfReservedVocabularyForIndividualIRI(OWLOntology ontology,
OWLAxiom axiom,
OWLNamedIndividual ind) |
| Modifier and Type | Method and Description |
|---|---|
NodeSet<OWLNamedIndividual> |
OWLReasoner.getDifferentIndividuals(OWLNamedIndividual ind)
Gets the individuals which are entailed to be different from the
specified individual.
|
NodeSet<OWLNamedIndividual> |
OWLReasoner.getInstances(OWLClassExpression ce,
boolean direct)
Gets the individuals which are instances of the specified class
expression.
|
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.
|
| Modifier and Type | Method and Description |
|---|---|
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.
|
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 | Method and Description |
|---|---|
protected Set<OWLNamedIndividual> |
InferredIndividualAxiomGenerator.getEntities(OWLOntology ont) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
InferredClassAssertionAxiomGenerator.addAxioms(OWLNamedIndividual entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
Set<OWLClassAssertionAxiom> result) |
protected void |
InferredPropertyAssertionGenerator.addAxioms(OWLNamedIndividual entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
Set<OWLPropertyAssertionAxiom<?,?>> result) |
void |
StructureWalker.visit(OWLNamedIndividual individual) |
void |
SimpleRenderer.visit(OWLNamedIndividual individual) |
O |
OWLObjectVisitorExAdapter.visit(OWLNamedIndividual individual) |
void |
OWLObjectVisitorAdapter.visit(OWLNamedIndividual individual) |
void |
OWLObjectTypeIndexProvider.visit(OWLNamedIndividual individual) |
void |
OWLObjectDuplicator.visit(OWLNamedIndividual individual) |
void |
OWLObjectComponentCollector.visit(OWLNamedIndividual individual) |
O |
OWLEntityVisitorExAdapter.visit(OWLNamedIndividual individual) |
void |
OWLEntityVisitorAdapter.visit(OWLNamedIndividual individual) |
void |
OWLEntityRemover.visit(OWLNamedIndividual individual) |
void |
OWLEntityComparator.visit(OWLNamedIndividual individual) |
void |
OWLEntityCollector.visit(OWLNamedIndividual individual) |
Set<OWLClassExpression> |
OWLClassExpressionCollector.visit(OWLNamedIndividual individual) |
Integer |
MaximumModalDepthFinder.visit(OWLNamedIndividual individual) |
void |
HashCode.visit(OWLNamedIndividual individual) |
void |
DLExpressivityChecker.visit(OWLNamedIndividual individual) |
O |
DelegatingObjectVisitorEx.visit(OWLNamedIndividual individual) |
Copyright © 2014 The University of Manchester. All Rights Reserved.