Ontology-based Data Access: A Study through Disjunctive Datalog, CSP,
and MMSNP

v1v2 (latest)

Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP

28 January 2013

Meghyn Bienvenu

ArXiv (abs)PDF HTML

Papers citing "Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP"

4 / 4 papers shown

Title
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version) A. Artale Anton Gnatenko Vladislav Ryzhikov Michael Zakharyaschev 46 1 0 23 Jan 2025
Decidability of Querying First-Order Theories via Countermodels of Finite Width Thomas Feller Tim S. Lyon Piotr Ostropolski-Nalewaja Sebastian Rudolph LRM 38 2 0 13 Apr 2023
Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog Sebastian Rudolph Markus Krotzsch Pascal Hitzler 58 35 0 04 Feb 2012
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs Georg Gottlob T. Schwentick 63 91 0 19 Jun 2011