Provided by: konclude_0.6.2~dfsg-3_amd64 
NAME
Konclude - Reasoner for the SROIQV(D) Description Logic
DESCRIPTION
Konclude <command> [parameters]
Available commands:
owllinkfile
Processes an OWLlink request file, which has to be specified with the parameter -i.
owllinkserver
Listening on the specified port (default 8080) for OWLlink requests sent over HTTP.
classification
Classifies the ontology that is specified with the parameter -i.
consistency
Checks the consistency of the ontology that is specified with the parameter -i.
satisfiability
Checks the satisfiability of the class that is specified with -x for the ontology specified with
-i.
realization
Realizes the ontology that is specified with -i (or only a certain individual that is specified
with -x).
Configurable parameter:
-w X Configures the number of processing threads. X has to be an integer greater than 0 or 'AUTO' for
scaling the number of processing threads to the number of computer cores.
-c FILEPATH
Path and file name of the config file.
-i FILEPATH
Path and file name of the input file / OWLlink request file.
-o FILEPATH
Path and file name of the output file / OWLlink response file.
-x IRI
IRI of the input entity.
-p PORT
Specifies PORT as the listening port for the OWLlink server.
-a Periodically prints the progress of the current activities.
-v Shows more detailed loading and processing times.
-h Shows this help (dominates all previous parameters).
EXAMPLES
Konclude owllinkfile -i Tests/test-request.xml -o test-response.xml
Konclude owllinkfile -c Configs/default-config.xml -i Tests/test-request.xml -o test-response.xml
Konclude owllinkserver -w 2 -c Configs/default-config.xml -p 8080
Konclude satisfiability -i Tests/galen.owl.xml -x http://ex.test/galen#ExternalIliacVein
Konclude classification -w AUTO -i Tests/roberts-family-full-D.owl.xml -o
Tests/roberts-family-full-D-class.owl.xml
Konclude realization -w AUTO -i Tests/roberts-family-full-D.owl.xml -o
Tests/roberts-family-full-D-real.owl.xml