uk.ac.manchester.cs.owl.owlapi
Class OWLDatatypeImpl

java.lang.Object
  extended by uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
      extended by uk.ac.manchester.cs.owl.owlapi.OWLDatatypeImpl
All Implemented Interfaces:
java.lang.Comparable<OWLObject>, OWLDataRange, OWLDatatype, OWLEntity, OWLLogicalEntity, OWLNamedObject, OWLObject, OWLPropertyRange, SWRLPredicate

public class OWLDatatypeImpl
extends OWLObjectImpl
implements OWLDatatype

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


Constructor Summary
OWLDatatypeImpl(OWLDataFactory dataFactory, IRI iri)
           
 
Method Summary
 void accept(OWLDataVisitor visitor)
           
<O> O
accept(OWLDataVisitorEx<O> visitor)
           
 void accept(OWLEntityVisitor visitor)
           
<O> O
accept(OWLEntityVisitorEx<O> visitor)
           
 void accept(OWLNamedObjectVisitor visitor)
           
 void accept(OWLObjectVisitor visitor)
           
<O> O
accept(OWLObjectVisitorEx<O> visitor)
           
 OWLAnnotationProperty asOWLAnnotationProperty()
          A convenience method that obtains this entity as an OWLAnnotationProperty (in order to avoid explicit casting).
 OWLClass asOWLClass()
          A convenience method that obtains this entity as an OWLClass (in order to avoid explicit casting).
 OWLDataProperty asOWLDataProperty()
          A convenience method that obtains this entity as an OWLDataProperty (in order to avoid explicit casting).
 OWLDatatype asOWLDatatype()
          A convenience method that obtains this entity as an OWLDatatype (in order to avoid explicit casting).
 OWLNamedIndividual asOWLNamedIndividual()
          A convenience method that obtains this entity as an OWLNamedIndividual (in order to avoid explicit casting).
 OWLObjectProperty asOWLObjectProperty()
          A convenience method that obtains this entity as an OWLObjectProperty (in order to avoid explicit casting).
protected  int compareObjectOfSameType(OWLObject object)
           
 boolean equals(java.lang.Object obj)
           
 java.util.Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLOntology ontology)
           
 java.util.Set<OWLAnnotation> getAnnotations(OWLOntology ontology)
          Gets the annotations for this entity.
 java.util.Set<OWLAnnotation> getAnnotations(OWLOntology ontology, OWLAnnotationProperty annotationProperty)
          Obtains the annotations on this entity where the annotation has the specified URI.
 OWL2Datatype getBuiltInDatatype()
          Gets the built in datatype information if this datatype is a built in datatype.
 DataRangeType getDataRangeType()
          Gets the type of this data range
 EntityType getEntityType()
          Gets the entity type for this entity
 IRI getIRI()
          Gets the IRI of this object
<E extends OWLEntity>
E
getOWLEntity(EntityType<E> entityType)
          Gets an entity that has the same IRI as this entity but is of the specified type.
 java.net.URI getURI()
           
 boolean isBoolean()
           
 boolean isBottomEntity()
           
 boolean isBuiltIn()
          Determines if this entity is a built in entity.
 boolean isDatatype()
          Determines if this data range is a datatype (int, float, ...)
 boolean isDouble()
           
 boolean isFloat()
           
 boolean isInteger()
           
 boolean isOWLAnnotationProperty()
          A convenience method that determines if this entity is an OWLAnnotationProperty
 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 isOWLNamedIndividual()
          A convenience method that determines if this entity is an OWLNamedIndividual
 boolean isOWLObjectProperty()
          A convenience method that determines if this entity is an OWLObjectProperty
 boolean isString()
           
 boolean isTopDatatype()
          Determines if this data range is the top data type.
 boolean isTopEntity()
           
 boolean isType(EntityType entityType)
          Tests to see if this entity is of the specified type
 java.lang.String toStringID()
          Returns a string representation that can be used as the ID of this entity.
 
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
compareSets, compareTo, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, toString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

OWLDatatypeImpl

public OWLDatatypeImpl(OWLDataFactory dataFactory,
                       IRI iri)
Method Detail

isTopEntity

public boolean isTopEntity()
Specified by:
isTopEntity in interface OWLEntity

isBottomEntity

public boolean isBottomEntity()
Specified by:
isBottomEntity in interface OWLEntity

getEntityType

public EntityType getEntityType()
Gets the entity type for this entity

Specified by:
getEntityType in interface OWLEntity
Returns:
The entity type

getOWLEntity

public <E extends OWLEntity> E getOWLEntity(EntityType<E> entityType)
Gets an entity that has the same IRI as this entity but is of the specified type.

Specified by:
getOWLEntity in interface OWLEntity
Parameters:
entityType - The type of the entity to obtain. This entity is not affected in any way.
Returns:
An entity that has the same IRI as this entity and is of the specified type

isType

public boolean isType(EntityType entityType)
Tests to see if this entity is of the specified type

Specified by:
isType in interface OWLEntity
Parameters:
entityType - The entity type
Returns:
true if this entity is of the specified type, otherwise false.

toStringID

public java.lang.String toStringID()
Returns a string representation that can be used as the ID of this entity. This is the toString representation of the IRI

Specified by:
toStringID in interface OWLEntity
Returns:
A string representing the toString of the IRI of this entity.

getIRI

public IRI getIRI()
Description copied from interface: OWLNamedObject
Gets the IRI of this object

Specified by:
getIRI in interface OWLNamedObject
Returns:
The IRI of this object

isBuiltIn

public boolean isBuiltIn()
Description copied from interface: OWLEntity
Determines if this entity is a built in entity. The entity is a built in entity if it is:

Specified by:
isBuiltIn in interface OWLEntity
Returns:
true if this entity is a built in entity, or false if this entity is not a builtin entity.

getDataRangeType

public DataRangeType getDataRangeType()
Description copied from interface: OWLDataRange
Gets the type of this data range

Specified by:
getDataRangeType in interface OWLDataRange
Returns:
The data range type

getBuiltInDatatype

public OWL2Datatype getBuiltInDatatype()
Description copied from interface: OWLDatatype
Gets the built in datatype information if this datatype is a built in datatype. This method should only be called if the isBuiltIn() method returns true

Specified by:
getBuiltInDatatype in interface OWLDatatype
Returns:
The OWLDatatypeVocabulary that describes this built in datatype

isDouble

public boolean isDouble()
Specified by:
isDouble in interface OWLDatatype

isFloat

public boolean isFloat()
Specified by:
isFloat in interface OWLDatatype

isInteger

public boolean isInteger()
Specified by:
isInteger in interface OWLDatatype

isString

public boolean isString()
Specified by:
isString in interface OWLDatatype

isBoolean

public boolean isBoolean()
Specified by:
isBoolean in interface OWLDatatype

isDatatype

public boolean isDatatype()
Description copied from interface: OWLDataRange
Determines if this data range is a datatype (int, float, ...)

Specified by:
isDatatype in interface OWLDataRange
Returns:
true if this datarange is a datatype, or false if it is not a datatype and is some other data range such as a data range restriction, data oneOf or data complementOf.

isTopDatatype

public boolean isTopDatatype()
Description copied from interface: OWLDataRange
Determines if this data range is the top data type.

Specified by:
isTopDatatype in interface OWLDataRange
Returns:
true if this data range is the top datatype otherwise false

getURI

public java.net.URI getURI()

equals

public boolean equals(java.lang.Object obj)
Overrides:
equals in class OWLObjectImpl

getAnnotations

public java.util.Set<OWLAnnotation> getAnnotations(OWLOntology ontology)
Description copied from interface: OWLEntity
Gets the annotations for this entity. These are deemed to be annotations in annotation assertion axioms that have a subject that is an IRI that is equal to the IRI of this entity.

Specified by:
getAnnotations in interface OWLEntity
Parameters:
ontology - The ontology to be examined for annotation assertion axioms
Returns:
The annotations that participate directly in an annotation assertion whose subject is an IRI corresponding to the IRI of this entity.

getAnnotationAssertionAxioms

public java.util.Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLOntology ontology)
Specified by:
getAnnotationAssertionAxioms in interface OWLEntity

getAnnotations

public java.util.Set<OWLAnnotation> getAnnotations(OWLOntology ontology,
                                                   OWLAnnotationProperty annotationProperty)
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
annotationProperty - The annotation property
Returns:
A set of OWLAnnotation objects that have the specified URI.

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.

asOWLDataProperty

public OWLDataProperty asOWLDataProperty()
Description copied from interface: OWLEntity
A convenience method that obtains this entity as an OWLDataProperty (in order to avoid explicit casting).

Specified by:
asOWLDataProperty in interface OWLEntity
Returns:
The entity as an OWLDataProperty.

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 OWLDataRange
Specified by:
asOWLDatatype in interface OWLEntity
Returns:
The entity as an OWLDatatype.

asOWLNamedIndividual

public OWLNamedIndividual asOWLNamedIndividual()
Description copied from interface: OWLEntity
A convenience method that obtains this entity as an OWLNamedIndividual (in order to avoid explicit casting).

Specified by:
asOWLNamedIndividual in interface OWLEntity
Returns:
The entity as an OWLNamedIndividual.

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

isOWLNamedIndividual

public boolean isOWLNamedIndividual()
Description copied from interface: OWLEntity
A convenience method that determines if this entity is an OWLNamedIndividual

Specified by:
isOWLNamedIndividual in interface OWLEntity
Returns:
true if this entity is an OWLNamedIndividual, 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

asOWLAnnotationProperty

public OWLAnnotationProperty asOWLAnnotationProperty()
Description copied from interface: OWLEntity
A convenience method that obtains this entity as an OWLAnnotationProperty (in order to avoid explicit casting).

Specified by:
asOWLAnnotationProperty in interface OWLEntity
Returns:
The entity as an OWLAnnotationProperty.

isOWLAnnotationProperty

public boolean isOWLAnnotationProperty()
Description copied from interface: OWLEntity
A convenience method that determines if this entity is an OWLAnnotationProperty

Specified by:
isOWLAnnotationProperty in interface OWLEntity
Returns:
true if this entity is an OWLAnnotationProperty, otherwise false

accept

public void accept(OWLEntityVisitor visitor)
Specified by:
accept in interface OWLEntity

accept

public void accept(OWLDataVisitor visitor)
Specified by:
accept in interface 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(OWLDataVisitorEx<O> visitor)
Specified by:
accept in interface OWLDataRange

accept

public <O> O accept(OWLObjectVisitorEx<O> visitor)
Specified by:
accept in interface OWLObject

compareObjectOfSameType

protected int compareObjectOfSameType(OWLObject object)
Specified by:
compareObjectOfSameType in class OWLObjectImpl