Reasoning on Information Term Semantics with ASP for Constructive ELꓕ

Constructive description logics represent different re-interpretations of description logics (DLs) under constructive semantics. Constructive description logics have been mostly studied for their formal properties, while limited practical approaches have been shown for their use in Knowledge Representation languages and tools (which, on the other hand, constitute the distinctive applications of description logics). To address this aspect, we recently studied the relation of constructive DLs based on Information Term semantics with Answer Set semantics in the context of the positive logic EL. In this paper we continue this study in the direction of more expressive DLs by considering the introduction of negative information, leading to a constructive interpretation for the DL EL⊥. We show that formal results linking the constructive semantics to answer set semantics can be extended to the case of negative information in EL⊥.