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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Tena Cucala, D, Walega, P, Cuenca Grau, B, Kostylev, E
Format:	Conference item
Sprog:	English
Udgivet:	AAAI Press 2021

Lignende værker

The stable model semantics of datalog with metric temporal operators
af: Walega, P, et al.
Udgivet: (2023)

Tractable fragments of datalog with metric temporal operators
af: Wałęga, PA, et al.
Udgivet: (2020)

DatalogMTL with negation under stable models semantics
af: Wałęga, PA, et al.
Udgivet: (2021)

Finitely materialisable Datalog programs with metric temporal operators
af: Wałęga, PA, et al.
Udgivet: (2021)

Finite materialisability of Datalog programs with metric temporal operators
af: Wałęga, PA, et al.
Udgivet: (2023)

Stratified negation in limit datalog programs
af: Kaminski, M, et al.
Udgivet: (2018)

MeTeoR: practical reasoning in datalog with metric temporal operators
af: Wang, D, et al.
Udgivet: (2022)

Bridging max graph neural networks and datalog with negation
af: Tena Cucala, D, et al.
Udgivet: (2024)

Reasoning over streaming data in metric temporal datalog
af: Walega, P, et al.
Udgivet: (2019)

On the correspondence between monotonic max-sum GNNs and datalog
af: Tena Cucala, D, et al.
Udgivet: (2023)

On the correspondence between monotonic max-sum GNNs and Datalog
af: Tena Cucala, D, et al.
Udgivet: (2023)

DatalogMTL: computational complexity and expressive power
af: Walega, P, et al.
Udgivet: (2019)

DatalogMTL over integer timeline
af: Walega, PA, et al.
Udgivet: (2020)

Complexity and expressive power of disjunction and negation in limit datalog
af: Kaminski, M, et al.
Udgivet: (2020)

Reasoning techniques in DatalogMTL
af: Wałega, PA, et al.
Udgivet: (2022)

Stream reasoning with DatalogMTL
af: Walega, P, et al.
Udgivet: (2023)

Stream reasoning in temporal datalog
af: Ronca, A, et al.
Udgivet: (2018)

Materialisation-based reasoning in DatalogMTL with bounded intervals
af: Wałęga, PA, et al.
Udgivet: (2023)

Temporal datalog with existential quantification
af: Lanzinger, M, et al.
Udgivet: (2023)

The complexity and expressive power of limit Datalog
af: Kaminski, M, et al.
Udgivet: (2021)

Controlled query evaluation for datalog and OWL 2 profile ontologies
af: Kostylev, E, et al.
Udgivet: (2015)

Foundations of Declarative Data Analysis Using Limit Datalog Programs
af: Kaminski, M, et al.
Udgivet: (2017)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
af: Cuenca Grau, B, et al.
Udgivet: (2016)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
af: Kaminski, M, et al.
Udgivet: (2014)

Controlled query evaluation for datalog and OWL 2 profile ontologies
af: Grau, B, et al.
Udgivet: (2015)

Explainable GNN-based models over knowledge graphs
af: Tena Cucala, DJ, et al.
Udgivet: (2022)

Limit Datalog: A declarative query language for data analysis
af: Grau, BC, et al.
Udgivet: (2020)

Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees
af: K. Tuncay Tekle, et al.
Udgivet: (2019-09-01)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
af: Kaminski, M, et al.
Udgivet: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
af: Kaminski, M, et al.
Udgivet: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
af: Kaminski, M, et al.
Udgivet: (2014)

Generative Datalog with stable negation
af: Alviano, M, et al.
Udgivet: (2023)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
af: Kaminski, M, et al.
Udgivet: (2014)

Pay-as-you-go consequence-based reasoning for the description logic SROIQ
af: Tena Cucala, D, et al.
Udgivet: (2021)

Faithful approaches to rule learning
af: Tena Cucala, DJ, et al.
Udgivet: (2022)

Computing Datalog Rewritings Beyond Horn Ontologies
af: Grau, B, et al.
Udgivet: (2013)

Sufficient Conditions for First−Order and Datalog Rewritability in ELU
af: Kaminski, M, et al.
Udgivet: (2013)

Integrating Datalog with OWL: Exploring the AL−log Approach.
af: Ruckhaus, E, et al.
Udgivet: (2006)

PAGOdA: Pay-As-You-Go query answering using a datalog reasoner
af: Zhou, Y, et al.
Udgivet: (2015)

Datalog rewriting techniques for non-Horn ontologies
af: Kaminski, M, et al.
Udgivet: (2014)