Stratified negation in datalog with metric temporal operators

Stratified negation in datalog with metric temporal operators

We extend DatalogMTL—Datalog with operators from metric temporal logic—by adding stratified negation as failure. The new language provides additional expressive power for representing and reasoning about temporal data and knowledge in a wide range of applications. We consider models over the rationa...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Tena Cucala, D, Walega, P, Cuenca Grau, B, Kostylev, E
Định dạng:	Conference item
Ngôn ngữ:	English
Được phát hành:	AAAI Press 2021

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

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

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

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

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 limit datalog programs
Bằng: Kaminski, M, et al.
Được phát hành: (2018)

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

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

Reasoning over streaming data in metric temporal datalog
Bằng: Walega, P, et al.
Được phát hành: (2019)

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)

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

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

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

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

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)

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

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

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

Controlled query evaluation for datalog and OWL 2 profile ontologies
Bằng: Kostylev, E, et al.
Được phát hành: (2015)

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

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

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

Controlled query evaluation for datalog and OWL 2 profile ontologies
Bằng: Grau, B, et al.
Được phát hành: (2015)

Explainable GNN-based models over knowledge graphs
Bằng: Tena Cucala, DJ, et al.
Được phát hành: (2022)

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

Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees
Bằng: K. Tuncay Tekle, et al.
Được phát hành: (2019-09-01)

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)

Generative Datalog with stable negation
Bằng: Alviano, M, et al.
Được phát hành: (2023)

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

Pay-as-you-go consequence-based reasoning for the description logic SROIQ
Bằng: Tena Cucala, D, et al.
Được phát hành: (2021)

Faithful approaches to rule learning
Bằng: Tena Cucala, DJ, et al.
Được phát hành: (2022)

Computing Datalog Rewritings Beyond Horn Ontologies
Bằng: Grau, B, et al.
Được phát hành: (2013)

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

Integrating Datalog with OWL: Exploring the AL−log Approach.
Bằng: Ruckhaus, E, et al.
Được phát hành: (2006)

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

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