论文标题
描述逻辑中的不脱节推理：DL^n上的概述
Defeasible reasoning in Description Logics: an overview on DL^N
论文作者
论文摘要
dl^n是一种最近的方法，它扩展了描述逻辑具有不稳定的推理能力。在本文中，我们提供了关于DL^n的概述，说明了基本知识工程要求以及可保护Dl^n的特征特征，这些功能可将dl^n从某些经常性的语义和计算缺陷中。我们还将dl^n与一些替代性非单调语义进行了比较，从而启发了klm假设与dl^n之间的关系。
DL^N is a recent approach that extends description logics with defeasible reasoning capabilities. In this paper we provide an overview on DL^N, illustrating the underlying knowledge engineering requirements as well as the characteristic features that preserve DL^N from some recurrent semantic and computational drawbacks. We also compare DL^N with some alternative nonmonotonic semantics, enlightening the relationships between the KLM postulates and DL^N.
