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

Полное описание

Библиографические подробности
Главные авторы:	Benedikt, M, Buron, M, Germano, S, Kappelmann, K, Motik, B
Формат:	Conference item
Язык:	English
Опубликовано:	CEUR Workshop Proceedings 2022

Схожие документы

Rewriting the infinite chase for guarded TGDs
по: Benedikt, M, и др.
Опубликовано: (2024)

Rewriting the infinite chase
по: Benedikt, M, и др.
Опубликовано: (2022)

Answer Counting under Guarded TGDs
по: Cristina Feier, и др.
Опубликовано: (2023-09-01)

Small Datalog Query Rewritings for EL
по: Stefanoni, G, и др.
Опубликовано: (2012)

Computing Datalog Rewritings Beyond Horn Ontologies
по: Grau, B, и др.
Опубликовано: (2013)

Combining rewriting and incremental materialisation maintenance for datalog programs with equality
по: Motik, B, и др.
Опубликовано: (2015)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
по: Cuenca Grau, B, и др.
Опубликовано: (2016)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
по: Kaminski, M, и др.
Опубликовано: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
по: Kaminski, M, и др.
Опубликовано: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
по: Kaminski, M, и др.
Опубликовано: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
по: Kaminski, M, и др.
Опубликовано: (2014)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
по: Kaminski, M, и др.
Опубликовано: (2014)

Inconsistency−Tolerant Query Rewriting for Linear Datalog+⁄−
по: Lukasiewicz, T, и др.
Опубликовано: (2012)

Datalog rewriting techniques for non-Horn ontologies
по: Kaminski, M, и др.
Опубликовано: (2014)

Sufficient Conditions for First−Order and Datalog Rewritability in ELU
по: Kaminski, M, и др.
Опубликовано: (2013)

Datalog Rewritings of Regular Path Queries using Views
по: Nadime Francis, и др.
Опубликовано: (2015-12-01)

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
по: Cristina Feier, и др.
Опубликовано: (2019-05-01)

Query Answering under Non−guarded Rules in Datalog+/−
по: Calì, A, и др.
Опубликовано: (2010)

Modular materialisation of Datalog programs
по: Hu, P, и др.
Опубликовано: (2022)

Modular materialisation of datalog programs
по: Hu, P, и др.
Опубликовано: (2019)

Optimised maintenance of datalog materialisations
по: Hu, P, и др.
Опубликовано: (2018)

Optimised maintenance of datalog materialisations
по: Hu, P, и др.
Опубликовано: (2018)

Stream reasoning in temporal datalog
по: Ronca, A, и др.
Опубликовано: (2018)

Maintenance of datalog materialisations revisited
по: Motik, B, и др.
Опубликовано: (2019)

Streaming partitioning of RDF graphs for datalog reasoning
по: Ajileye, T, и др.
Опубликовано: (2021)

The complexity and expressive power of limit Datalog
по: Kaminski, M, и др.
Опубликовано: (2021)

Stratified negation in limit datalog programs
по: Kaminski, M, и др.
Опубликовано: (2018)

Query Rewriting under Non−Guarded Rules
по: Calì, A, и др.
Опубликовано: (2010)

Monadic Datalog Containment
по: Benedikt, M, и др.
Опубликовано: (2012)

Monadic Datalog Containment
по: Benedikt, M, и др.
Опубликовано: (2012)

Reasoning in Description Logics by a Reduction to Disjunctive Datalog.
по: Hustadt, U, и др.
Опубликовано: (2007)

Catel–Manzke syndrome: Further delineation of the phenotype associated with pathogenic variants in TGDS
по: Rachel Pferdehirt, и др.
Опубликовано: (2015-09-01)

Datalog materialisation in distributed RDF stores with dynamic data exchange
по: Ajileye, T, и др.
Опубликовано: (2019)

Incremental update of datalog materialisation : the backward/forward algorithm
по: Motik, B, и др.
Опубликовано: (2015)

Incremental update of datalog materialisation: the backward/forward algorithm
по: Motik, B, и др.
Опубликовано: (2015)

Datalog reasoning over compressed RDF knowledge bases
по: Hu, P, и др.
Опубликовано: (2019)

On the correspondence between monotonic max-sum GNNs and datalog
по: Tena Cucala, D, и др.
Опубликовано: (2023)

On the correspondence between monotonic max-sum GNNs and Datalog
по: Tena Cucala, D, и др.
Опубликовано: (2023)

Limit Datalog: A declarative query language for data analysis
по: Grau, BC, и др.
Опубликовано: (2020)

Foundations of Declarative Data Analysis Using Limit Datalog Programs
по: Kaminski, M, и др.
Опубликовано: (2017)