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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Lanzinger, M, Nissl, M, Sallinger, E, Walega, PA
Format:	Conference item
Sprog:	English
Udgivet:	IJCAI 2023

Lignende værker

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

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

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

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

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

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

DatalogMTL over integer timeline
af: Walega, PA, et al.
Udgivet: (2020)

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

Generative Datalog with stable negation
af: Alviano, M, et al.
Udgivet: (2023)

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

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

Stream reasoning with DatalogMTL
af: Walega, P, et al.
Udgivet: (2023)

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

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

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

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

Stream reasoning in temporal datalog
af: Ronca, A, et al.
Udgivet: (2018)

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

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

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

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

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

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

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

Disjunctive Datalog
af: Eiter, T, et al.
Udgivet: (1997)

Monadic Datalog Containment
af: Benedikt, M, et al.
Udgivet: (2012)

Monadic Datalog Containment
af: Benedikt, M, et al.
Udgivet: (2012)

Datalog rewriting for Guarded TGDs
af: Benedikt, M, et al.
Udgivet: (2022)

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

On Datalog vs. LFP
af: Dawar, A, et al.
Udgivet: (2008)

Adding Disjunction to Datalog
af: Eiter, T, et al.
Udgivet: (1994)

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

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

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

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

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

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

Optimised storage for datalog reasoning
af: Zhang, X, et al.
Udgivet: (2024)

Modular materialisation of Datalog programs
af: Hu, P, et al.
Udgivet: (2022)

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