public interface NormalizedIntegerAxiomConstant
NormalizedIntegerAxiom
.NormalizedIntegerAxiom
Modifier and Type | Field and Description |
---|---|
static String |
closePar |
static String |
emptyProp |
static String |
FunctionalObjectProperty |
static String |
GCI0 |
static String |
GCI1 |
static String |
GCI2 |
static String |
GCI3 |
static String |
NominalAxiom |
static String |
NormalizedRangeAxiom |
static String |
openPar |
static String |
RI1 |
static String |
RI2 |
static String |
RI3 |
static String |
sp |
static final String closePar
static final String emptyProp
static final String FunctionalObjectProperty
static final String GCI0
static final String GCI1
static final String GCI2
static final String GCI3
static final String NominalAxiom
static final String NormalizedRangeAxiom
static final String openPar
static final String RI1
static final String RI2
static final String RI3
static final String sp
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.