1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
|
/*
* Copyright (C) 2013, 2014, 2015 by the Konclude Developer Team.
*
* This file is part of the reasoning system Konclude.
* For details and support, see <http://konclude.com/>.
*
* Konclude is free software: you can redistribute it and/or modify it under
* the terms of version 2.1 of the GNU Lesser General Public License (LGPL2.1)
* as published by the Free Software Foundation.
*
* You should have received a copy of the GNU Lesser General Public License
* along with Konclude. If not, see <http://www.gnu.org/licenses/>.
*
* Konclude is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. For more
* details, see GNU Lesser General Public License.
*
*/
#include "CCommandLineTranlatorHelpLoader.h"
namespace Konclude {
namespace Control {
namespace Loader {
CCommandLineTranlatorHelpLoader::CCommandLineTranlatorHelpLoader() {
}
CCommandLineTranlatorHelpLoader::~CCommandLineTranlatorHelpLoader() {
}
CLoader *CCommandLineTranlatorHelpLoader::init(CLoaderFactory *loaderFactory, CConfiguration *config) {
return this;
}
CLoader *CCommandLineTranlatorHelpLoader::load() {
LOG(INFO,"::Konclude::Loader::OWLlinkTranslationHelpLoader",logTr(
"Usage: 'Konclude' <command> [parameters]\n"
"\n"
"Available commands:\n"
"\towllinkfile : Processes an OWLlink request file, which has to be specified with the parameter -i.\n"
"\towllinkserver : Listening on the specified port (default 8080) for OWLlink requests sent over HTTP.\n"
"\tclassification : Classifies the ontology that is specified with the parameter -i.\n"
"\tconsistency : Checks the consistency of the ontology that is specified with the parameter -i.\n"
"\tsatisfiability : Checks the satisfiability of the class that is specified with -x for the ontology specified with -i.\n"
"\trealization : Realizes the ontology that is specified with -i (or only a certain individual that is specified with -x).\n"
"\n"
"Configurable parameter:\n"
"\t-w X : Configures the number of processing threads. X has to be an integer greater than 0 or 'AUTO' for\n"
"\t\tscaling the number of processing threads to the number of computer cores.\n"
"\t-c FILEPATH : Path and file name of the config file.\n"
"\t-i FILEPATH : Path and file name of the input file / OWLlink request file.\n"
"\t-o FILEPATH : Path and file name of the output file / OWLlink response file.\n"
"\t-x IRI : IRI of the input entity.\n"
"\t-p PORT: Specifies PORT as the listening port for the OWLlink server.\n"
"\t-a : Periodically prints the progress of the current activities.\n"
"\t-v : Shows more detailed loading and processing times.\n"
"\t-h : Shows this help (dominates all previous parameters).\n"
"\n"
"Examples:\n"
"\tKonclude owllinkfile -i Tests/test-request.xml -o test-response.xml\n"
"\tKonclude owllinkfile -c Configs/default-config.xml -i Tests/test-request.xml -o test-response.xml\n"
"\tKonclude owllinkserver -w 2 -c Configs/default-config.xml -p 8080\n"
"\tKonclude satisfiability -i Tests/galen.owl.xml -x http://ex.test/galen#ExternalIliacVein\n"
"\tKonclude classification -w AUTO -i Tests/roberts-family-full-D.owl.xml -o Tests/roberts-family-full-D-class.owl.xml\n"
"\tKonclude realization -w AUTO -i Tests/roberts-family-full-D.owl.xml -o Tests/roberts-family-full-D-real.owl.xml\n"
"\n"
),this);
QCoreApplication::exit();
return this;
}
CLoader *CCommandLineTranlatorHelpLoader::exit() {
return this;
}
}; // end namespace Loader
}; // end namespace Control
}; // end namespace Konclude
|
