Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix)
2018-08-06Unverified0· sign in to hype
Loris Bozzato, Luciano Serafini, Thomas Eiter
Unverified — Be the first to reproduce this paper.
ReproduceAbstract
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.