Towards Efficient Reasoning Under Guarded-Based Disjunctive Existential Rules

DOI10.1007/978-3-662-44522-8_9zbMath1425.68138OpenAlexW1615193254MaRDI QIDQ2922006

Michael Morak, Pierre Bourhis, Andreas Pieris

Publication date: 14 October 2014

Published in: Mathematical Foundations of Computer Science 2014 (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01053179/file/mfcs2014.pdf

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Database theory (68P15) Knowledge representation (68T30) Logic in computer science (03B70)

Related Items (2)

Invited Talk: Coherentisation of First-Order Logic ⋮ Recent Advances in Datalog$$^\pm $$

This page was built for publication: Towards Efficient Reasoning Under Guarded-Based Disjunctive Existential Rules