交换 OWL 2 QL 知识库
人工智能
2013-07-03 v3
摘要
知识库交换是数据交换和知识表示领域的一个重要问题，旨在通过映射连接源知识库和目标知识库以交换信息。在本文中，我们研究了基于描述逻辑 DL-Lite_R 的 OWL 2 配置文件 OWL 2 QL 中表达的知识库和映射的这一基本问题。具体而言，我们考虑了计算通用解的问题（被确定为最值得实例化的转换之一），以及计算 UCQ-representations 的问题（后者通过合取查询的并集，在目标 TBox 中最优地捕获可从源 TBox 和映射中提取的信息）。对于前者，我们提供了一种新颖的自动机理论技术及从 NP 到 EXPTIME 的复杂度结果；对于后者，我们证明了其 NLOGSPACE-completeness。
引用
@article{arxiv.1304.5810,
title = {Exchanging OWL 2 QL Knowledge Bases},
author = {Marcelo Arenas and Elena Botoeva and Diego Calvanese and Vladislav Ryzhikov},
journal= {arXiv preprint arXiv:1304.5810},
year = {2013}
}