[PDF][PDF] The combined approach to query answering beyond the OWL 2 profiles

C Feier, D Carral, G Stefanoni, BC Grau… - … -Fourth International Joint …, 2015 - ijcai.org
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015ijcai.org
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 …
Abstract
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 wrt a logic program with function symbols and stratified negation. Our results have significant practical implications since many out-of-profile Horn ontologies are RSA.
ijcai.org
以上显示的是最相近的搜索结果。 查看全部搜索结果