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

Bibliografski detalji
Glavni autori:	Lanzinger, M, Nissl, M, Sallinger, E, Walega, PA
Format:	Conference item
Jezik:	English
Izdano:	IJCAI 2023

Slični predmeti

Finite materialisability of Datalog programs with metric temporal operators
od: Wałęga, PA, i dr.
Izdano: (2023)

Tractable fragments of datalog with metric temporal operators
od: Wałęga, PA, i dr.
Izdano: (2020)

Finitely materialisable Datalog programs with metric temporal operators
od: Wałęga, PA, i dr.
Izdano: (2021)

Reasoning techniques in DatalogMTL
od: Wałega, PA, i dr.
Izdano: (2022)

Reasoning over streaming data in metric temporal datalog
od: Walega, P, i dr.
Izdano: (2019)

Stratified negation in datalog with metric temporal operators
od: Tena Cucala, D, i dr.
Izdano: (2021)

DatalogMTL over integer timeline
od: Walega, PA, i dr.
Izdano: (2020)

The stable model semantics of datalog with metric temporal operators
od: Walega, P, i dr.
Izdano: (2023)

Generative Datalog with stable negation
od: Alviano, M, i dr.
Izdano: (2023)

Materialisation-based reasoning in DatalogMTL with bounded intervals
od: Wałęga, PA, i dr.
Izdano: (2023)

MeTeoR: practical reasoning in datalog with metric temporal operators
od: Wang, D, i dr.
Izdano: (2022)

Stream reasoning with DatalogMTL
od: Walega, P, i dr.
Izdano: (2023)

The Vadalog system: datalog-based reasoning for knowledge graphs
od: Bellomarini, L, i dr.
Izdano: (2018)

DatalogMTL with negation under stable models semantics
od: Wałęga, PA, i dr.
Izdano: (2021)

MV-Datalog+-: Effective rule-based reasoning with uncertain observations
od: Lanzinger, M, i dr.
Izdano: (2022)

DatalogMTL: computational complexity and expressive power
od: Walega, P, i dr.
Izdano: (2019)

Stream reasoning in temporal datalog
od: Ronca, A, i dr.
Izdano: (2018)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
od: Cuenca Grau, B, i dr.
Izdano: (2016)

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

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
od: Kaminski, M, i dr.
Izdano: (2014)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
od: Kaminski, M, i dr.
Izdano: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
od: Kaminski, M, i dr.
Izdano: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
od: Kaminski, M, i dr.
Izdano: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
od: Kaminski, M, i dr.
Izdano: (2014)

Disjunctive Datalog
od: Eiter, T, i dr.
Izdano: (1997)

Monadic Datalog Containment
od: Benedikt, M, i dr.
Izdano: (2012)

Monadic Datalog Containment
od: Benedikt, M, i dr.
Izdano: (2012)

Datalog rewriting for Guarded TGDs
od: Benedikt, M, i dr.
Izdano: (2022)

Datalog+⁄−: Questions and Answers
od: Gottlob, G, i dr.
Izdano: (2014)

On Datalog vs. LFP
od: Dawar, A, i dr.
Izdano: (2008)

Adding Disjunction to Datalog
od: Eiter, T, i dr.
Izdano: (1994)

Inconsistency Handling in Datalog+⁄− Ontologies
od: Lukasiewicz, T, i dr.
Izdano: (2012)

The complexity and expressive power of limit Datalog
od: Kaminski, M, i dr.
Izdano: (2021)

Stratified negation in limit datalog programs
od: Kaminski, M, i dr.
Izdano: (2018)

Temporal existentiality: the objectification of subjectivity
od: Serova Natalia, i dr.
Izdano: (2019-01-01)

Unintended consequences of existential quantifications in biomedical ontologies
od: Boeker Martin, i dr.
Izdano: (2011-11-01)

Consistent Answers in Probabilistic Datalog+⁄− Ontologies
od: Lukasiewicz, T, i dr.
Izdano: (2012)

Optimised storage for datalog reasoning
od: Zhang, X, i dr.
Izdano: (2024)

Modular materialisation of Datalog programs
od: Hu, P, i dr.
Izdano: (2022)

The Complexity of Datalog on Linear Orders
od: Martin Grohe, i dr.
Izdano: (2009-02-01)