uk.ac.manchester.cs.owl.owlapi

Class OWLIndividualImpl

java.lang.Object

uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

uk.ac.manchester.cs.owl.owlapi.OWLIndividualImpl

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<OWLObject>, OWLIndividual, OWLObject, OWLPropertyAssertionObject

Direct Known Subclasses:

OWLAnonymousIndividualImpl, OWLNamedIndividualImpl

public abstract class OWLIndividualImpl
extends OWLObjectImpl
implements OWLIndividual

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 25-Oct-2006

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
OWLIndividualImpl()

Method Summary

Methods

Modifier and Type	Method and Description
OWLClass	asOWLClass() Deprecated.
OWLDataProperty	asOWLDataProperty() Deprecated.
OWLDatatype	asOWLDatatype() Deprecated.
OWLObjectProperty	asOWLObjectProperty() Deprecated.
boolean	equals(java.lang.Object obj)
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	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	isBuiltIn() Deprecated.
boolean	isOWLClass() Deprecated.
boolean	isOWLDataProperty() Deprecated.
boolean	isOWLDatatype() Deprecated.
boolean	isOWLObjectProperty() Deprecated.

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

compareLists, compareObjectOfSameType, compareSets, compareTo, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, setOWLDataFactory, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.semanticweb.owlapi.model.OWLIndividual

accept, accept, asOWLAnonymousIndividual, asOWLNamedIndividual, isAnonymous, isNamed, toStringID

Methods inherited from interface org.semanticweb.owlapi.model.OWLObject

accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity

Methods inherited from interface java.lang.Comparable

compareTo

Constructor Detail

OWLIndividualImpl

public OWLIndividualImpl()

Method Detail

isBuiltIn

@Deprecated
public boolean isBuiltIn()

Deprecated.

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class OWLObjectImpl

getTypes

public java.util.Set<OWLClassExpression> getTypes(OWLOntology ontology)

Description copied from interface: OWLIndividual

A convenience method, which gets the types of this individual, that correspond to the types asserted with axioms in the specified ontology.

Specified by:

getTypes in interface OWLIndividual

Parameters:

ontology - The ontology that should be examined for class assertion axioms in order to get the types for this individual.

Returns:

A set of class expressions that correspond the asserted types of this individual in the specified ontology.

getTypes

public java.util.Set<OWLClassExpression> getTypes(java.util.Set<OWLOntology> ontologies)

Description copied from interface: OWLIndividual

A convenience method that gets the types of this individual by examining the specified ontologies.

Specified by:

getTypes in interface OWLIndividual

Parameters:

ontologies - The ontologies to be examined for class assertions

Returns:

A set of class expressions that represent the types of this individual as asserted in the specified ontologies.

getObjectPropertyValues

public java.util.Set<OWLIndividual> getObjectPropertyValues(OWLObjectPropertyExpression property,
                                                   OWLOntology ontology)

Description copied from interface: OWLIndividual

Gets the asserted object property values for this individual and the specified property.

Specified by:

getObjectPropertyValues in interface OWLIndividual

Parameters:

property - The property for which values will be returned.

ontology - The ontology to be examined for axioms that assert property values for this individual

Returns:

The set of individuals that are the values of this property. More precisely, the set of individuals such that for each individual i in the set, is in a property assertion axiom property(this, i) is in the specified ontology.

getDataPropertyValues

public java.util.Set<OWLLiteral> getDataPropertyValues(OWLDataPropertyExpression property,
                                              OWLOntology ontology)

Description copied from interface: OWLIndividual

Gets the values that this individual has for a specific data property

Specified by:

getDataPropertyValues in interface OWLIndividual

Parameters:

property - the property

ontology - The ontology to examine for property assertions

Returns:

The values that this individual has for the specified property in the specified ontology. This is the set of values such that each value LV in the set is in an axiom of the form DataPropertyAssertion(property, thisIndividual, LV) in the ontology specified by the ontology parameter.

hasObjectPropertyValue

public boolean hasObjectPropertyValue(OWLObjectPropertyExpression property,
                             OWLIndividual individual,
                             OWLOntology ontology)

Description copied from interface: OWLIndividual

Test whether a specific value for a specific object property on this individual has been asserted.

Specified by:

hasObjectPropertyValue in interface OWLIndividual

Parameters:

property - The property whose values will be examined

individual - The individual value of the property that will be tested for

ontology - The ontology to search for the property value

Returns:

true 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

hasDataPropertyValue

public boolean hasDataPropertyValue(OWLDataPropertyExpression property,
                           OWLLiteral value,
                           OWLOntology ontology)

Description copied from interface: OWLIndividual

Test whether a specific value for a specific data property on this individual has been asserted.

Specified by:

hasDataPropertyValue in interface OWLIndividual

Parameters:

property - The property whose values will be examined

value - The value value of the property that will be tested for

ontology - The ontology to search for the property value

Returns:

true 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

getObjectPropertyValues

public java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLIndividual>> getObjectPropertyValues(OWLOntology ontology)

Description copied from interface: OWLIndividual

Gets the object property values for this individual.

Specified by:

getObjectPropertyValues in interface OWLIndividual

Parameters:

ontology - The ontology to search for the property values.

Returns:

A map, which maps object properties to sets of individuals.

getNegativeObjectPropertyValues

public java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLIndividual>> getNegativeObjectPropertyValues(OWLOntology ontology)

Description copied from interface: OWLIndividual

Gets the object property values that are explicitly asserted NOT to hold for this individual

Specified by:

getNegativeObjectPropertyValues in interface OWLIndividual

Parameters:

ontology - The ontology that should be examined for axioms

Returns:

A map containing the negative object property values

hasNegativeObjectPropertyValue

public boolean hasNegativeObjectPropertyValue(OWLObjectPropertyExpression property,
                                     OWLIndividual individual,
                                     OWLOntology ontology)

Description copied from interface: OWLIndividual

Test whether a specific value for a specific object property has been asserted not to hold for this individual.

Specified by:

hasNegativeObjectPropertyValue in interface OWLIndividual

Parameters:

property - The property to test for

individual - The value to test for

ontology - The ontology to search for the assertion

Returns:

true 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

getDataPropertyValues

public java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLLiteral>> getDataPropertyValues(OWLOntology ontology)

Description copied from interface: OWLIndividual

Gets the data property values for this individual

Specified by:

getDataPropertyValues in interface OWLIndividual

Parameters:

ontology - the ontology to check

Returns:

a map property->set of values

getNegativeDataPropertyValues

public java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLLiteral>> getNegativeDataPropertyValues(OWLOntology ontology)

Description copied from interface: OWLIndividual

Gets the data property values that are explicitly asserted NOT to hold for this individual

Specified by:

getNegativeDataPropertyValues in interface OWLIndividual

Parameters:

ontology - The ontology that should be examined for axioms

Returns:

A map containing the negative data property values

hasNegativeDataPropertyValue

public boolean hasNegativeDataPropertyValue(OWLDataPropertyExpression property,
                                   OWLLiteral literal,
                                   OWLOntology ontology)

Description copied from interface: OWLIndividual

Test whether a specific value for a specific data property has been asserted not to hold for this individual.

Specified by:

hasNegativeDataPropertyValue in interface OWLIndividual

Parameters:

property - The property to test for

literal - The value to test for

ontology - The ontology to search for the assertion

Returns:

true 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

getSameIndividuals

public java.util.Set<OWLIndividual> getSameIndividuals(OWLOntology ontology)

Specified by:

getSameIndividuals in interface OWLIndividual

Parameters:

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.

Returns:

Individuals that have been asserted to be the same as this individual.

getDifferentIndividuals

public java.util.Set<OWLIndividual> getDifferentIndividuals(OWLOntology ontology)

Description copied from interface: OWLIndividual

A convenience method that examines axioms in the specified ontology to determine the individuals that are asserted to be different to this individual.

Specified by:

getDifferentIndividuals in interface OWLIndividual

Returns:

the set of different individuals

asOWLClass

@Deprecated
public OWLClass asOWLClass()

Deprecated.

asOWLDataProperty

@Deprecated
public OWLDataProperty asOWLDataProperty()

Deprecated.

asOWLDatatype

@Deprecated
public OWLDatatype asOWLDatatype()

Deprecated.

asOWLObjectProperty

@Deprecated
public OWLObjectProperty asOWLObjectProperty()

Deprecated.

isOWLClass

@Deprecated
public boolean isOWLClass()

Deprecated.

isOWLDataProperty

@Deprecated
public boolean isOWLDataProperty()

Deprecated.

isOWLDatatype

@Deprecated
public boolean isOWLDatatype()

Deprecated.

isOWLObjectProperty

@Deprecated
public boolean isOWLObjectProperty()

Deprecated.