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)