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

书目详细资料
Main Authors:	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, et al.
出版: (2023)

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

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

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

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

Stratified negation in limit datalog programs
由: Kaminski, M, et al.
出版: (2018)

MeTeoR: practical reasoning in datalog with metric temporal operators
由: Wang, D, et al.
出版: (2022)

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

Reasoning over streaming data in metric temporal datalog
由: Walega, P, et al.
出版: (2019)

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

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

DatalogMTL: computational complexity and expressive power
由: Walega, P, et al.
出版: (2019)

DatalogMTL over integer timeline
由: Walega, PA, et al.
出版: (2020)

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

Reasoning techniques in DatalogMTL
由: Wałega, PA, et al.
出版: (2022)

Stream reasoning with DatalogMTL
由: Walega, P, et al.
出版: (2023)

Stream reasoning in temporal datalog
由: Ronca, A, et al.
出版: (2018)

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

Temporal datalog with existential quantification
由: Lanzinger, M, et al.
出版: (2023)

The complexity and expressive power of limit Datalog
由: Kaminski, M, et al.
出版: (2021)

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

Foundations of Declarative Data Analysis Using Limit Datalog Programs
由: Kaminski, M, et al.
出版: (2017)

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

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

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

Explainable GNN-based models over knowledge graphs
由: Tena Cucala, DJ, et al.
出版: (2022)

Limit Datalog: A declarative query language for data analysis
由: Grau, BC, et al.
出版: (2020)

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

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

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

Generative Datalog with stable negation
由: Alviano, M, et al.
出版: (2023)

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

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

Faithful approaches to rule learning
由: Tena Cucala, DJ, et al.
出版: (2022)

Computing Datalog Rewritings Beyond Horn Ontologies
由: Grau, B, et al.
出版: (2013)

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

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

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

Datalog rewriting techniques for non-Horn ontologies
由: Kaminski, M, et al.
出版: (2014)

$n$-permutability and linear Datalog implies symmetric Datalog
由: Alexandr Kazda
出版: (2018-04-01)