Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
subClassOf |
"isA" |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final int |
EMPTY |
-2147483648 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
closePar |
")" |
public static final String |
emptyProp |
"()" |
public static final String |
FunctionalObjectProperty |
"FunctionalObjectProperty*" |
public static final String |
GCI0 |
"SubClassOf*" |
public static final String |
GCI1 |
"SubClassOf*" |
public static final String |
GCI2 |
"SubClassOf*" |
public static final String |
GCI3 |
"SubClassOf*" |
public static final String |
NominalAxiom |
"NominalAxiom*" |
public static final String |
NormalizedRangeAxiom |
"RangeAxiom*" |
public static final String |
openPar |
"(" |
public static final String |
RI1 |
"SubObjectPropertyOf*" |
public static final String |
RI2 |
"SubObjectPropertyOf*" |
public static final String |
RI3 |
"SubObjectPropertyOf*" |
public static final String |
sp |
" " |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
closePar |
")" |
public static final String |
DataHasValue |
"DataHasValue" |
public static final String |
DataSomeValuesFrom |
"DataSomeValuesFrom" |
public static final String |
ObjectIntersectionOf |
"ObjectIntersectionOf" |
public static final String |
ObjectInverseOf |
"ObjectInverseOf" |
public static final String |
ObjectOneOf |
"ObjectOneOf" |
public static final String |
ObjectSomeValuesFrom |
"ObjectSomeValuesFrom" |
public static final String |
openPar |
"(" |
public static final String |
sp |
" " |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
anonymousEntity |
"AnonymousEntity" |
public static final String |
auxiliaryEntity |
"AuxiliaryEntity" |
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" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
cmdClassification |
"classification" |
public static final String |
cmdConsistency |
"consistency" |
public static final String |
cmdEntailment |
"entailment" |
public static final String |
cmdQuery |
"query" |
public static final String |
cmdSat |
"sat" |
public static final String |
cmdSatisfiability |
"satisfiability " |
public static final String |
licenseInfo |
"Copyright (C) 2009-2014 Julian Mendez\nLicenses:\n GNU Lesser General Public License version 3 <http://www.gnu.org/licenses/lgpl.txt>\n Apache License, Version 2.0 <http://www.apache.org/licenses/LICENSE-2.0.txt>\nThis is free software: you are free to change and redistribute it.\njcel is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY.\n" |
public static final String |
optClassURI |
"--classuri=" |
public static final String |
optConclusion |
"--conclusion=" |
public static final String |
optHelp |
"--help" |
public static final String |
optLogLevel |
"--loglevel=" |
public static final String |
optOntology |
"--ontology=" |
public static final String |
optOperation |
"--operation=" |
public static final String |
optOutput |
"--output=" |
public static final String |
optRenderer |
"--renderer=" |
public static final String |
optTimeOut |
"--timeout=" |
public static final String |
optVerbose |
"--verbose" |
public static final String |
optVersion |
"--version" |
public static final String |
rendererFunctional |
"functional" |
public static final String |
rendererKRSS |
"krss" |
public static final String |
rendererKRSS2 |
"krss2" |
public static final String |
rendererKRSS2OWL |
"krss2owl" |
public static final String |
rendererLatex |
"latex" |
public static final String |
rendererManchester |
"manchester" |
public static final String |
rendererXML |
"xml" |
public static final String |
versionInfo |
"jcel 0.22.0" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
reasonerName |
"jcel" |
public static final String |
reasonerVersion |
"0.22.0" |
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.