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.
|
java.util.Set<OWLLiteral> |
getDataPropertyValues(OWLDataPropertyExpression property,
OWLOntology ontology)
Gets the values that this individual has for a specific data property
|
java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLLiteral>> |
getDataPropertyValues(OWLOntology ontology)
Gets the data property values for this individual
|
java.util.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.
|
java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLLiteral>> |
getNegativeDataPropertyValues(OWLOntology ontology)
Gets the data property values that are explicitly asserted NOT to hold
for this individual
|
java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLIndividual>> |
getNegativeObjectPropertyValues(OWLOntology ontology)
Gets the object property values that are explicitly asserted NOT to hold
for this individual
|
java.util.Set<OWLIndividual> |
getObjectPropertyValues(OWLObjectPropertyExpression property,
OWLOntology ontology)
Gets the asserted object property values for this individual and the specified property.
|
java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLIndividual>> |
getObjectPropertyValues(OWLOntology ontology)
Gets the object property values for this individual.
|
java.util.Set<OWLIndividual> |
getSameIndividuals(OWLOntology ontology) |
java.util.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.
|
java.util.Set<OWLClassExpression> |
getTypes(java.util.Set<OWLOntology> ontologies)
A convenience method that gets the types of this individual by
examining the specified ontologies.
|
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 . |
java.lang.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
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 namedjava.util.Set<OWLClassExpression> getTypes(OWLOntology ontology)
ontology
- The ontology that should be examined for class assertion
axioms in order to get the types for this individual.java.util.Set<OWLClassExpression> getTypes(java.util.Set<OWLOntology> ontologies)
ontologies
- The ontologies to be examined for class assertionsjava.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLIndividual>> getObjectPropertyValues(OWLOntology ontology)
ontology
- The ontology to search for the property values.java.util.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 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
java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLIndividual>> getNegativeObjectPropertyValues(OWLOntology ontology)
ontology
- The ontology that should be examined for axiomsjava.util.Map<OWLDataPropertyExpression,java.util.Set<OWLLiteral>> getDataPropertyValues(OWLOntology ontology)
ontology
- the ontology to checkjava.util.Set<OWLLiteral> getDataPropertyValues(OWLDataPropertyExpression property, OWLOntology ontology)
ontology
- The ontology to examine for property assertionsproperty
- the propertyjava.util.Map<OWLDataPropertyExpression,java.util.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
java.util.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.java.util.Set<OWLIndividual> getDifferentIndividuals(OWLOntology ontology)
ontology
- java.lang.String toStringID()
void accept(OWLIndividualVisitor visitor)
visitor
- <O> O accept(OWLIndividualVisitorEx<O> visitor)
visitor
-