首页    期刊浏览 2024年11月13日 星期三
登录注册

文章基本信息

  • 标题:Module Extraction in Expressive Ontology Languages via Datalog Reasoning
  • 本地全文:下载
  • 作者:Ana Armas Romero ; Mark Kaminski ; Bernardo Cuenca Grau
  • 期刊名称:Journal of Artificial Intelligence Research
  • 印刷版ISSN:1076-9757
  • 出版年度:2016
  • 卷号:55
  • 页码:499-564
  • 出版社:American Association of Artificial
  • 摘要:Module extraction is the task of computing a (preferably small) fragment M of an ontology T that preserves a class of entailments over a signature of interest S. Extracting modules of minimal size is well-known to be computationally hard, and often algorithmically infeasible, especially for highly expressive ontology languages. Thus, practical techniques typically rely on approximations, where M provably captures the relevant entailments, but is not guaranteed to be minimal. Existing approximations ensure that M preserves all second-order entailments of T w.r.t. S, which is a stronger condition than is required in many applications, and may lead to unnecessarily large modules in practice. In this paper we propose a novel approach in which module extraction is reduced to a reasoning problem in datalog. Our approach generalises existing approximations in an elegant way. More importantly, it allows extraction of modules that are tailored to preserve only specific kinds of entailments, and thus are often significantly smaller. Our evaluation on a wide range of ontologies confirms the feasibility and benefits of our approach in practice.
国家哲学社会科学文献中心版权所有