public interface OWLDatatypeDefinitionAxiom extends OWLLogicalAxiom
Modifier and Type | Method and Description |
---|---|
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 |
equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
OWLDatatype getDatatype()
OWLDatatype
that is assigned a definitionOWLDataRange getDataRange()
void accept(OWLAxiomVisitor visitor)
<O> O accept(OWLAxiomVisitorEx<O> visitor)