首页    期刊浏览 2024年09月19日 星期四
登录注册

文章基本信息

  • 标题:Complexity and Expressive Power of Ontology-Mediated Queries (Invited Talk)
  • 本地全文:下载
  • 作者:Carsten Lutz
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2016
  • 卷号:47
  • 页码:2:1-2:11
  • DOI:10.4230/LIPIcs.STACS.2016.2
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:Data sets that have been collected from multiple sources or extracted from the web or often highly incomplete and heterogeneous, which makes them hard to process and query. One way to address this challenge is to use ontologies, which provide a way to assign a semantics to the data, to enrich it with domain knowledge, and to provide an enriched and uniform vocabulary for querying. The combination of a traditional database query with an ontology is called an ontology-mediated query (OMQ). The aim of this talk is to survey fundamental properties of OMQs such as their complexity, expressive power, descriptive strength, and rewritability into traditional query languages such as SQL and Datalog. A central observation is that there is a close and fruitful connection between OMQs and constraint satisfaction problems (CSPs) as well as related fragments of monadic NP, which puts OMQs into a more general perspective and gives raise to a number of interesting results.
  • 关键词:Ontology-Mediated Queries; Description Logic; Constraint Satisfaction
国家哲学社会科学文献中心版权所有