Man pages sections > man1 > Konclude

Konclude - Reasoner for the SROIQV(D) Description Logic

KONCLUDE(1) User Commands KONCLUDE(1)

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
August 2016 Konclude <command> [parameters]