Clipper is a DL reasoner for conjunctive query answering over Horn-SHIQ ontology via query rewriting.
We use maven build system and Git to manage the source code.
$ git clone https://github.com/ghxiao/clipper.git clipper
$ cd clipper
$ ./build.sh
-
Download DLV to your local machine (e.g., to
~/bin/dlv). -
Run
clipper.shfrom the generated package.
Usage: clipper.sh [options] [command] [command options]
Options:
-v, -verbose Level of verbosity
Default: 1
Commands:
query answerting conjunctive query
Usage: query [options] <ontology.owl> -sparql <cq.sparql>
Options:
-f, --output-format output format, possible values: { table | csv |
atoms | html }
Default: table
-dlv the location of dlv (e.g. /usr/local/bin/dlv)
rewrite rewrite the query w.r.t. the ontology, and generate a datalog program
Usage: rewrite [options] <ontology.owl> [ -sparql <cq.sparql> ]
Options:
--abox-only, -a only rewrite ABox
Default: false
--ontology-and-query, -oq rewrite ontology (= TBox + ABox) and query
Default: false
--ontology-only, -o only rewrite ontology (= TBox + ABox)
Default: false
--remove-redundancy, -r remove redundancy rules w.r.t the query
Default: false
--tbox-and-query, -tq only rewrite TBox and query
Default: false
--tbox-only, -t only rewrite TBox
Default: false
-output-datalog, -d output datalog file
help Print the usage
Usage: help [options]
- Download the source code via git.
- In eclipse, import the project by "File" -> "Import" -> "Maven" -> "Existing Maven Projects" and point to root directory of clipper.
[1] Thomas Eiter, Magdalena Ortiz, Mantas Šimkus, Trung-Kien Tran, and Guohui Xiao. Query Rewriting for Horn-SHIQ plus Rules. In Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI 2012), July 22-26, 2012, Toronto, Ontario, Canada. AAAI, AAAI Press, 2012.. pdf
[2] Thomas Eiter, Magdalena Ortiz, Mantas Šimkus, Trung-Kien Tran, and Guohui Xiao. Towards Practical Query Answering for Horn SHIQ. T. In Y. Kazakov, D. Lembo, and F. Wolter, editors, Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012, volume 846 of CEUR Workshop Proceedings. CEUR-WS.org, 2012. pdf
Contact: xiao(a)inf.unibz.it