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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Lanzinger, M, Nissl, M, Sallinger, E, Walega, PA
Formáid:	Conference item
Teanga:	English
Foilsithe / Cruthaithe:	IJCAI 2023

Míreanna comhchosúla

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

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

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

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

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

Stratified negation in datalog with metric temporal operators
de réir: Tena Cucala, D, et al.
Foilsithe / Cruthaithe: (2021)

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

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

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

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

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

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

The Vadalog system: datalog-based reasoning for knowledge graphs
de réir: Bellomarini, L, et al.
Foilsithe / Cruthaithe: (2018)

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

MV-Datalog+-: Effective rule-based reasoning with uncertain observations
de réir: Lanzinger, M, et al.
Foilsithe / Cruthaithe: (2022)

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

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

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

$n$-permutability and linear Datalog implies symmetric Datalog
de réir: Alexandr Kazda
Foilsithe / Cruthaithe: (2018-04-01)

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

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
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)

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

Disjunctive Datalog
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (1997)

Monadic Datalog Containment
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2012)

Monadic Datalog Containment
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2012)

Datalog rewriting for Guarded TGDs
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2022)

Datalog+⁄−: Questions and Answers
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2014)

On Datalog vs. LFP
de réir: Dawar, A, et al.
Foilsithe / Cruthaithe: (2008)

Adding Disjunction to Datalog
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (1994)

Inconsistency Handling in Datalog+⁄− Ontologies
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2012)

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

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

Temporal existentiality: the objectification of subjectivity
de réir: Serova Natalia, et al.
Foilsithe / Cruthaithe: (2019-01-01)

Unintended consequences of existential quantifications in biomedical ontologies
de réir: Boeker Martin, et al.
Foilsithe / Cruthaithe: (2011-11-01)

Consistent Answers in Probabilistic Datalog+⁄− Ontologies
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2012)

Optimised storage for datalog reasoning
de réir: Zhang, X, et al.
Foilsithe / Cruthaithe: (2024)

Modular materialisation of Datalog programs
de réir: Hu, P, et al.
Foilsithe / Cruthaithe: (2022)

The Complexity of Datalog on Linear Orders
de réir: Martin Grohe, et al.
Foilsithe / Cruthaithe: (2009-02-01)