Reasoning over streaming data in metric temporal datalog

Reasoning over streaming data in metric temporal datalog

We study stream reasoning in datalogMTL—an extension of Datalog with metric temporal operators. We propose a sound and complete stream reasoning algorithm that is applicable to a fragment datalogMTLFP of datalogMTL, in which propagation of derived information towards past time points is precluded. M...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Walega, P, Kaminski, M, Cuenca Grau, B
Định dạng:	Conference item
Được phát hành:	AAAI Press 2019

Những quyển sách tương tự

Stream reasoning with DatalogMTL
Bằng: Walega, P, et al.
Được phát hành: (2023)

Stream reasoning in temporal datalog
Bằng: Ronca, A, et al.
Được phát hành: (2018)

Tractable fragments of datalog with metric temporal operators
Bằng: Wałęga, PA, et al.
Được phát hành: (2020)

MeTeoR: practical reasoning in datalog with metric temporal operators
Bằng: Wang, D, et al.
Được phát hành: (2022)

Finitely materialisable Datalog programs with metric temporal operators
Bằng: Wałęga, PA, et al.
Được phát hành: (2021)

Finite materialisability of Datalog programs with metric temporal operators
Bằng: Wałęga, PA, et al.
Được phát hành: (2023)

Stratified negation in datalog with metric temporal operators
Bằng: Tena Cucala, D, et al.
Được phát hành: (2021)

Reasoning techniques in DatalogMTL
Bằng: Wałega, PA, et al.
Được phát hành: (2022)

The stable model semantics of datalog with metric temporal operators
Bằng: Walega, P, et al.
Được phát hành: (2023)

DatalogMTL over integer timeline
Bằng: Walega, PA, et al.
Được phát hành: (2020)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Materialisation-based reasoning in DatalogMTL with bounded intervals
Bằng: Wałęga, PA, et al.
Được phát hành: (2023)

DatalogMTL: computational complexity and expressive power
Bằng: Walega, P, et al.
Được phát hành: (2019)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
Bằng: Cuenca Grau, B, et al.
Được phát hành: (2016)

Ontology module extraction via datalog reasoning
Bằng: Romero, AA, et al.
Được phát hành: (2015)

Streaming partitioning of RDF graphs for datalog reasoning
Bằng: Ajileye, T, et al.
Được phát hành: (2021)

Temporal datalog with existential quantification
Bằng: Lanzinger, M, et al.
Được phát hành: (2023)

PAGOdA: Pay-As-You-Go query answering using a datalog reasoner
Bằng: Zhou, Y, et al.
Được phát hành: (2015)

Module extraction in expressive ontology languages via datalog reasoning
Bằng: Grau, B, et al.
Được phát hành: (2016)

DatalogMTL with negation under stable models semantics
Bằng: Wałęga, PA, et al.
Được phát hành: (2021)

Foundations of Declarative Data Analysis Using Limit Datalog Programs
Bằng: Kaminski, M, et al.
Được phát hành: (2017)

The complexity and expressive power of limit Datalog
Bằng: Kaminski, M, et al.
Được phát hành: (2021)

Stratified negation in limit datalog programs
Bằng: Kaminski, M, et al.
Được phát hành: (2018)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Complexity and expressive power of disjunction and negation in limit datalog
Bằng: Kaminski, M, et al.
Được phát hành: (2020)

Datalog reasoning over compressed RDF knowledge bases
Bằng: Hu, P, et al.
Được phát hành: (2019)

Sufficient Conditions for First−Order and Datalog Rewritability in ELU
Bằng: Kaminski, M, et al.
Được phát hành: (2013)

Optimised storage for datalog reasoning
Bằng: Zhang, X, et al.
Được phát hành: (2024)

Limit Datalog: A declarative query language for data analysis
Bằng: Grau, BC, et al.
Được phát hành: (2020)

The window validity problem in rule-based stream reasoning
Bằng: Ronca, A, et al.
Được phát hành: (2018)

Datalog rewriting techniques for non-Horn ontologies
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Enhancing datalog reasoning with hypertree decompositions
Bằng: Zhang, X, et al.
Được phát hành: (2023)

Bridging max graph neural networks and datalog with negation
Bằng: Tena Cucala, D, et al.
Được phát hành: (2024)

On the correspondence between monotonic max-sum GNNs and datalog
Bằng: Tena Cucala, D, et al.
Được phát hành: (2023)

On the correspondence between monotonic max-sum GNNs and Datalog
Bằng: Tena Cucala, D, et al.
Được phát hành: (2023)

Pay−as−you−go ontology query answering using a datalog reasoner
Bằng: Zhou, Y, et al.
Được phát hành: (2014)

Practical reasoning and rule mining with DatalogMTL
Bằng: Wang, D
Được phát hành: (2024)