The Combined Approach to Query Answering Beyond the OWL 2 Profiles
The Combined Approach to Query Answering Beyond the OWL 2 Profiles
复制标题
超越 OWL 2 配置文件的查询应答组合方法
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Ian Horrocks
中科院分区：
文献类型：
--
作者：
C. Feier;David Carral;Giorgio Stefanoni;B. C. Grau;Ian Horrocks
结合的方法已经成为一个成功的技术CQ回答本体。然而，现有的算法仅限于支持OWL 2配置文件的逻辑。我们的目标是使组合方法适用于更广泛的本体。我们专注于RSA：一类霍恩本体，扩展的配置文件，同时确保标准推理的易处理性。我们表明，CQ回答RSA本体没有角色组合是可行的NP。我们的推理过程概括了ELHO和DL-LiteR的组合方法，使用CQ回答编码为事实蕴涵w.r.t.具有函数符号和分层否定的逻辑程序。我们的研究结果具有重要的实际意义，因为许多出配置文件的霍恩本体是RSA。
Combined approaches have become a successful technique for CQ answering over ontologies. Existing algorithms, however, are restricted to the logics underpinning the OWL 2 profiles. Our goal is to make combined approaches applicable to a wider range of ontologies. We focus on RSA: a class of Horn ontologies that extends the profiles while ensuring tractability of standard reasoning. We show that CQ answering over RSA ontologies without role composition is feasible in NP. Our reasoning procedure generalises the combined approach for ELHO and DL-LiteR using an encoding of CQ answering into fact entailment w.r.t. a logic program with function symbols and stratified negation. Our results have significant practical implications since many out-of-profile Horn ontologies are RSA.