CKRew - CKR datalog rewriter
Datalog rewriter for defeasible multi-relational Contextualized Knowledge Repositories in OWL RL
This release of CKRew (CKR Datalog Rewriter) provides a tool for reasoning over multi-relational Contextualized Knowledge Repositories in OWL RL (over time and coverage hierarchies) by an encoding in ASP programs with asprin preferences.
The zip archive of the release contains the Java-based tool and examples showing its application to multi-relational CKRs.
Hardware architecture: X64
Additional information:
CKRew is a Java command-line tool for the translation of OWL/RDF based contextualized repositories into ASP+asprin programs.
External links:
The CKRew source code is publicly available at
https://github.com/dkmfbk/ckrew
including instructions on how to install and run the tool.
Further information and examples can be found at the CKRew homepage
References:
The latest extension of CKRew for the management of multi-relational CKRs is described in the following publication:
- Loris Bozzato, Thomas Eiter and Rafael Kiesel (2021).
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures.
In 37th International Conference on Logic Programming (ICLP 2021). Preprint: https://arxiv.org/abs/2108.03100 - Loris Bozzato, Thomas Eiter, Rafael Kiesel, Luciano Serafini, Peter Schüller (2021).
Reasoning on Contextual Hierarchies via Answer Set Programming with Algebraic Measures. Technical Report. https://tinyurl.com/FBK-TUW-MP-Report