uk.ac.manchester.cs.owl
Class OWLDataPropertyImpl

java.lang.Object
  uk.ac.manchester.cs.owl.OWLObjectImpl
      uk.ac.manchester.cs.owl.OWLPropertyExpressionImpl<OWLDataPropertyExpression,OWLDataRange>
          uk.ac.manchester.cs.owl.OWLDataPropertyImpl

All Implemented Interfaces:

java.lang.Comparable<OWLObject>, OWLDataProperty, OWLDataPropertyExpression, OWLEntity, OWLNamedObject, OWLObject, OWLProperty<OWLDataPropertyExpression,OWLDataRange>, OWLPropertyExpression<OWLDataPropertyExpression,OWLDataRange>

public class OWLDataPropertyImpl
extends OWLPropertyExpressionImpl<OWLDataPropertyExpression,OWLDataRange>
implements OWLDataProperty

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

Constructor Summary

OWLDataPropertyImpl(OWLDataFactory dataFactory, java.net.URI uri)

Method Summary

void	accept(OWLEntityVisitor visitor)
<O> O	accept(OWLEntityVisitorEx<O> visitor)
void	accept(OWLNamedObjectVisitor visitor)
void	accept(OWLObjectVisitor visitor)
<O> O	accept(OWLObjectVisitorEx<O> visitor)
void	accept(OWLPropertyExpressionVisitor visitor)
<O> O	accept(OWLPropertyExpressionVisitorEx<O> visitor)
OWLClass	asOWLClass() A convenience method that obtains this entity as an OWLClass (in order to avoid explicit casting).
OWLDataProperty	asOWLDataProperty() If the property is a named data property then this method will obtain the property as such.
OWLDataType	asOWLDataType() A convenience method that obtains this entity as an OWLDataType (in order to avoid explicit casting).
OWLIndividual	asOWLIndividual() A convenience method that obtains this entity as an OWLIndividual (in order to avoid explicit casting).
OWLObjectProperty	asOWLObjectProperty() A convenience method that obtains this entity as an OWLObjectProperty (in order to avoid explicit casting).
boolean	equals(java.lang.Object obj)
java.util.Set<OWLAnnotationAxiom>	getAnnotationAxioms(OWLOntology ontology)
java.util.Set<OWLAnnotation>	getAnnotations(OWLOntology ontology) Obtains annotations on this entity where the annotation have been asserted on the specified entity.
java.util.Set<OWLAnnotation>	getAnnotations(OWLOntology ontology, java.net.URI annotationURI) Obtains the annotations on this entity where the annotation has the specified URI.
java.net.URI	getURI() Gets the name of this object.
boolean	isAnonymous() Determines if this property expression is anonymous.
boolean	isFunctional(OWLOntology ontology) Determines if this property is functional in the specified ontology
boolean	isFunctional(java.util.Set<OWLOntology> ontologies) Determines if the property is functional because there is an axiom in one of the specified ontologies that assert this to be the case.
boolean	isOWLClass() A convenience method that determines if this entity is an OWLClass
boolean	isOWLDataProperty() A convenience method that determines if this entity is an OWLDataProperty
boolean	isOWLDataType() A convenience method that determines if this entity is an OWLDataType
boolean	isOWLIndividual() A convenience method that determines if this entity is an OWLIndividual
boolean	isOWLObjectProperty() A convenience method that determines if this entity is an OWLObjectProperty

Methods inherited from class uk.ac.manchester.cs.owl.OWLPropertyExpressionImpl

getDisjointProperties, getDisjointProperties, getDomains, getDomains, getEquivalentProperties, getEquivalentProperties, getRanges, getRanges, getSubProperties, getSubProperties, getSuperProperties, getSuperProperties

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

compareTo, getOWLDataFactory, getSignature, hashCode, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.semanticweb.owl.model.OWLPropertyExpression

getDisjointProperties, getDisjointProperties, getDomains, getDomains, getEquivalentProperties, getEquivalentProperties, getRanges, getRanges, getSubProperties, getSubProperties, getSuperProperties, getSuperProperties

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

getSignature

Methods inherited from interface java.lang.Comparable

compareTo

Constructor Detail

OWLDataPropertyImpl

public OWLDataPropertyImpl(OWLDataFactory dataFactory,
                           java.net.URI uri)

Method Detail

getURI

public java.net.URI getURI()

Description copied from interface: OWLNamedObject

Gets the name of this object.

Specified by:

getURI in interface OWLNamedObject

Returns:

A URI that represents the name of the object

isFunctional

public boolean isFunctional(OWLOntology ontology)

Description copied from interface: OWLPropertyExpression

Determines if this property is functional in the specified ontology

Specified by:

isFunctional in interface OWLPropertyExpression<OWLDataPropertyExpression,OWLDataRange>

Parameters:

ontology - The ontology to be tested for a functional property axiom.

Returns:

true if the specified ontology contains an axiom stating that the property is functional, other wise false.

isFunctional

public boolean isFunctional(java.util.Set<OWLOntology> ontologies)

Description copied from interface: OWLPropertyExpression

Determines if the property is functional because there is an axiom in one of the specified ontologies that assert this to be the case.

Specified by:

isFunctional in interface OWLPropertyExpression<OWLDataPropertyExpression,OWLDataRange>

Parameters:

ontologies - The ontologies which will be searched for axioms which specify that this property is fuctional.

Returns:

true if the property is functional, or false if the property is not functional.

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class OWLPropertyExpressionImpl<OWLDataPropertyExpression,OWLDataRange>

getAnnotations

public java.util.Set<OWLAnnotation> getAnnotations(OWLOntology ontology)

Description copied from interface: OWLEntity

Obtains annotations on this entity where the annotation have been asserted on the specified entity.

Specified by:

getAnnotations in interface OWLEntity

getAnnotationAxioms

public java.util.Set<OWLAnnotationAxiom> getAnnotationAxioms(OWLOntology ontology)

Specified by:

getAnnotationAxioms in interface OWLEntity

getAnnotations

public java.util.Set<OWLAnnotation> getAnnotations(OWLOntology ontology,
                                                   java.net.URI annotationURI)

Description copied from interface: OWLEntity

Obtains the annotations on this entity where the annotation has the specified URI.

Specified by:

getAnnotations in interface OWLEntity

Parameters:

ontology - The ontology to examine for annotation axioms

annotationURI - The annotation URI

Returns:

A set of OWLAnnotation objects that have the specified URI.

accept

public void accept(OWLEntityVisitor visitor)

Specified by:

accept in interface OWLEntity

accept

public void accept(OWLPropertyExpressionVisitor visitor)

Specified by:

accept in interface OWLPropertyExpression<OWLDataPropertyExpression,OWLDataRange>

accept

public void accept(OWLObjectVisitor visitor)

Specified by:

accept in interface OWLObject

accept

public void accept(OWLNamedObjectVisitor visitor)

Specified by:

accept in interface OWLNamedObject

accept

public <O> O accept(OWLEntityVisitorEx<O> visitor)

Specified by:

accept in interface OWLEntity

accept

public <O> O accept(OWLPropertyExpressionVisitorEx<O> visitor)

Specified by:

accept in interface OWLPropertyExpression<OWLDataPropertyExpression,OWLDataRange>

accept

public <O> O accept(OWLObjectVisitorEx<O> visitor)

Specified by:

accept in interface OWLObject

isAnonymous

public boolean isAnonymous()

Description copied from interface: OWLPropertyExpression

Determines if this property expression is anonymous.

Specified by:

isAnonymous in interface OWLPropertyExpression<OWLDataPropertyExpression,OWLDataRange>

Returns:

true if the property expression is anonymous (because it is the inverse of a property). false if this property is a named object property or named data property.

asOWLDataProperty

public OWLDataProperty asOWLDataProperty()

Description copied from interface: OWLDataPropertyExpression

If the property is a named data property then this method will obtain the property as such. The general pattern of use is that the isAnonymous method should first be used to determine if the property is named (i.e. not an object property expression such as inv(p)). If the property is named then this method may be used to obtain the property as a named property without casting.

Specified by:

asOWLDataProperty in interface OWLDataPropertyExpression

Specified by:

asOWLDataProperty in interface OWLEntity

Returns:

The property as an OWLDataProperty if possible.

asOWLClass

public OWLClass asOWLClass()

Description copied from interface: OWLEntity

A convenience method that obtains this entity as an OWLClass (in order to avoid explicit casting).

Specified by:

asOWLClass in interface OWLEntity

Returns:

The entity as an OWLClass.

asOWLDataType

public OWLDataType asOWLDataType()

Description copied from interface: OWLEntity

A convenience method that obtains this entity as an OWLDataType (in order to avoid explicit casting).

Specified by:

asOWLDataType in interface OWLEntity

Returns:

The entity as an OWLDataType.

asOWLIndividual

public OWLIndividual asOWLIndividual()

Description copied from interface: OWLEntity

A convenience method that obtains this entity as an OWLIndividual (in order to avoid explicit casting).

Specified by:

asOWLIndividual in interface OWLEntity

Returns:

The entity as an OWLIndividual.

asOWLObjectProperty

public OWLObjectProperty asOWLObjectProperty()

Description copied from interface: OWLEntity

A convenience method that obtains this entity as an OWLObjectProperty (in order to avoid explicit casting).

Specified by:

asOWLObjectProperty in interface OWLEntity

Returns:

The entity as an OWLObjectProperty.

isOWLClass

public boolean isOWLClass()

Description copied from interface: OWLEntity

A convenience method that determines if this entity is an OWLClass

Specified by:

isOWLClass in interface OWLEntity

Returns:

true if this entity is an OWLClass, otherwise false

isOWLDataProperty

public boolean isOWLDataProperty()

Description copied from interface: OWLEntity

A convenience method that determines if this entity is an OWLDataProperty

Specified by:

isOWLDataProperty in interface OWLEntity

Returns:

true if this entity is an OWLDataProperty, otherwise false

isOWLDataType

public boolean isOWLDataType()

Description copied from interface: OWLEntity

A convenience method that determines if this entity is an OWLDataType

Specified by:

isOWLDataType in interface OWLEntity

Returns:

true if this entity is an OWLDataType, otherwise false

isOWLIndividual

public boolean isOWLIndividual()

Description copied from interface: OWLEntity

A convenience method that determines if this entity is an OWLIndividual

Specified by:

isOWLIndividual in interface OWLEntity

Returns:

true if this entity is an OWLIndividual, otherwise false

isOWLObjectProperty

public boolean isOWLObjectProperty()

Description copied from interface: OWLEntity

A convenience method that determines if this entity is an OWLObjectProperty

Specified by:

isOWLObjectProperty in interface OWLEntity

Returns:

true if this entity is an OWLObjectProperty, otherwise false