Multi-head Guarded Existential Rules Over Fixed Signatures

Georg Gottlob, Marco Manna, Andreas Pieris

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Original languageEnglish
Title of host publicationProceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning
PublisherInternational Joint Conferences on Artificial Intelligence Organization
Pages445-454
Number of pages10
ISBN (Electronic)978-0-9992411-7-2
DOIs
Publication statusPublished - 12 Sep 2020
Event17th International Conference on Principles of Knowledge Representation and Reasoning - Rhodes, Greece
Duration: 12 Sep 202018 Sep 2020
https://kr2020.inf.unibz.it/

Conference

Conference17th International Conference on Principles of Knowledge Representation and Reasoning
Abbreviated titleKR 2020
CountryGreece
CityRhodes
Period12/09/2018/09/20
Internet address

Fingerprint Dive into the research topics of 'Multi-head Guarded Existential Rules Over Fixed Signatures'. Together they form a unique fingerprint.

Cite this