---
name: "Konclude"
section: "1"
platform: "linux"
package: "konclude"
version: "0.7.0+1138+git20220514~dfsg-1+b1"
release: "Debian 13 (Trixie)"
platforms: ["linux"]
url: "https://new.carta.tech/Konclude"
---

# Konclude(1)

Reasoner for the SROIQV(D) Description Logic

## 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**).

- **sparqlfile**

  Processes a SPARQL request file, which has to be specified with the parameter **-s**, results are written to the file specified by **-o**.

-

  (an ontology can be given with **-i** or via a SPARQL Update LOAD command in the SPARQL file)

-

  - **sparqlserver**

  Listening on the specified port (default 8080) for SPARQL requests sent via HTTP POST.

### 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 ontology input file / OWLlink request file.

- **-o FILEPATH**

  Path and file name of the output / (SPARQL) result / (OWLlink) response file.

- **-s FILEPATH**

  Path and file name of the SPARQL request/query file.

- **-x IRI**

  IRI of the input entity.

- **-p PORT**

  Specifies PORT as the listening port for the OWLlink/SPARQL server.

- **-a**

  Periodically prints the progress of the current activities.

- **-v**

  Shows loading and processing times in more detail.

- **-h**

  Shows this help (overwrites all other arguments/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

Konclude sparqlfile -s Tests/lubm-univ-bench-sparql-load-and-query-test.sparql -o Tests/query-answers.xml

Konclude sparqlfile -s Tests/roberts-family-full-sparql-existential-variables-query-test.sparql -i Tests/roberts-family-full-D.owl.xml

Konclude sparqlserver -p 8080 -c Configs/querying-config.xml