public interface ElkDatatypeDefinitionAxiom extends ElkAxiom
| Modifier and Type | Method and Description |
|---|---|
ElkDataRange |
getDataRange() |
ElkDatatype |
getDatatype() |
ElkDatatype getDatatype()
ElkDataRange getDataRange()
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.