public interface OWLIndividual extends OWLObject, OWLPropertyAssertionObject
Modifier and Type | Method and Description |
---|---|
void |
accept(OWLIndividualVisitor visitor) |
<O> O |
accept(OWLIndividualVisitorEx<O> visitor) |
OWLAnonymousIndividual |
asOWLAnonymousIndividual()
Obtains this individual an anonymous individual if it is indeed anonymous
|
OWLNamedIndividual |
asOWLNamedIndividual()
Obtains this individual as a named individual if it is indeed named.
|
Set<OWLLiteral> |
getDataPropertyValues(OWLDataPropertyExpression property,
OWLOntology ontology)
Gets the values that this individual has for a specific data property
|
Map<OWLDataPropertyExpression,Set<OWLLiteral>> |
getDataPropertyValues(OWLOntology ontology)
Gets the data property values for this individual
|
Set<OWLIndividual> |
getDifferentIndividuals(OWLOntology ontology)
A convenience method that examines axioms in the specified ontology to
determine the individuals that are asserted to be different to this
individual.
|
Map<OWLDataPropertyExpression,Set<OWLLiteral>> |
getNegativeDataPropertyValues(OWLOntology ontology)
Gets the data property values that are explicitly asserted NOT to hold
for this individual
|
Map<OWLObjectPropertyExpression,Set<OWLIndividual>> |
getNegativeObjectPropertyValues(OWLOntology ontology)
Gets the object property values that are explicitly asserted NOT to hold
for this individual
|
Set<OWLIndividual> |
getObjectPropertyValues(OWLObjectPropertyExpression property,
OWLOntology ontology)
Gets the asserted object property values for this individual and the
specified property.
|
Map<OWLObjectPropertyExpression,Set<OWLIndividual>> |
getObjectPropertyValues(OWLOntology ontology)
Gets the object property values for this individual.
|
Set<OWLIndividual> |
getSameIndividuals(OWLOntology ontology) |
Set<OWLClassExpression> |
getTypes(OWLOntology ontology)
A convenience method, which gets the types of this individual, that
correspond to the types asserted with axioms in the specified ontology.
|
Set<OWLClassExpression> |
getTypes(Set<OWLOntology> ontologies)
A convenience method that gets the types of this individual by examining
the specified ontologies.
|
boolean |
hasDataPropertyValue(OWLDataPropertyExpression property,
OWLLiteral value,
OWLOntology ontology)
Test whether a specific value for a specific data property on this
individual has been asserted.
|
boolean |
hasNegativeDataPropertyValue(OWLDataPropertyExpression property,
OWLLiteral literal,
OWLOntology ontology)
Test whether a specific value for a specific data property has been
asserted not to hold for this individual.
|
boolean |
hasNegativeObjectPropertyValue(OWLObjectPropertyExpression property,
OWLIndividual individual,
OWLOntology ontology)
Test whether a specific value for a specific object property has been
asserted not to hold for this individual.
|
boolean |
hasObjectPropertyValue(OWLObjectPropertyExpression property,
OWLIndividual individual,
OWLOntology ontology)
Test whether a specific value for a specific object property on this
individual has been asserted.
|
boolean |
isAnonymous()
Determines if this object is an instance of
OWLAnonymousIndividual Note that
this method is the dual of isNamed() . |
boolean |
isNamed()
Determines if this individual is an instance of
OWLNamedIndividual . |
String |
toStringID()
Returns a string representation that can be used as the ID of this
individual.
|
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
compareTo
containsEntityInSignature
boolean isNamed()
OWLNamedIndividual
. Note that this
method is the dual of isAnonymous()
.true
if this individual is an instance of
OWLNamedIndividual
because
it is a named individuals, otherwise false
boolean isAnonymous()
OWLAnonymousIndividual
Note that
this method is the dual of isNamed()
.true
if this object represents an anonymous individual (
OWLAnonymousIndividual)
or false
if this object
represents a named individual ( OWLIndividual
)OWLNamedIndividual asOWLNamedIndividual()
OWLRuntimeException
- if this individual is anonymousOWLAnonymousIndividual asOWLAnonymousIndividual()
OWLRuntimeException
- if this individual is namedSet<OWLClassExpression> getTypes(OWLOntology ontology)
ontology
- The ontology that should be examined for class assertion axioms in
order to get the types for this individual.Set<OWLClassExpression> getTypes(Set<OWLOntology> ontologies)
ontologies
- The ontologies to be examined for class assertionsMap<OWLObjectPropertyExpression,Set<OWLIndividual>> getObjectPropertyValues(OWLOntology ontology)
ontology
- The ontology to search for the property values.Set<OWLIndividual> getObjectPropertyValues(OWLObjectPropertyExpression property, OWLOntology ontology)
ontology
- The ontology to be examined for axioms that assert property values
for this individualproperty
- The property for which values will be returned.boolean hasObjectPropertyValue(OWLObjectPropertyExpression property, OWLIndividual individual, OWLOntology ontology)
property
- The property whose values will be examinedindividual
- The individual value of the property that will be tested forontology
- The ontology to search for the property valuetrue
if the individual has the specified property value,
that is, true
if the specified ontology contains an
object property assertion ObjectPropertyAssertion(property, this,
individual), otherwise false
boolean hasDataPropertyValue(OWLDataPropertyExpression property, OWLLiteral value, OWLOntology ontology)
property
- The property whose values will be examinedvalue
- The value value of the property that will be tested forontology
- The ontology to search for the property valuetrue
if the individual has the specified property value,
that is, true
if the specified ontology contains a data
property assertion DataPropertyAssertion(property, this, value),
otherwise false
boolean hasNegativeObjectPropertyValue(OWLObjectPropertyExpression property, OWLIndividual individual, OWLOntology ontology)
property
- The property to test forindividual
- The value to test forontology
- The ontology to search for the assertiontrue
if the specified property value has explicitly been
asserted not to hold, that is, true
if the specified
ontology contains a negative object property assertion
NegativeObjectPropertyAssertion(property, this, individual),
otherwise false
Map<OWLObjectPropertyExpression,Set<OWLIndividual>> getNegativeObjectPropertyValues(OWLOntology ontology)
ontology
- The ontology that should be examined for axiomsMap<OWLDataPropertyExpression,Set<OWLLiteral>> getDataPropertyValues(OWLOntology ontology)
ontology
- the ontology to checkSet<OWLLiteral> getDataPropertyValues(OWLDataPropertyExpression property, OWLOntology ontology)
ontology
- The ontology to examine for property assertionsproperty
- the propertyMap<OWLDataPropertyExpression,Set<OWLLiteral>> getNegativeDataPropertyValues(OWLOntology ontology)
ontology
- The ontology that should be examined for axiomsboolean hasNegativeDataPropertyValue(OWLDataPropertyExpression property, OWLLiteral literal, OWLOntology ontology)
property
- The property to test forliteral
- The value to test forontology
- The ontology to search for the assertiontrue
if the specified property value has explicitly been
asserted not to hold, that is, true
if the specified
ontology contains a negative data property assertion
NegativeDataPropertyAssertion(property, this, literal), otherwise
false
Set<OWLIndividual> getSameIndividuals(OWLOntology ontology)
ontology
- the ontology to use A convenience method that examines axioms in
ontology to determine the individuals that are asserted to be the
same as this individual.Set<OWLIndividual> getDifferentIndividuals(OWLOntology ontology)
ontology
- the ontologyString toStringID()
void accept(OWLIndividualVisitor visitor)
visitor
- visitor to accept<O> O accept(OWLIndividualVisitorEx<O> visitor)
O
- return typevisitor
- visitor to acceptCopyright © 2017 The University of Manchester. All Rights Reserved.