ASP Based Generation of Information Terms for Constructive EL

Constructive description logics define interpretations of description
logics under different constructive semantics. These logics have been mostly
studied from the point of view of their formal properties: limited practical approaches
have been shown for their use in knowledge representation and Semantic
Web languages and tools (which, on the other hand, constitute the distinctive
applications of description logics).
In this paper we demonstrate a solution to address this aspect: from the theoretical
point of view, we first introduce an information terms semantics for the minimal
description logic EL and we establish formal results linking this constructive
semantics to answer set semantics. Using these results, on the practical side, we
then present a prototype managing one aspect of such semantics (the generation
of information terms of a knowledge base) using OWL-EL ontologies and “off
the shelf” tools.