Konclude via Command Line

Konclude can be used via command line to process OWLlink requests from files (in OWL 2 XML serialisation) and to execute basic reasoning tasks for ontologies (in OWL 2 XML or OWL 2 Functional Style syntax). Optionally, the OWLlink responses and results can be written to a specified output file.

The first parameter for the command line interface specifies the command that has to be executed by the reasoner (e.g., consistency checking, classification). Some commands require additional parameters that configure, for example, the input file. To process an OWLlink request from a file, Konclude has to be started with the command 'owllinkfile' and the parameter '-i' followed by the path to the input file. The output file for the OWLlink response can be set with the parameter '-o'.

 > Konclude owllinkfile -i ./Tests/test-request.xml -o ./Tests/test-response.xml

Some basic reasoning tasks can be directly executed with a corresponding command. As always, the input file can be specified with '-i' and the output file with '-o'.

 > Konclude classification -i ./Tests/roberts-family-full-D.owl.xml \
            -o ./Tests/roberts-family-full-D-class-hierarchy.owl.xml

The following commands are currently supported:

Creates a server and processes OWLlink requests sent over HTTP  (see Konclude via OWLlink for details).
Processes an OWLlink request file and optionally writes the OWLlink response to the specified output file.
Classifies the specified ontology. If an output file is specified, then Konclude writes the class hierarchy as an OWL 2 ontology (in XML syntax) to the specified file.
Checks the consistency of the specified ontology.
Tests the satisfiability of the specified class for the given ontology.
Realises the individuals of the specified ontology (if also an IRI is specified, then the individual for this IRI is realised). Konclude writes the types of the requested individuals in form of class assertions into an OWL 2 ontology (in XML syntax) to the specified output file.

 The execution of the commands can be configured with the following parameters:

Specifies PORT as the listening port for the OWLlink server (default is 8080).
Configures the input file resp. OWLlink request file.
Configures the output file reap. OWLlink response file.
-x IRI
Specifies an IRI (e.g., required for testing satisfiability and optional for realization).
Sets the number of worker threads to NUMBER (default is 1). If NUMBER is 'AUTO', then the number of worker threads is automatically set to the number of computer cores.
Enables terminal printout of periodical progress statistics
Provides additional timing data for loading and parsing.
Prints the command line usage of Konclude to the console.