Reasoning on Information Term Semantics with ASP for Constructive EL_bot

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⊥.