Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
ClassAssertion |
"ClassAssertion" |
public static final String |
ClassDeclaration |
"Class" |
public static final String |
closePar |
")" |
public static final String |
DataPropertyAssertion |
"DataPropertyAssertion" |
public static final String |
DataPropertyDeclaration |
"DataProperty" |
public static final String |
Declaration |
"Declaration" |
public static final String |
DifferentIndividuals |
"DifferentIndividuals" |
public static final String |
DisjointClasses |
"DisjointClasses" |
public static final String |
EquivalentClasses |
"EquivalentClasses" |
public static final String |
EquivalentProperties |
"EquivalentProperties" |
public static final String |
FunctionalObjectProperty |
"FunctionalObjectProperty" |
public static final String |
InverseFunctionalObjectProperty |
"InverseFunctionalObjectProperty" |
public static final String |
InverseObjectProperties |
"InverseObjectProperties" |
public static final String |
NamedIndividualDeclaration |
"NamedIndividual" |
public static final String |
NegativeObjectPropertyAssertion |
"NegativeObjectPropertyAssertion" |
public static final String |
ObjectPropertyAssertion |
"ObjectPropertyAssertion" |
public static final String |
ObjectPropertyChain |
"ObjectPropertyChain" |
public static final String |
ObjectPropertyDeclaration |
"ObjectProperty" |
public static final String |
openPar |
"(" |
public static final String |
RangeAxiom |
"RangeAxiom" |
public static final String |
ReflexiveObjectProperty |
"ReflexiveObjectProperty" |
public static final String |
SameIndividual |
"SameIndividual" |
public static final String |
sp |
" " |
public static final String |
SubClassOf |
"SubClassOf" |
public static final String |
SubObjectPropertyOf |
"SubObjectPropertyOf" |
public static final String |
TransitiveObjectProperty |
"TransitiveObjectProperty" |
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.