文章基本信息

标题：Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach
本地全文：下载
作者：B. Cuenca Grau ; B. Motik
期刊名称：Journal of Artificial Intelligence Research
印刷版ISSN：1076-9757
出版年度：2012
卷号：45
页码：197-255
出版社：American Association of Artificial
摘要：There is currently a growing interest in techniques for hiding parts of the signature of an ontology Kh that is being reused by another ontology Kv. Towards this goal, in this paper we propose the import-by-query framework, which makes the content of Kh accessible through a limited query interface. If Kv reuses the symbols from Kh in a certain restricted way, one can reason over Kv U Kh by accessing only Kv and the query interface. We map out the landscape of the import-by-query problem. In particular, we outline the limitations of our framework and prove that certain restrictions on the expressivity of Kh and the way in which Kv reuses symbols from Kh are strictly necessary to enable reasoning in our setting. We also identify cases in which reasoning is possible and we present suitable import-by-query reasoning algorithms.