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, isOfTypeaccept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntitycompareTocontainsEntityInSignatureOWLDatatype getDatatype()
OWLDatatype that is assigned a definitionOWLDataRange getDataRange()
void accept(OWLAxiomVisitor visitor)
<O> O accept(OWLAxiomVisitorEx<O> visitor)
Copyright © 2014 The University of Manchester. All Rights Reserved.