Efficient computation and maintenance of datalog materialisations

Efficient computation and maintenance of datalog materialisations

<p>Datalog is a prominent knowledge representation language whose popularity is mainly due to its ability to express recursive definitions. Datalog applications typically require efficient reasoning over datalog programs and facts. To support this, datalog systems often materialise all consequ...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Hu, P
Rannpháirtithe:	Motik, B
Formáid:	Tráchtas
Teanga:	English
Foilsithe / Cruthaithe:	2019

Míreanna comhchosúla

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)

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

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

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

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

Finitely materialisable Datalog programs with metric temporal operators
de réir: Wałęga, PA, et al.
Foilsithe / Cruthaithe: (2021)

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

Finite materialisability of Datalog programs with metric temporal operators
de réir: Wałęga, PA, et al.
Foilsithe / Cruthaithe: (2023)

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

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

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

Parallel materialisation of datalog programs in centralised, main-memory RDF systems
de réir: Motik, B, 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)

Fragmenter, matérialiser.
de réir: Jean-Mathieu Méon
Foilsithe / Cruthaithe: (2019-12-01)

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

$n$-permutability and linear Datalog implies symmetric Datalog
de réir: Alexandr Kazda
Foilsithe / Cruthaithe: (2018-04-01)

Materialised Ideals: Sizes and Beauty
de réir: Kirsi Laitala, et al.
Foilsithe / Cruthaithe: (2011-04-01)

Materialised Ideals Sizes and Beauty
de réir: Kirsi Laitala, et al.
Foilsithe / Cruthaithe: (2011-04-01)

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

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

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

Efficient Datalog Abduction through Bounded Treewidth
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2007)

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

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)

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)

Practicing, materialising and contesting environmental data
de réir: Jennifer Gabrys
Foilsithe / Cruthaithe: (2016-10-01)

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

Datalog+⁄−: Questions and Answers
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2014)

On Datalog vs. LFP
de réir: Dawar, A, et al.
Foilsithe / Cruthaithe: (2008)

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

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

Fixing incremental computation: derivatives of fixpoints, and the recursive semantics of datalog
de réir: Alvarez-Picallo, M, et al.
Foilsithe / Cruthaithe: (2019)

Toward a new faculty materialising the move
de réir: Ezihaslinda, Ngah
Foilsithe / Cruthaithe: (2009)

Reformulating ontological queries using materialised rewritings
de réir: Cuenca Grau, B, et al.
Foilsithe / Cruthaithe: (2016)

Large Cemeteries as Materialised Socio-political Relations
de réir: Mari Arentz Østmo
Foilsithe / Cruthaithe: (2024-11-01)