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
compareTo
containsEntityInSignature
OWLDatatype getDatatype()
OWLDatatype
that is assigned a definitionOWLDataRange getDataRange()
void accept(OWLAxiomVisitor visitor)
<O> O accept(OWLAxiomVisitorEx<O> visitor)
Copyright © 2017 The University of Manchester. All Rights Reserved.