An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. Issue 5 (September 2020)

• Record Type: Journal Article
• Authors: Giordano, Laura; Theseider Dupré, Daniele
• Is Part Of: Theory and practice of logic programming. Volume 20:Issue 5(2020)
• Page Start: 751
• Page End: 766
• Publication Date: 2020-09
• Subjects: Nonmonotonic Reasoning, -- Description Logics, -- Preferences, -- ASP; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068420000381
• Languages: English
• ISSNs: 1471-0684

Abstract

Abstract: In this paper we develop a concept aware multi-preferential semantics for dealing with typicality in description logics, where preferences are associated with concepts, starting from a collection of ranked TBoxes containing defeasible concept inclusions. Preferences are combined to define a preferential interpretation in which defeasible inclusions can be evaluated. The construction of the concept-aware multipreference semantics is related to Brewka's framework for qualitative preferences. We exploit Answer Set Programming (in particular, asprin ) to achieve defeasible reasoning under the multipreference approach for the lightweight description logic ξ $\mathcal L_ \bot ^ + $ .