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

Volledige beschrijving

Bibliografische gegevens
Hoofdauteurs:	Benedikt, M, Buron, M, Germano, S, Kappelmann, K, Motik, B
Formaat:	Conference item
Taal:	English
Gepubliceerd in:	CEUR Workshop Proceedings 2022

Gelijkaardige items

Rewriting the infinite chase for guarded TGDs
door: Benedikt, M, et al.
Gepubliceerd in: (2024)

Rewriting the infinite chase
door: Benedikt, M, et al.
Gepubliceerd in: (2022)

Answer Counting under Guarded TGDs
door: Cristina Feier, et al.
Gepubliceerd in: (2023-09-01)

Small Datalog Query Rewritings for EL
door: Stefanoni, G, et al.
Gepubliceerd in: (2012)

Computing Datalog Rewritings Beyond Horn Ontologies
door: Grau, B, et al.
Gepubliceerd in: (2013)

Combining rewriting and incremental materialisation maintenance for datalog programs with equality
door: Motik, B, et al.
Gepubliceerd in: (2015)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
door: Cuenca Grau, B, et al.
Gepubliceerd in: (2016)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
door: Kaminski, M, et al.
Gepubliceerd in: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
door: Kaminski, M, et al.
Gepubliceerd in: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
door: Kaminski, M, et al.
Gepubliceerd in: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
door: Kaminski, M, et al.
Gepubliceerd in: (2014)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
door: Kaminski, M, et al.
Gepubliceerd in: (2014)

Inconsistency−Tolerant Query Rewriting for Linear Datalog+⁄−
door: Lukasiewicz, T, et al.
Gepubliceerd in: (2012)

Datalog rewriting techniques for non-Horn ontologies
door: Kaminski, M, et al.
Gepubliceerd in: (2014)

Sufficient Conditions for First−Order and Datalog Rewritability in ELU
door: Kaminski, M, et al.
Gepubliceerd in: (2013)

Datalog Rewritings of Regular Path Queries using Views
door: Nadime Francis, et al.
Gepubliceerd in: (2015-12-01)

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
door: Cristina Feier, et al.
Gepubliceerd in: (2019-05-01)

Query Answering under Non−guarded Rules in Datalog+/−
door: Calì, A, et al.
Gepubliceerd in: (2010)

Modular materialisation of Datalog programs
door: Hu, P, et al.
Gepubliceerd in: (2022)

Modular materialisation of datalog programs
door: Hu, P, et al.
Gepubliceerd in: (2019)

Optimised maintenance of datalog materialisations
door: Hu, P, et al.
Gepubliceerd in: (2018)

Optimised maintenance of datalog materialisations
door: Hu, P, et al.
Gepubliceerd in: (2018)

Stream reasoning in temporal datalog
door: Ronca, A, et al.
Gepubliceerd in: (2018)

Maintenance of datalog materialisations revisited
door: Motik, B, et al.
Gepubliceerd in: (2019)

Streaming partitioning of RDF graphs for datalog reasoning
door: Ajileye, T, et al.
Gepubliceerd in: (2021)

The complexity and expressive power of limit Datalog
door: Kaminski, M, et al.
Gepubliceerd in: (2021)

Stratified negation in limit datalog programs
door: Kaminski, M, et al.
Gepubliceerd in: (2018)

Query Rewriting under Non−Guarded Rules
door: Calì, A, et al.
Gepubliceerd in: (2010)

Monadic Datalog Containment
door: Benedikt, M, et al.
Gepubliceerd in: (2012)

Monadic Datalog Containment
door: Benedikt, M, et al.
Gepubliceerd in: (2012)

Reasoning in Description Logics by a Reduction to Disjunctive Datalog.
door: Hustadt, U, et al.
Gepubliceerd in: (2007)

Catel–Manzke syndrome: Further delineation of the phenotype associated with pathogenic variants in TGDS
door: Rachel Pferdehirt, et al.
Gepubliceerd in: (2015-09-01)

Datalog materialisation in distributed RDF stores with dynamic data exchange
door: Ajileye, T, et al.
Gepubliceerd in: (2019)

Incremental update of datalog materialisation : the backward/forward algorithm
door: Motik, B, et al.
Gepubliceerd in: (2015)

Incremental update of datalog materialisation: the backward/forward algorithm
door: Motik, B, et al.
Gepubliceerd in: (2015)

Datalog reasoning over compressed RDF knowledge bases
door: Hu, P, et al.
Gepubliceerd in: (2019)

On the correspondence between monotonic max-sum GNNs and datalog
door: Tena Cucala, D, et al.
Gepubliceerd in: (2023)

On the correspondence between monotonic max-sum GNNs and Datalog
door: Tena Cucala, D, et al.
Gepubliceerd in: (2023)

Limit Datalog: A declarative query language for data analysis
door: Grau, BC, et al.
Gepubliceerd in: (2020)

Foundations of Declarative Data Analysis Using Limit Datalog Programs
door: Kaminski, M, et al.
Gepubliceerd in: (2017)