.\" DO NOT MODIFY THIS FILE!  It was generated by help2man 1.47.11.
.TH KONCLUDE "1" "October 2019" "Konclude <command> [parameters]" "User Commands"
.SH NAME
.PP
Konclude \- Reasoner for the SROIQV(D) Description Logic
.SH DESCRIPTION
.PP
Konclude <command> [parameters]
.SS "Available commands:"
.IP
.TP
.B owllinkfile
Processes an OWLlink request file, which has to be specified with the parameter \fB\-i\fR.
.TP
.B owllinkserver
Listening on the specified port (default 8080) for OWLlink requests sent over HTTP.
.TP
.B classification
Classifies the ontology that is specified with the parameter \fB\-i\fR.
.TP
.B consistency
Checks the consistency of the ontology that is specified with the parameter \fB\-i\fR.
.TP
.B satisfiability
Checks the satisfiability of the class that is specified with \fB\-x\fR for the ontology specified with \fB\-i\fR.
.TP
.B realization
Realizes the ontology that is specified with \fB\-i\fR (or only a certain individual that is specified with \fB\-x\fR).
.TP
.B sparqlfile
Processes a SPARQL request file, which has to be specified with the parameter \fB\-s\fR, results are written to the file specified by \fB\-o\fR.
.IP
(an ontology can be given with \fB\-i\fR or via a SPARQL Update LOAD command in the SPARQL file)
.IP
.TP
.B sparqlserver
Listening on the specified port (default 8080) for SPARQL requests sent via HTTP POST.
.SS "Configurable parameter:"
.TP
.TP
.B \fB\-w\fR 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.
.HP
.TP
.B \fB\-c\fR FILEPATH 
Path and file name of the config file.
.HP
.TP
.B \fB\-i\fR FILEPATH 
Path and file name of the ontology input file / OWLlink request file.
.HP
.TP
.B \fB\-o\fR FILEPATH 
Path and file name of the output / (SPARQL) result / (OWLlink) response file.
.HP
.TP
.B \fB\-s\fR FILEPATH 
Path and file name of the SPARQL request/query file.
.HP
.TP
.B \fB\-x\fR IRI 
IRI of the input entity.
.HP
.TP
.B \fB\-p\fR PORT
Specifies PORT as the listening port for the OWLlink/SPARQL server.
.HP
.TP
.B \fB\-a\fR 
Periodically prints the progress of the current activities.
.HP
.TP
.B \fB\-v\fR 
Shows loading and processing times in more detail.
.HP
.TP
.B \fB\-h\fR 
Shows this help (overwrites all other arguments/parameters).
.SH EXAMPLES
.PP
Konclude owllinkfile \-i Tests/test\-request.xml \-o test\-response.xml
.PP
Konclude owllinkfile \-c Configs/default\-config.xml \-i Tests/test\-request.xml \-o test\-response.xml
.PP
Konclude owllinkserver \-w 2 \-c Configs/default\-config.xml \-p 8080
.PP
Konclude satisfiability \-i Tests/galen.owl.xml \-x http://ex.test/galen#ExternalIliacVein
.PP
Konclude classification \-w AUTO \-i Tests/roberts\-family\-full\-D.owl.xml \-o Tests/roberts\-family\-full\-D\-class.owl.xml
.PP
Konclude realization \-w AUTO \-i Tests/roberts\-family\-full\-D.owl.xml \-o Tests/roberts\-family\-full\-D\-real.owl.xml
.PP
Konclude sparqlfile \-s Tests/sparql\-load\-and\-query\-test.sparql \-o Tests/query\-answers.xml
.PP
Konclude sparqlfile \-s Tests/sparql\-existential\-variables\-query\-test.sparql \-i Tests/roberts\-family\-full\-D.owl.xml
.PP
Konclude sparqlserver \-p 8080 \-c Configs/querying\-config.xml
.PP