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

Полное описание

Библиографические подробности
Главные авторы:	Tena Cucala, D, Walega, P, Cuenca Grau, B, Kostylev, E
Формат:	Conference item
Язык:	English
Опубликовано:	AAAI Press 2021

Схожие документы

The stable model semantics of datalog with metric temporal operators
по: Walega, P, и др.
Опубликовано: (2023)

Tractable fragments of datalog with metric temporal operators
по: Wałęga, PA, и др.
Опубликовано: (2020)

DatalogMTL with negation under stable models semantics
по: Wałęga, PA, и др.
Опубликовано: (2021)

Finitely materialisable Datalog programs with metric temporal operators
по: Wałęga, PA, и др.
Опубликовано: (2021)

Finite materialisability of Datalog programs with metric temporal operators
по: Wałęga, PA, и др.
Опубликовано: (2023)

Stratified negation in limit datalog programs
по: Kaminski, M, и др.
Опубликовано: (2018)

MeTeoR: practical reasoning in datalog with metric temporal operators
по: Wang, D, и др.
Опубликовано: (2022)

Bridging max graph neural networks and datalog with negation
по: Tena Cucala, D, и др.
Опубликовано: (2024)

Reasoning over streaming data in metric temporal datalog
по: Walega, P, и др.
Опубликовано: (2019)

On the correspondence between monotonic max-sum GNNs and datalog
по: Tena Cucala, D, и др.
Опубликовано: (2023)

On the correspondence between monotonic max-sum GNNs and Datalog
по: Tena Cucala, D, и др.
Опубликовано: (2023)

DatalogMTL: computational complexity and expressive power
по: Walega, P, и др.
Опубликовано: (2019)

DatalogMTL over integer timeline
по: Walega, PA, и др.
Опубликовано: (2020)

Complexity and expressive power of disjunction and negation in limit datalog
по: Kaminski, M, и др.
Опубликовано: (2020)

Reasoning techniques in DatalogMTL
по: Wałega, PA, и др.
Опубликовано: (2022)

Stream reasoning with DatalogMTL
по: Walega, P, и др.
Опубликовано: (2023)

Stream reasoning in temporal datalog
по: Ronca, A, и др.
Опубликовано: (2018)

Materialisation-based reasoning in DatalogMTL with bounded intervals
по: Wałęga, PA, и др.
Опубликовано: (2023)

Temporal datalog with existential quantification
по: Lanzinger, M, и др.
Опубликовано: (2023)

The complexity and expressive power of limit Datalog
по: Kaminski, M, и др.
Опубликовано: (2021)

Controlled query evaluation for datalog and OWL 2 profile ontologies
по: Kostylev, E, и др.
Опубликовано: (2015)

Foundations of Declarative Data Analysis Using Limit Datalog Programs
по: Kaminski, M, и др.
Опубликовано: (2017)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
по: Cuenca Grau, B, и др.
Опубликовано: (2016)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
по: Kaminski, M, и др.
Опубликовано: (2014)

Controlled query evaluation for datalog and OWL 2 profile ontologies
по: Grau, B, и др.
Опубликовано: (2015)

Explainable GNN-based models over knowledge graphs
по: Tena Cucala, DJ, и др.
Опубликовано: (2022)

Limit Datalog: A declarative query language for data analysis
по: Grau, BC, и др.
Опубликовано: (2020)

Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees
по: K. Tuncay Tekle, и др.
Опубликовано: (2019-09-01)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
по: Kaminski, M, и др.
Опубликовано: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
по: Kaminski, M, и др.
Опубликовано: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
по: Kaminski, M, и др.
Опубликовано: (2014)

Generative Datalog with stable negation
по: Alviano, M, и др.
Опубликовано: (2023)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
по: Kaminski, M, и др.
Опубликовано: (2014)

Pay-as-you-go consequence-based reasoning for the description logic SROIQ
по: Tena Cucala, D, и др.
Опубликовано: (2021)

Faithful approaches to rule learning
по: Tena Cucala, DJ, и др.
Опубликовано: (2022)

Computing Datalog Rewritings Beyond Horn Ontologies
по: Grau, B, и др.
Опубликовано: (2013)

Sufficient Conditions for First−Order and Datalog Rewritability in ELU
по: Kaminski, M, и др.
Опубликовано: (2013)

Integrating Datalog with OWL: Exploring the AL−log Approach.
по: Ruckhaus, E, и др.
Опубликовано: (2006)

PAGOdA: Pay-As-You-Go query answering using a datalog reasoner
по: Zhou, Y, и др.
Опубликовано: (2015)

Datalog rewriting techniques for non-Horn ontologies
по: Kaminski, M, и др.
Опубликовано: (2014)