ResearchTrend.AI
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

Meghyn Bienvenu
B. T. Cate
C. Lutz
F. Wolter
ArXiv (abs)PDFHTML

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)
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
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
Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
Sebastian Rudolph
Markus Krotzsch
Pascal Hitzler
56
35
0
04 Feb 2012
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs
Georg Gottlob
T. Schwentick
63
91
0
19 Jun 2011