Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning

Taispeáin leaganacha eile (3)

We study the problem of rewriting a disjunctive datalog program into plain datalog. We show that a disjunctive program is rewritable if and only if it is equivalent to a linear disjunctive program, thus providing a novel characterisation of datalog rewritability. Motivated by this result, we propose...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Kaminski, M, Nenov, Y, Cuenca Grau, B
Formáid:	Conference item
Foilsithe / Cruthaithe:	Association for Computing Machinery 2014

Míreanna comhchosúla

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
de réir: Cuenca Grau, B, et al.
Foilsithe / Cruthaithe: (2016)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Datalog rewriting techniques for non-Horn ontologies
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Computing Datalog Rewritings Beyond Horn Ontologies
de réir: Grau, B, et al.
Foilsithe / Cruthaithe: (2013)

Complexity and expressive power of disjunction and negation in limit datalog
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2020)

Disjunctive Datalog
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (1997)

Ontology module extraction via datalog reasoning
de réir: Romero, AA, et al.
Foilsithe / Cruthaithe: (2015)

Stream reasoning with DatalogMTL
de réir: Walega, P, et al.
Foilsithe / Cruthaithe: (2023)

Stream reasoning in temporal datalog
de réir: Ronca, A, et al.
Foilsithe / Cruthaithe: (2018)

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
de réir: Cristina Feier, et al.
Foilsithe / Cruthaithe: (2019-05-01)

Adding Disjunction to Datalog
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (1994)

Sufficient Conditions for First−Order and Datalog Rewritability in ELU
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2013)

Combining rewriting and incremental materialisation maintenance for datalog programs with equality
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2015)

Module extraction in expressive ontology languages via datalog reasoning
de réir: Grau, B, et al.
Foilsithe / Cruthaithe: (2016)

Reasoning techniques in DatalogMTL
de réir: Wałega, PA, et al.
Foilsithe / Cruthaithe: (2022)

Pay−as−you−go ontology query answering using a datalog reasoner
de réir: Zhou, Y, et al.
Foilsithe / Cruthaithe: (2014)

Reasoning in Description Logics by a Reduction to Disjunctive Datalog.
de réir: Hustadt, U, et al.
Foilsithe / Cruthaithe: (2007)

Optimised storage for datalog reasoning
de réir: Zhang, X, et al.
Foilsithe / Cruthaithe: (2024)

Reasoning over streaming data in metric temporal datalog
de réir: Walega, P, et al.
Foilsithe / Cruthaithe: (2019)

PAGOdA: Pay-As-You-Go query answering using a datalog reasoner
de réir: Zhou, Y, et al.
Foilsithe / Cruthaithe: (2015)

Datalog rewriting for Guarded TGDs
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2022)

Stratified negation in limit datalog programs
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2018)

Enhancing datalog reasoning with hypertree decompositions
de réir: Zhang, X, et al.
Foilsithe / Cruthaithe: (2023)

Small Datalog Query Rewritings for EL
de réir: Stefanoni, G, et al.
Foilsithe / Cruthaithe: (2012)

Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
de réir: Rudolph, S, et al.
Foilsithe / Cruthaithe: (2008)

DatalogMTL over integer timeline
de réir: Walega, PA, et al.
Foilsithe / Cruthaithe: (2020)

Materialisation-based reasoning in DatalogMTL with bounded intervals
de réir: Wałęga, PA, et al.
Foilsithe / Cruthaithe: (2023)

The complexity and expressive power of limit Datalog
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2021)

Inconsistency−Tolerant Query Rewriting for Linear Datalog+⁄−
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2012)

Controlled query evaluation for datalog and OWL 2 profile ontologies
de réir: Kostylev, E, et al.
Foilsithe / Cruthaithe: (2015)

Well−Founded Semantics for Extended Datalog and Ontological Reasoning
de réir: Hernich, A, et al.
Foilsithe / Cruthaithe: (2013)

Well−Founded Semantics for Extended Datalog and Ontological Reasoning
de réir: Hernich, A, et al.
Foilsithe / Cruthaithe: (2013)

Inconsistency Handling in Datalog+⁄− Ontologies
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2012)

Foundations of Declarative Data Analysis Using Limit Datalog Programs
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2017)

DatalogMTL: computational complexity and expressive power
de réir: Walega, P, et al.
Foilsithe / Cruthaithe: (2019)

Tractable fragments of datalog with metric temporal operators
de réir: Wałęga, PA, et al.
Foilsithe / Cruthaithe: (2020)

Algorithmic definitions for KLM-style defeasible disjunctive Datalog
de réir: Matthew Morris, et al.
Foilsithe / Cruthaithe: (2020-12-01)