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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Tena Cucala, D, Walega, P, Cuenca Grau, B, Kostylev, E
Formáid:	Conference item
Teanga:	English
Foilsithe / Cruthaithe:	AAAI Press 2021

Míreanna comhchosúla

The stable model semantics of datalog with metric temporal operators
de réir: Walega, P, et al.
Foilsithe / Cruthaithe: (2023)

Tractable fragments of datalog with metric temporal operators
de réir: Wałęga, PA, et al.
Foilsithe / Cruthaithe: (2020)

DatalogMTL with negation under stable models semantics
de réir: Wałęga, PA, et al.
Foilsithe / Cruthaithe: (2021)

Finitely materialisable Datalog programs with metric temporal operators
de réir: Wałęga, PA, et al.
Foilsithe / Cruthaithe: (2021)

Finite materialisability of Datalog programs with metric temporal operators
de réir: Wałęga, PA, et al.
Foilsithe / Cruthaithe: (2023)

Stratified negation in limit datalog programs
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2018)

MeTeoR: practical reasoning in datalog with metric temporal operators
de réir: Wang, D, et al.
Foilsithe / Cruthaithe: (2022)

Bridging max graph neural networks and datalog with negation
de réir: Tena Cucala, D, et al.
Foilsithe / Cruthaithe: (2024)

Reasoning over streaming data in metric temporal datalog
de réir: Walega, P, et al.
Foilsithe / Cruthaithe: (2019)

On the correspondence between monotonic max-sum GNNs and datalog
de réir: Tena Cucala, D, et al.
Foilsithe / Cruthaithe: (2023)

On the correspondence between monotonic max-sum GNNs and Datalog
de réir: Tena Cucala, D, et al.
Foilsithe / Cruthaithe: (2023)

DatalogMTL: computational complexity and expressive power
de réir: Walega, P, et al.
Foilsithe / Cruthaithe: (2019)

DatalogMTL over integer timeline
de réir: Walega, PA, et al.
Foilsithe / Cruthaithe: (2020)

Complexity and expressive power of disjunction and negation in limit datalog
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2020)

Reasoning techniques in DatalogMTL
de réir: Wałega, PA, et al.
Foilsithe / Cruthaithe: (2022)

Stream reasoning with DatalogMTL
de réir: Walega, P, et al.
Foilsithe / Cruthaithe: (2023)

Stream reasoning in temporal datalog
de réir: Ronca, A, et al.
Foilsithe / Cruthaithe: (2018)

Materialisation-based reasoning in DatalogMTL with bounded intervals
de réir: Wałęga, PA, et al.
Foilsithe / Cruthaithe: (2023)

Temporal datalog with existential quantification
de réir: Lanzinger, M, et al.
Foilsithe / Cruthaithe: (2023)

The complexity and expressive power of limit Datalog
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2021)

Controlled query evaluation for datalog and OWL 2 profile ontologies
de réir: Kostylev, E, et al.
Foilsithe / Cruthaithe: (2015)

Foundations of Declarative Data Analysis Using Limit Datalog Programs
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2017)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
de réir: Cuenca Grau, B, et al.
Foilsithe / Cruthaithe: (2016)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Controlled query evaluation for datalog and OWL 2 profile ontologies
de réir: Grau, B, et al.
Foilsithe / Cruthaithe: (2015)

Explainable GNN-based models over knowledge graphs
de réir: Tena Cucala, DJ, et al.
Foilsithe / Cruthaithe: (2022)

Limit Datalog: A declarative query language for data analysis
de réir: Grau, BC, et al.
Foilsithe / Cruthaithe: (2020)

Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees
de réir: K. Tuncay Tekle, et al.
Foilsithe / Cruthaithe: (2019-09-01)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Generative Datalog with stable negation
de réir: Alviano, M, et al.
Foilsithe / Cruthaithe: (2023)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Pay-as-you-go consequence-based reasoning for the description logic SROIQ
de réir: Tena Cucala, D, et al.
Foilsithe / Cruthaithe: (2021)

Faithful approaches to rule learning
de réir: Tena Cucala, DJ, et al.
Foilsithe / Cruthaithe: (2022)

Computing Datalog Rewritings Beyond Horn Ontologies
de réir: Grau, B, et al.
Foilsithe / Cruthaithe: (2013)

Sufficient Conditions for First−Order and Datalog Rewritability in ELU
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2013)

Integrating Datalog with OWL: Exploring the AL−log Approach.
de réir: Ruckhaus, E, et al.
Foilsithe / Cruthaithe: (2006)

PAGOdA: Pay-As-You-Go query answering using a datalog reasoner
de réir: Zhou, Y, et al.
Foilsithe / Cruthaithe: (2015)

Datalog rewriting techniques for non-Horn ontologies
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)