Temporal datalog with existential quantification

Temporal datalog with existential quantification

Existential rules, also known as tuple-generating dependencies (TGDs) or Datalog± rules, are heavily studied in the communities of Knowledge Representation and Reasoning, Semantic Web, and Databases, due to their rich modelling capabilities. In this paper we consider TGDs in the temporal setting, by...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Lanzinger, M, Nissl, M, Sallinger, E, Walega, PA
Fformat:	Conference item
Iaith:	English
Cyhoeddwyd:	IJCAI 2023

Eitemau Tebyg

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

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

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

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

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

Stratified negation in datalog with metric temporal operators
gan: Tena Cucala, D, et al.
Cyhoeddwyd: (2021)

DatalogMTL over integer timeline
gan: Walega, PA, et al.
Cyhoeddwyd: (2020)

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

Generative Datalog with stable negation
gan: Alviano, M, et al.
Cyhoeddwyd: (2023)

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

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

Stream reasoning with DatalogMTL
gan: Walega, P, et al.
Cyhoeddwyd: (2023)

The Vadalog system: datalog-based reasoning for knowledge graphs
gan: Bellomarini, L, et al.
Cyhoeddwyd: (2018)

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

MV-Datalog+-: Effective rule-based reasoning with uncertain observations
gan: Lanzinger, M, et al.
Cyhoeddwyd: (2022)

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

Stream reasoning in temporal datalog
gan: Ronca, A, et al.
Cyhoeddwyd: (2018)

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

$n$-permutability and linear Datalog implies symmetric Datalog
gan: Alexandr Kazda
Cyhoeddwyd: (2018-04-01)

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

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

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

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

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

Disjunctive Datalog
gan: Eiter, T, et al.
Cyhoeddwyd: (1997)

Monadic Datalog Containment
gan: Benedikt, M, et al.
Cyhoeddwyd: (2012)

Monadic Datalog Containment
gan: Benedikt, M, et al.
Cyhoeddwyd: (2012)

Datalog rewriting for Guarded TGDs
gan: Benedikt, M, et al.
Cyhoeddwyd: (2022)

Datalog+⁄−: Questions and Answers
gan: Gottlob, G, et al.
Cyhoeddwyd: (2014)

On Datalog vs. LFP
gan: Dawar, A, et al.
Cyhoeddwyd: (2008)

Adding Disjunction to Datalog
gan: Eiter, T, et al.
Cyhoeddwyd: (1994)

Inconsistency Handling in Datalog+⁄− Ontologies
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2012)

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

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

Temporal existentiality: the objectification of subjectivity
gan: Serova Natalia, et al.
Cyhoeddwyd: (2019-01-01)

Unintended consequences of existential quantifications in biomedical ontologies
gan: Boeker Martin, et al.
Cyhoeddwyd: (2011-11-01)

Consistent Answers in Probabilistic Datalog+⁄− Ontologies
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2012)

Optimised storage for datalog reasoning
gan: Zhang, X, et al.
Cyhoeddwyd: (2024)

Modular materialisation of Datalog programs
gan: Hu, P, et al.
Cyhoeddwyd: (2022)

The Complexity of Datalog on Linear Orders
gan: Martin Grohe, et al.
Cyhoeddwyd: (2009-02-01)