See: Description
Interface | Description |
---|---|
IntegerAxiom |
An
IntegerAxiom is an axiom that is composed by integer numbers. |
IntegerClassExpressionWord |
This interface is a collection of constants used in the string representation
of
IntegerClassExpression s. |
IntegerDatatype |
An object implementing this interface is an object used for data types based
on integer numbers.
|
IntegerEntityManager |
An object implementing this interface manages entities and creates new
identification numbers for auxiliary entities.
|
OntologyExpressivity |
Class | Description |
---|---|
IntegerEntityManagerImpl |
An object of this class generates new identification numbers for object
properties and classes.
|
Enum | Description |
---|---|
IntegerEntityType |
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.