• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Principles of Knowledge Representation and Reasoning(KRamp;R); 20060602-05; Lake District of the United Kingdom(GB) >Data Complexity of Query Answering in Description Logics
【24h】

Data Complexity of Query Answering in Description Logics

机译：描述逻辑中查询应答的数据复杂性

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

摘要

In this paper we study data complexity of answering conjunctive queries over Description Logic knowledge bases constituted by an ABox and a TBox. In particular, we are interested in characterizing the FOL-reducibility and the polynomial tractability boundaries of conjunctive query answering, depending on the expressive power of the Description Logic used to specify the knowledge base. FOL-reducibility means that query answering can be reduced to evaluating queries over the database corresponding to the ABox. Since first-order queries can be expressed in SQL, the importance of FOL-reducibility is that, when query answering enjoys this property, we can take advantage of Data Base Management System (DBMS) techniques for both representing data, i.e., ABox assertions, and answering queries via reformulation into SQL. What emerges from our complexity analysis is that the Description Logics of the DL-Lite family are the maximal logics allowing conjunctive query answering through standard database technology. In this sense, they are the first Description Logics specifically tailored for effective query answering over very large ABoxes.
机译：在本文中，我们研究了在由ABox和TBox构成的Description Logic知识库上回答联合查询的数据复杂性。尤其是，我们有兴趣根据用于指定知识库的描述逻辑的表达能力来表征联合查询应答的FOL可约性和多项式可处理性边界。 FOL可简化性意味着可以将查询回答减少为评估与ABox对应的数据库上的查询。由于一阶查询可以用SQL表示，因此FOL可简化性的重要性在于，当查询应答具有此属性时，我们可以利用数据库管理系统（DBMS）技术来表示数据，即ABox断言，并通过重新格式化为SQL来回答查询。从我们的复杂度分析中得出的结论是，DL-Lite系列的描述逻辑是允许通过标准数据库技术进行联合查询回答的最大逻辑。从这个意义上讲，它们是第一个专门针对大型ABox上的有效查询应答而专门设计的描述逻辑。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号