KR2020Proceedings of the 17th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning

Rhodes, Greece. September 12-18, 2020.

Edited by
  1. Diego Calvanese
  2. Esra Erdem
  3. Michael Thielscher

ISSN: 2334-1033
ISBN: 978-0-9992411-7-2

Sponsored by
Published by

Copyright © 2020 International Joint Conferences on Artificial Intelligence Organization

Multi-head Guarded Existential Rules Over Fixed Signatures

  1. Georg Gottlob(Department of Computer Science, University of Oxford)
  2. Marco Manna(Department of Mathematics and Computer Science, University of Calabria)
  3. Andreas Pieris(School of Informatics, University of Edinburgh)
PDF
BibTeX
https://doi.org/10.24963/kr.2020/45

Keywords

  1. Description logics-General
  2. Logic programming, answer set programming, constraint logic programming-General
  3. Ontology formalisms and models-General
  4. 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.