[PDF][PDF] The combined approach to query answering in Horn-ALCHOIQ

D Carral, I Dragoste, M Krötzsch - Sixteenth International Conference …, 2018 - cdn.aaai.org
D Carral, I Dragoste, M Krötzsch
Sixteenth International Conference on Principles of Knowledge …, 2018cdn.aaai.org
Combined approaches have become a successful technique for solving conjunctive query
(CQ) answering over description logics (DL) ontologies. Nevertheless, existing approaches
are restricted to tractable DL languages. In this work, we extend the combined method to the
more expressive DL Horn-ALCHOIQ—a language for which CQ answering is EXPTIME-
complete—in order to develop an efficient and scalable CQ answering procedure which is
worstcase optimal for Horn-ALCHOIQ and ELHO ontologies. We implement and study the …
Abstract
Combined approaches have become a successful technique for solving conjunctive query (CQ) answering over description logics (DL) ontologies. Nevertheless, existing approaches are restricted to tractable DL languages. In this work, we extend the combined method to the more expressive DL Horn-ALCHOIQ—a language for which CQ answering is EXPTIME-complete—in order to develop an efficient and scalable CQ answering procedure which is worstcase optimal for Horn-ALCHOIQ and ELHO ontologies. We implement and study the feasibility of our algorithm, and compare its performance to the DL reasoner Konclude.
cdn.aaai.org
以上显示的是最相近的搜索结果。 查看全部搜索结果