  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.
