org.semanticweb.owlapi.model
Interface OWLDatatypeDefinitionAxiom

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLAxiom, OWLLogicalAxiom, OWLObject

All Known Implementing Classes:

OWLDatatypeDefinitionAxiomImpl

public interface OWLDatatypeDefinitionAxiom
extends OWLLogicalAxiom

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 24-Mar-2009

Represents a DatatypeDefinition axiom in the OWL 2 Specification.

Method Summary

void	accept(OWLAxiomVisitor visitor)
<O> O	accept(OWLAxiomVisitorEx<O> visitor)
OWLDataRange	getDataRange() Gets the datarange that defines the datatype
OWLDatatype	getDatatype() Gets the OWLDatatype that is assigned a definition

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

equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, isAnnotated, isLogicalAxiom, isOfType, isOfType

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

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

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

getDatatype

OWLDatatype getDatatype()

Gets the OWLDatatype that is assigned a definition

Returns:

The datatype

getDataRange

OWLDataRange getDataRange()

Gets the datarange that defines the datatype

Returns:

The defining datarange

accept

void accept(OWLAxiomVisitor visitor)

Specified by:

accept in interface OWLAxiom

accept

<O> O accept(OWLAxiomVisitorEx<O> visitor)

Specified by:

accept in interface OWLAxiom