当前位置: X-MOL 学术 › Fundam. Inform. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure
Fundamenta Informaticae ( IF 1.166 ) Pub Date : 2020-12-18 , DOI: 10.3233/fi-2020-1973
Laura Giordano 1 , Valentina Gliozzi 2
Affiliation  

Reasoning about exceptions in ontologies is nowadays one of the challenges the description logics community is facing. The paper describes a preferential approach for dealing with exceptions in Description Logics, based on the rational closure. The rational closure has the merit of providing a simple and efficient approach for reasoning with exceptions, but it does not allow independent handling of the inheritance of different defeasible properties of concepts. In this work we outline a possible solution to this problem by introducing a variant of the lexicographical closure, that we call skeptical closure, which requires to construct a single base. We develop a bi-preference semantics semantics for defining a characterization of the skeptical closure.

中文翻译:

本体论中的异常推理:从词典式闭合到怀疑式闭合

对本体中的异常进行推理是当今描述逻辑社区面临的挑战之一。该论文描述了一种基于合理闭包的处理描述逻辑中异常的优先方法。有理闭包的优点是提供了一种简单有效的异常推理方法,但它不允许独立处理概念的不同可废止属性的继承。在这项工作中,我们通过引入字典闭包的变体来概述这个问题的可能解决方案,我们称之为怀疑闭包,它需要构造一个单一的基础。我们开发了一个双偏好语义语义来定义怀疑闭包的特征。
更新日期:2020-12-18
down
wechat
bug