org.semanticweb.kaon2.api.owl.elements
Interface DataProperty

All Superinterfaces:

Entity, OWLEntity, Predicate

public interface DataProperty
extends OWLEntity, Predicate

Represents a data property in an ontology.

Method Summary

java.util.Set<DataPropertyMember>	getDataPropertyMembers(Ontology ontology) Retruns the set of members in this data property.
java.util.Set<Description>	getDomainDescriptions(Ontology ontology) Returns the set of descriptions which are specified as domain in an DataPropertyDomain axiom.
java.util.Set<DataProperty>	getEquivalentDataProperties(Ontology ontology) Returns the set of data properties which as specified as exiovalent of this property in a EquivalentDataProperties axiom.
java.util.Set<DataRange>	getRangeDataRanges(Ontology ontology) Returns the set of data ranges which are specified as range in an DataPropertyRange axiom.
java.util.Set<DataProperty>	getSubDataProperties(Ontology ontology) Returns the set of data properties which as specified as subproperties of this property in a SubDataPropertyOf axiom.
java.util.Set<DataProperty>	getSuperDataProperties(Ontology ontology) Returns the set of data properties which as specified as superproperties of this property in a SubDataPropertyOf axiom.
boolean	isFunctional(Ontology ontology) Checks whether this data property is specified as functional in some DataPropertyAttribute axiom.

Methods inherited from interface org.semanticweb.kaon2.api.owl.elements.OWLEntity

getAnnotations, getAnnotationValue, getAnnotationValues, getAnnotationValues

Methods inherited from interface org.semanticweb.kaon2.api.Entity

accept, getURI, toString

Methods inherited from interface org.semanticweb.kaon2.api.rules.Predicate

accept, getArity, toString

Method Detail

isFunctional

boolean isFunctional(Ontology ontology)
                     throws KAON2Exception

Checks whether this data property is specified as functional in some DataPropertyAttribute axiom.

Parameters:

ontology - the ontology in which the search is perfromed

Returns:

true if this data property is functional

Throws:

KAON2Exception - thrown if there is an error

getSuperDataProperties

java.util.Set<DataProperty> getSuperDataProperties(Ontology ontology)
                                                   throws KAON2Exception

Returns the set of data properties which as specified as superproperties of this property in a SubDataPropertyOf axiom.

Parameters:

ontology - the ontology in which the search is perfromed

Returns:

the set of superproperties

Throws:

KAON2Exception - thrown if there is an error

getSubDataProperties

java.util.Set<DataProperty> getSubDataProperties(Ontology ontology)
                                                 throws KAON2Exception

Returns the set of data properties which as specified as subproperties of this property in a SubDataPropertyOf axiom.

Parameters:

ontology - the ontology in which the search is perfromed

Returns:

the set of subproperties

Throws:

KAON2Exception - thrown if there is an error

getEquivalentDataProperties

java.util.Set<DataProperty> getEquivalentDataProperties(Ontology ontology)
                                                        throws KAON2Exception

Returns the set of data properties which as specified as exiovalent of this property in a EquivalentDataProperties axiom.

Parameters:

ontology - the ontology in which the search is perfromed

Returns:

the set of subproperties

Throws:

KAON2Exception - thrown if there is an error

getDomainDescriptions

java.util.Set<Description> getDomainDescriptions(Ontology ontology)
                                                 throws KAON2Exception

Returns the set of descriptions which are specified as domain in an DataPropertyDomain axiom.

Parameters:

ontology - the ontology in which the search is perfromed

Returns:

the set of domain descriptions

Throws:

KAON2Exception - thrown if there is an error

getRangeDataRanges

java.util.Set<DataRange> getRangeDataRanges(Ontology ontology)
                                            throws KAON2Exception

Returns the set of data ranges which are specified as range in an DataPropertyRange axiom.

Parameters:

ontology - the ontology in which the search is perfromed

Returns:

the set of range descriptions

Throws:

KAON2Exception - thrown if there is an error

getDataPropertyMembers

java.util.Set<DataPropertyMember> getDataPropertyMembers(Ontology ontology)
                                                         throws KAON2Exception

Retruns the set of members in this data property.

Parameters:

ontology - the ontology in which the search is perfromed

Returns:

the set of data property members

Throws:

KAON2Exception - thrown if there is an error