Get our free extension to see links to code for papers anywhere online!Free add-on: code for papers everywhere!Free add-on: See code for papers anywhere!
Abstract:This paper is an appendix to the paper "Reasoning with Justifiable Exceptions in Contextual Hierarchies" by Bozzato, Serafini and Eiter, 2018. It provides further details on the language, the complexity results and the datalog translation introduced in the main paper.
* Appendix to the paper "Reasoning with Justifiable Exceptions in
Contextual Hierarchies", accepted to the 16th International Conference on
Principles of Knowledge Representation and Reasoning (KR 2018)