The Combined Approach to Query Answering in Horn-ALCHOIQ
From International Center for Computational Logic
The Combined Approach to Query Answering in Horn-ALCHOIQ
Talk by David Carral
- Location: APB 3027
- Start: 18. October 2018 at 1:00 pm
- End: 18. October 2018 at 1:30 pm
- Research group: Computational Logic
- Research group: Automata Theory
- Research group: Knowledge-Based Systems
- Event series: KBS Seminar
- iCal
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 worst-case optimal for \halchoiq and \elho ontologies. We implement and study the feasibility of our algorithm, and compare its performance to the DL reasoner Konclude."
This is a rehearsal talk for KR 2018.- More info at: https://iccl.inf.tu-dresden.de/web/Inproceedings3098/en
