Limit Datalog: A declarative query language for data analysis

Limit Datalog: A declarative query language for data analysis

Motivated by applications in declarative data analysis, we study DatalogZ-an extension of Datalog with stratified negation and arithmetics over integers. Reasoning in this language is undecidable, so we present a fragment, called limit DatalogZ, that is powerful enough to naturally capture many impo...

書誌詳細
主要な著者:	Grau, BC, Horrocks, I, Kaminski, M, Kostylev, EV, Motik, B
フォーマット:	Journal article
言語:	English
出版事項:	Association for Computing Machinery 2020

類似資料

Foundations of Declarative Data Analysis Using Limit Datalog Programs
著者:: Kaminski, M, 等
出版事項: (2017)

The complexity and expressive power of limit Datalog
著者:: Kaminski, M, 等
出版事項: (2021)

Stratified negation in limit datalog programs
著者:: Kaminski, M, 等
出版事項: (2018)

Small Datalog Query Rewritings for EL
著者:: Stefanoni, G, 等
出版事項: (2012)

Complexity and expressive power of disjunction and negation in limit datalog
著者:: Kaminski, M, 等
出版事項: (2020)

Stream reasoning in temporal datalog
著者:: Ronca, A, 等
出版事項: (2018)

Pay−as−you−go ontology query answering using a datalog reasoner
著者:: Zhou, Y, 等
出版事項: (2014)

DatalogMTL over integer timeline
著者:: Walega, PA, 等
出版事項: (2020)

Ontology module extraction via datalog reasoning
著者:: Romero, AA, 等
出版事項: (2015)

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)

PAGOdA: Pay-As-You-Go query answering using a datalog reasoner
著者:: Zhou, Y, 等
出版事項: (2015)

Controlled query evaluation for datalog and OWL 2 profile ontologies
著者:: Grau, B, 等
出版事項: (2015)

Tractable fragments of datalog with metric temporal operators
著者:: Wałęga, PA, 等
出版事項: (2020)

Module extraction in expressive ontology languages via datalog reasoning
著者:: Grau, B, 等
出版事項: (2016)

Controlled query evaluation for datalog and OWL 2 profile ontologies
著者:: Kostylev, E, 等
出版事項: (2015)

Computing Datalog Rewritings Beyond Horn Ontologies
著者:: Grau, B, 等
出版事項: (2013)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
著者:: Kaminski, M, 等
出版事項: (2014)

Datalog materialisation in distributed RDF stores with dynamic data exchange
著者:: Ajileye, T, 等
出版事項: (2019)

Modular materialisation of datalog programs
著者:: Hu, P, 等
出版事項: (2019)

Optimised maintenance of datalog materialisations
著者:: Hu, P, 等
出版事項: (2018)

Optimised maintenance of datalog materialisations
著者:: Hu, P, 等
出版事項: (2018)

Modular materialisation of Datalog programs
著者:: Hu, P, 等
出版事項: (2022)

Streaming partitioning of RDF graphs for datalog reasoning
著者:: Ajileye, T, 等
出版事項: (2021)

Maintenance of datalog materialisations revisited
著者:: Motik, B, 等
出版事項: (2019)

DatalogMTL: computational complexity and expressive power
著者:: Walega, P, 等
出版事項: (2019)

Declarative probabilistic programming with datalog
著者:: Barany, V, 等
出版事項: (2016)

Declarative probabilistic programming with Datalog
著者:: Barany, V, 等
出版事項: (2017)

Datalog+⁄−: A Family of Languages for Ontology Querying
著者:: Calì, A, 等
出版事項: (2011)

Datalog+/-: A Family of Languages for Ontology Querying.
著者:: Calì, A, 等
出版事項: (2010)

Datalog rewriting techniques for non-Horn ontologies
著者:: Kaminski, M, 等
出版事項: (2014)

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)

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)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
著者:: Kaminski, M, 等
出版事項: (2014)

DatalogMTL with negation under stable models semantics
著者:: Wałęga, PA, 等
出版事項: (2021)