Datalog rewriting for Guarded TGDs

Datalog rewriting for Guarded TGDs

We deal with the problem of fact entailment with respect to a database and a set of integrity constraints, focusing on the case of Guarded tuple-generating dependencies (GTGDs). The original approach to the problem in the literature is via forward reasoning or "chasing", where one complete...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Benedikt, M, Buron, M, Germano, S, Kappelmann, K, Motik, B
Formáid:	Conference item
Teanga:	English
Foilsithe / Cruthaithe:	CEUR Workshop Proceedings 2022

Míreanna comhchosúla

Rewriting the infinite chase for guarded TGDs
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2024)

Rewriting the infinite chase
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2022)

Answer Counting under Guarded TGDs
de réir: Cristina Feier, et al.
Foilsithe / Cruthaithe: (2023-09-01)

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

Computing Datalog Rewritings Beyond Horn Ontologies
de réir: Grau, B, 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)

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

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 its applications to ontology reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

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

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

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

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

Datalog Rewritings of Regular Path Queries using Views
de réir: Nadime Francis, et al.
Foilsithe / Cruthaithe: (2015-12-01)

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

Query Answering under Non−guarded Rules in Datalog+/−
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2010)

Modular materialisation of Datalog programs
de réir: Hu, P, et al.
Foilsithe / Cruthaithe: (2022)

Modular materialisation of datalog programs
de réir: Hu, P, et al.
Foilsithe / Cruthaithe: (2019)

Optimised maintenance of datalog materialisations
de réir: Hu, P, et al.
Foilsithe / Cruthaithe: (2018)

Optimised maintenance of datalog materialisations
de réir: Hu, P, et al.
Foilsithe / Cruthaithe: (2018)

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

Maintenance of datalog materialisations revisited
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2019)

Streaming partitioning of RDF graphs for datalog reasoning
de réir: Ajileye, T, et al.
Foilsithe / Cruthaithe: (2021)

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

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

Query Rewriting under Non−Guarded Rules
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2010)

Monadic Datalog Containment
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2012)

Monadic Datalog Containment
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2012)

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

Catel–Manzke syndrome: Further delineation of the phenotype associated with pathogenic variants in TGDS
de réir: Rachel Pferdehirt, et al.
Foilsithe / Cruthaithe: (2015-09-01)

Datalog materialisation in distributed RDF stores with dynamic data exchange
de réir: Ajileye, T, et al.
Foilsithe / Cruthaithe: (2019)

Incremental update of datalog materialisation : the backward/forward algorithm
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2015)

Incremental update of datalog materialisation: the backward/forward algorithm
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2015)

Datalog reasoning over compressed RDF knowledge bases
de réir: Hu, P, et al.
Foilsithe / Cruthaithe: (2019)

On the correspondence between monotonic max-sum GNNs and datalog
de réir: Tena Cucala, D, et al.
Foilsithe / Cruthaithe: (2023)

On the correspondence between monotonic max-sum GNNs and Datalog
de réir: Tena Cucala, D, et al.
Foilsithe / Cruthaithe: (2023)

Limit Datalog: A declarative query language for data analysis
de réir: Grau, BC, et al.
Foilsithe / Cruthaithe: (2020)

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