Multi-head Guarded Existential Rules Over Fixed Signatures.
KR(2020)
摘要
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 fixed is far from being well-understood. All the existing results on ontology-based query answering and polynomial combined rewritability implicitly assume rule-heads with one atom, whereas existential rules in real ontologies are typically coming with multi-heads consisting of several atoms. We aim to fill this gap.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络