12/09/2020

Multi-head Guarded Existential Rules Over Fixed Signatures

Georg Gottlob, Marco Manna, Andreas Pieris

Keywords: Description logics-General, Logic programming, answer set programming, constraint logic programming-General, Ontology formalisms and models-General, Ontology-based data access, integration, and exchange-General

Abstract: Guarded existential rules form a robust rule-based language for modelling ontologies. The central problem of ontology-based query answering, as well as the notion of polynomial combined rewritability, have been extensively studied during the last years for this formalism. However, the relevant setting where the underlying signature is considered to be fixed is far from being well understood. All the existing results on ontology-based query answering and polynomial combined rewritability assume rule heads with one atom, while existential rules in real ontologies are typically coming with multi-heads consisting of several atoms. We aim to fill this gap.

 0
 0
 0
 0
This is an embedded video. Talk and the respective paper are published at KR 2020 virtual conference. If you are one of the authors of the paper and want to manage your upload, see the question "My papertalk has been externally embedded..." in the FAQ section.

Comments

Post Comment
no comments yet
code of conduct: tbd

Similar Papers