• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>20th European conference on artificial intelligence >Inconsistency Handling in Datalog+/- Ontologies
【24h】

Inconsistency Handling in Datalog+/- Ontologies

机译：Datalog +/-本体中的不一致处理

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The advent of the Semantic Web has made the problem of inconsistency management especially relevant. Datalog+/- is a family of ontology languages that is in particular useful for representing and reasoning over lightweight ontologies in the Semantic Web. In this paper, we study different semantics for query answering in inconsistent Datalog+/- ontologies. We develop a general framework for inconsistency management in Datalog+/- ontologies based on incision functions from belief revision, in which we can characterize several query answering semantics as special cases: (i) consistent answers, originally developed for relational databases and recently adopted for some classes of description logics (DLs), (ii) intersection semantics, a sound approximation of consistent answers, and (iii) lazy consistent answers, a novel alternative semantics that offers a good compromise between quality of answers and computation time. We also provide complexity results for query answering under the different semantics, including data tractability results.
机译：语义网的出现使不一致管理的问题变得尤为重要。 Datalog +/-是一类本体语言，对于在语义Web中通过轻量级本体表示和推理特别有用。在本文中，我们研究了不一致的Datalog +/-本体中查询应答的不同语义。我们基于信念修订中的切入函数，开发了用于Datalog +/-本体中不一致管理的通用框架，在该框架中，我们可以将几种查询回答语义表征为特殊情况：（i）一致答案，最初是为关系数据库开发的，最近在某些数据库中采用描述逻辑（DL）类，（ii）相交语义，一致答案的合理近似，以及（iii）惰性一致答案，这是一种新颖的替代语义，可以在答案质量和计算时间之间做出很好的折衷。我们还提供了在不同语义下查询答复的复杂性结果，包括数据可处理性结果。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号