KONCLUDE(1)

💖 KONCLUDE(1) 💖

Okay bestie, this is the KONCLUDE(1) page from the User Commands section, and it's giving main character energy 💅✨

✨ NAME ✨

Konclude — Reasoner for the SROIQV(D) Description Logic 🧚

🌸 DESCRIPTION 🌸

Okay so the whole vibe is Konclude <command> [parameters] 💅 You pick a command, then sprinkle in whatever parameters you need. No cap, it's that simple.

👑 Available commands:

• owllinkfile — Processes an OWLlink request file. You have to hand it over with the -i parameter 📄
• owllinkserver — Listens on the port (default 8080) for OWLlink requests sent over HTTP 🌐
• classification — Classifies the ontology you point at with -i 🦋
• consistency — Checks the consistency of the ontology you point at with -i 🫶
• satisfiability — Checks whether the class you name with -x is satisfiable, for the ontology you give with -i 🔥
• realization — Realizes the ontology you give with -i, or just one individual if you name it with -x 🌈
• sparqlfile — Processes a SPARQL request file that you pass with -s, and the results get written to whatever file -o points at 🎀
  • Heads up: an ontology can be given with -i, or via a SPARQL Update LOAD command inside the SPARQL file 🙈
• sparqlserver — Listens on the port (default 8080) for SPARQL requests sent via HTTP POST 💜

🎀 Configurable parameter:

• -w X — Sets how many processing threads you get. X has to be an integer greater than 0, or 'AUTO' to scale the threads to your computer's cores ⚡
• -c FILEPATH — The path and file name of the config file 🧁
• -i FILEPATH — The path and file name of the ontology input file / OWLlink request file 📂
• -o FILEPATH — The path and file name of the output / (SPARQL) result / (OWLlink) response file 💌
• -s FILEPATH — The path and file name of the SPARQL request/query file 🔍
• -x IRI — The IRI of the input entity 🧚
• -p PORT — Sets PORT as the listening port for the OWLlink/SPARQL server 🚪
• -a — Periodically prints the progress of whatever's currently running 📈
• -v — Shows loading and processing times in more detail 🕰️
• -h — Shows this help. Heads up, it overwrites all other arguments/parameters 💀

---

🦋 EXAMPLES 🦋

Okay here are the examples, bestie. Copy, paste, slay 🫶

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

---

That's the whole page, bestie! 🌈💖 Source: Konclude <command> [parameters], dated April 2024, filed under KONCLUDE(1) 🎀 Now go be iconic 👑✨