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

Bibliografski detalji
Glavni autori:	Tena Cucala, D, Walega, P, Cuenca Grau, B, Kostylev, E
Format:	Conference item
Jezik:	English
Izdano:	AAAI Press 2021

Slični predmeti

The stable model semantics of datalog with metric temporal operators
od: Walega, P, i dr.
Izdano: (2023)

Tractable fragments of datalog with metric temporal operators
od: Wałęga, PA, i dr.
Izdano: (2020)

DatalogMTL with negation under stable models semantics
od: Wałęga, PA, i dr.
Izdano: (2021)

Finitely materialisable Datalog programs with metric temporal operators
od: Wałęga, PA, i dr.
Izdano: (2021)

Finite materialisability of Datalog programs with metric temporal operators
od: Wałęga, PA, i dr.
Izdano: (2023)

Stratified negation in limit datalog programs
od: Kaminski, M, i dr.
Izdano: (2018)

MeTeoR: practical reasoning in datalog with metric temporal operators
od: Wang, D, i dr.
Izdano: (2022)

Bridging max graph neural networks and datalog with negation
od: Tena Cucala, D, i dr.
Izdano: (2024)

Reasoning over streaming data in metric temporal datalog
od: Walega, P, i dr.
Izdano: (2019)

On the correspondence between monotonic max-sum GNNs and datalog
od: Tena Cucala, D, i dr.
Izdano: (2023)

On the correspondence between monotonic max-sum GNNs and Datalog
od: Tena Cucala, D, i dr.
Izdano: (2023)

DatalogMTL: computational complexity and expressive power
od: Walega, P, i dr.
Izdano: (2019)

DatalogMTL over integer timeline
od: Walega, PA, i dr.
Izdano: (2020)

Complexity and expressive power of disjunction and negation in limit datalog
od: Kaminski, M, i dr.
Izdano: (2020)

Reasoning techniques in DatalogMTL
od: Wałega, PA, i dr.
Izdano: (2022)

Stream reasoning with DatalogMTL
od: Walega, P, i dr.
Izdano: (2023)

Stream reasoning in temporal datalog
od: Ronca, A, i dr.
Izdano: (2018)

Materialisation-based reasoning in DatalogMTL with bounded intervals
od: Wałęga, PA, i dr.
Izdano: (2023)

Temporal datalog with existential quantification
od: Lanzinger, M, i dr.
Izdano: (2023)

The complexity and expressive power of limit Datalog
od: Kaminski, M, i dr.
Izdano: (2021)

Controlled query evaluation for datalog and OWL 2 profile ontologies
od: Kostylev, E, i dr.
Izdano: (2015)

Foundations of Declarative Data Analysis Using Limit Datalog Programs
od: Kaminski, M, i dr.
Izdano: (2017)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
od: Cuenca Grau, B, i dr.
Izdano: (2016)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
od: Kaminski, M, i dr.
Izdano: (2014)

Controlled query evaluation for datalog and OWL 2 profile ontologies
od: Grau, B, i dr.
Izdano: (2015)

Explainable GNN-based models over knowledge graphs
od: Tena Cucala, DJ, i dr.
Izdano: (2022)

Limit Datalog: A declarative query language for data analysis
od: Grau, BC, i dr.
Izdano: (2020)

Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees
od: K. Tuncay Tekle, i dr.
Izdano: (2019-09-01)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
od: Kaminski, M, i dr.
Izdano: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
od: Kaminski, M, i dr.
Izdano: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
od: Kaminski, M, i dr.
Izdano: (2014)

Generative Datalog with stable negation
od: Alviano, M, i dr.
Izdano: (2023)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
od: Kaminski, M, i dr.
Izdano: (2014)

Pay-as-you-go consequence-based reasoning for the description logic SROIQ
od: Tena Cucala, D, i dr.
Izdano: (2021)

Faithful approaches to rule learning
od: Tena Cucala, DJ, i dr.
Izdano: (2022)

Computing Datalog Rewritings Beyond Horn Ontologies
od: Grau, B, i dr.
Izdano: (2013)

Sufficient Conditions for First−Order and Datalog Rewritability in ELU
od: Kaminski, M, i dr.
Izdano: (2013)

Integrating Datalog with OWL: Exploring the AL−log Approach.
od: Ruckhaus, E, i dr.
Izdano: (2006)

PAGOdA: Pay-As-You-Go query answering using a datalog reasoner
od: Zhou, Y, i dr.
Izdano: (2015)

Datalog rewriting techniques for non-Horn ontologies
od: Kaminski, M, i dr.
Izdano: (2014)