• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Theory and practice of logic programming >Reasoning on DL-Lite_R with Defeasibility in ASP
【24h】

Reasoning on DL-Lite_R with Defeasibility in ASP

机译：Reasoning on DL-Lite_R with Defeasibility in ASP

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相关主题

摘要

Reasoning on defeasible knowledge is a topic of interest in the area of description logics, as it isrelated to the need of representing exceptional instances in knowledge bases. In this direction,in our previous works we presented a framework for representing (contextualized) OWL RLknowledge bases with a notion of justified exceptions on defeasible axioms: reasoning in suchframework is realized by a translation into ASP programs. The resulting reasoning processfor OWL RL, however, introduces a complex encoding in order to capture reasoning on thenegative information needed for reasoning on exceptions. In this paper, we apply the justifiedexception approach to knowledge bases in DL-LiteR, that is, the language underlying OWL QL.We provide a definition for DL-LiteR knowledge bases with defeasible axioms and study theirsemantic and computational properties. In particular, we study the effects of exceptions overunnamed individuals. The limited form of DL-LiteR axioms allows us to formulate a simpler ASPencoding, where reasoning on negative information is managed by direct rules. The resultingmaterialization method gives rise to a complete reasoning procedure for instance checking inDL-LiteR with defeasible axioms.

著录项

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号