论文标题
ASP在概念意识的多重重量轻量级DL中推理的方法
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
论文作者
论文摘要
在本文中，我们开发了一个概念意识到的多首选语义，用于处理描述逻辑中的典型性，其中偏好与概念相关联，从包含不良概念夹杂物的排名Tboxes集合开始。组合偏好以定义一个优先解释，在该解释中可以评估可不吻合的夹杂物。概念意识的多重语义的构建与Brewka的定性偏好框架有关。我们利用答案集编程（尤其是ASPRIN）来实现轻量级描述逻辑EL+BOT的多重方法下的不稳定推理。 该论文正在考虑在TPLP中接受。
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 EL+bot. The paper is under consideration for acceptance in TPLP.
