{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,10]],"date-time":"2024-08-10T04:38:24Z","timestamp":1723264704068},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,7]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.24963\/kr.2020\/45","type":"proceedings-article","created":{"date-parts":[[2020,8,20]],"date-time":"2020-08-20T04:39:16Z","timestamp":1597898356000},"page":"445-454","source":"Crossref","is-referenced-by-count":2,"title":["Multi-head Guarded Existential Rules Over Fixed Signatures"],"prefix":"10.24963","author":[{"given":"Georg","family":"Gottlob","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Oxford"}]},{"given":"Marco","family":"Manna","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria"}]},{"given":"Andreas","family":"Pieris","sequence":"additional","affiliation":[{"name":"School of Informatics, University of Edinburgh"}]}],"member":"10584","event":{"number":"17","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Association for Logic Programming","Center for Perspicuous Computing","European Association for Artificial Intelligence","Ontopic - The Virtual Knowledge Graph Company"],"acronym":"KR-2020","name":"17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}","start":{"date-parts":[[2020,9,12]]},"theme":"Artificial Intelligence","location":"Rhodes, Greece","end":{"date-parts":[[2020,9,18]]}},"container-title":["Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2020,11,5]],"date-time":"2020-11-05T21:18:39Z","timestamp":1604611119000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2020\/45"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2020\/45","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}