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

Konclude <command> [parameters]                    August 2016                                       KONCLUDE(1)