Defeasible justification for KLM-style logic

Research in description logics (DLs) and formal ontologies has dedicated quite an effort to the investigation of the notion of explanation for DL reasoning, for example relying on the notion of justification [1]. There has also been some effort dedicated to the definition of defeasible reasoning for DLs that, contrary to the classical monotonic reasoning, is appropriate for dealing with incomplete/uncertain information. In the present paper, we extend the notion of justification to the framework of defeasible reasoning for DLs; specifically, we consider rational closure [2], an entailment relation that is of particular importance in the area of defeasible reasoning. Here we present the main theoretical results for the DL 𝒜ℒ𝒞, and an implementation of our solution, at the moment developed for propositional logic.