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