public interface ComplexIntegerAxiomConstant
ComplexIntegerAxiom
.ComplexIntegerAxiom
Modifier and Type | Field and Description |
---|---|
static String |
ClassAssertion |
static String |
ClassDeclaration |
static String |
closePar |
static String |
DataPropertyAssertion |
static String |
DataPropertyDeclaration |
static String |
Declaration |
static String |
DifferentIndividuals |
static String |
DisjointClasses |
static String |
EquivalentClasses |
static String |
EquivalentProperties |
static String |
FunctionalObjectProperty |
static String |
InverseFunctionalObjectProperty |
static String |
InverseObjectProperties |
static String |
NamedIndividualDeclaration |
static String |
NegativeObjectPropertyAssertion |
static String |
ObjectPropertyAssertion |
static String |
ObjectPropertyChain |
static String |
ObjectPropertyDeclaration |
static String |
openPar |
static String |
RangeAxiom |
static String |
ReflexiveObjectProperty |
static String |
SameIndividual |
static String |
sp |
static String |
SubClassOf |
static String |
SubObjectPropertyOf |
static String |
TransitiveObjectProperty |
static final String ClassAssertion
static final String ClassDeclaration
static final String closePar
static final String DataPropertyAssertion
static final String DataPropertyDeclaration
static final String Declaration
static final String DifferentIndividuals
static final String DisjointClasses
static final String EquivalentClasses
static final String EquivalentProperties
static final String FunctionalObjectProperty
static final String InverseFunctionalObjectProperty
static final String InverseObjectProperties
static final String NamedIndividualDeclaration
static final String NegativeObjectPropertyAssertion
static final String ObjectPropertyAssertion
static final String ObjectPropertyChain
static final String ObjectPropertyDeclaration
static final String openPar
static final String RangeAxiom
static final String ReflexiveObjectProperty
static final String SameIndividual
static final String sp
static final String SubClassOf
static final String SubObjectPropertyOf
static final String TransitiveObjectProperty
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.