Konclude - Reasoner for the SROIQV(D) Description Logic

       Konclude <command> [parameters]

   Availablecommands: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.

   Configurableparameter:-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).

       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

Konclude <command> [parameters]                    April 2024                                        KONCLUDE(1)

       Konclude - Reasoner for the SROIQV(D) Description Logic