• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Logic, language, information and computation >Query Answering in Description Logics: The Knots Approach
【24h】

Query Answering in Description Logics: The Knots Approach

机译：描述逻辑中的查询回答：结方法

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

摘要

In the recent years, query answering over Description Logic (DL) knowledge bases has been receiving increasing attention, and various methods and techniques have been presented for this problem. In this paper, we consider knots, which are an instance of the mosaic technique from Modal Logic. When annotated with suitable query information, knots are a flexible tool for query answering that allows for solving the problem in a simple and intuitive way. The knot approach yields optimal complexity bounds, as we illustrate on the DLs ALCH and ALCHI, and can be easily extended to accommodate other constructs.
机译：近年来，基于描述逻辑（DL）知识库的查询答复已受到越来越多的关注，并且针对此问题提出了各种方法和技术。在本文中，我们考虑结，这是Modal Logic的镶嵌技术的一个实例。当使用适当的查询信息进行注释时，结是用于查询回答的灵活工具，它​​允许以简单直观的方式解决问题。正如我们在DL ALCH和ALCHI上所说明的，结方法可产生最佳的复杂性界限，并且可以轻松扩展以适应其他结构。

著录项

  • 来源
  • 会议地点 Tokyo(JP);Tokyo(JP)
  • 作者

    Thomas Eiter; Carsten Lutz; Magdalena Ortiz; Mantas Simkus;

  • 作者单位

    Institute of Information Systems, Vienna University of Technology Favoritenstrasse 9-11, A-1040 Vienna, Austria;

    Fachbereich Mathematik und Informatik, University of Bremen Bibliothekstrasse 1, D-28359 Bremen, Germany;

    Institute of Information Systems, Vienna University of Technology Favoritenstrasse 9-11, A-1040 Vienna, Austria;

    Institute of Information Systems, Vienna University of Technology Favoritenstrasse 9-11, A-1040 Vienna, Austria;

  • 会议组织
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类 程序设计、软件工程;
  • 关键词

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号