Affiliations: Fondazione Bruno Kessler, Via Sommarive 18, 38123 Trento, Italy. [email protected]
Correspondence:
[*]
Address for correspondence: Fondazione Bruno Kessler, Via Sommarive 18, 38123 Trento, Italy
Abstract: 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 ɛℒ 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.
Keywords: Constructive description logics, Information terms semantics, Answer Set Programming
