面向易处理本体介导查询回答的通用语言
人工智能
2019-12-16 v2 数据库
计算机科学中的逻辑
摘要
若一种用于本体介导查询回答的本体语言（OMQA语言）是某一OMQA语言族中最具表达力的，则称其为该语言族的通用语言。本文关注三个易处理OMQA语言族，包括一阶可重写语言以及查询回答的数据复杂度为AC0或PTIME的语言。在负面结果方面，我们证明一般而言这些语言族各自都不存在通用语言。在正面结果方面，我们提出一种新性质——局部性（locality）来近似一阶可重写性，并证明存在一种析取嵌入依赖语言，它是具有局部性的OMQA语言族的通用语言。所有这些结果均适用于使用合取查询、合取查询的并集和无环合取查询等查询语言的OMQA。
引用
@article{arxiv.1911.11359,
title = {Towards Universal Languages for Tractable Ontology Mediated Query Answering},
author = {Heng Zhang and Yan Zhang and Jia-Huai You and Zhiyong Feng and Guifei Jiang},
journal= {arXiv preprint arXiv:1911.11359},
year = {2019}
}
备注
10 pages, 1 figure, the full version of a paper accepted for AAAI 2020. Some typos have been corrected