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

Полное описание

Библиографические подробности
Главные авторы:	Lanzinger, M, Nissl, M, Sallinger, E, Walega, PA
Формат:	Conference item
Язык:	English
Опубликовано:	IJCAI 2023

Схожие документы

Finite materialisability of Datalog programs with metric temporal operators
по: Wałęga, PA, и др.
Опубликовано: (2023)

Tractable fragments of datalog with metric temporal operators
по: Wałęga, PA, и др.
Опубликовано: (2020)

Finitely materialisable Datalog programs with metric temporal operators
по: Wałęga, PA, и др.
Опубликовано: (2021)

Reasoning techniques in DatalogMTL
по: Wałega, PA, и др.
Опубликовано: (2022)

Reasoning over streaming data in metric temporal datalog
по: Walega, P, и др.
Опубликовано: (2019)

Stratified negation in datalog with metric temporal operators
по: Tena Cucala, D, и др.
Опубликовано: (2021)

DatalogMTL over integer timeline
по: Walega, PA, и др.
Опубликовано: (2020)

The stable model semantics of datalog with metric temporal operators
по: Walega, P, и др.
Опубликовано: (2023)

Generative Datalog with stable negation
по: Alviano, M, и др.
Опубликовано: (2023)

Materialisation-based reasoning in DatalogMTL with bounded intervals
по: Wałęga, PA, и др.
Опубликовано: (2023)

MeTeoR: practical reasoning in datalog with metric temporal operators
по: Wang, D, и др.
Опубликовано: (2022)

Stream reasoning with DatalogMTL
по: Walega, P, и др.
Опубликовано: (2023)

The Vadalog system: datalog-based reasoning for knowledge graphs
по: Bellomarini, L, и др.
Опубликовано: (2018)

DatalogMTL with negation under stable models semantics
по: Wałęga, PA, и др.
Опубликовано: (2021)

MV-Datalog+-: Effective rule-based reasoning with uncertain observations
по: Lanzinger, M, и др.
Опубликовано: (2022)

DatalogMTL: computational complexity and expressive power
по: Walega, P, и др.
Опубликовано: (2019)

Stream reasoning in temporal datalog
по: Ronca, A, и др.
Опубликовано: (2018)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
по: Cuenca Grau, B, и др.
Опубликовано: (2016)

$n$-permutability and linear Datalog implies symmetric Datalog
по: Alexandr Kazda
Опубликовано: (2018-04-01)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
по: Kaminski, M, и др.
Опубликовано: (2014)

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

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
по: Kaminski, M, и др.
Опубликовано: (2014)

Disjunctive Datalog
по: Eiter, T, и др.
Опубликовано: (1997)

Monadic Datalog Containment
по: Benedikt, M, и др.
Опубликовано: (2012)

Monadic Datalog Containment
по: Benedikt, M, и др.
Опубликовано: (2012)

Datalog rewriting for Guarded TGDs
по: Benedikt, M, и др.
Опубликовано: (2022)

Datalog+⁄−: Questions and Answers
по: Gottlob, G, и др.
Опубликовано: (2014)

On Datalog vs. LFP
по: Dawar, A, и др.
Опубликовано: (2008)

Adding Disjunction to Datalog
по: Eiter, T, и др.
Опубликовано: (1994)

Inconsistency Handling in Datalog+⁄− Ontologies
по: Lukasiewicz, T, и др.
Опубликовано: (2012)

The complexity and expressive power of limit Datalog
по: Kaminski, M, и др.
Опубликовано: (2021)

Stratified negation in limit datalog programs
по: Kaminski, M, и др.
Опубликовано: (2018)

Temporal existentiality: the objectification of subjectivity
по: Serova Natalia, и др.
Опубликовано: (2019-01-01)

Unintended consequences of existential quantifications in biomedical ontologies
по: Boeker Martin, и др.
Опубликовано: (2011-11-01)

Consistent Answers in Probabilistic Datalog+⁄− Ontologies
по: Lukasiewicz, T, и др.
Опубликовано: (2012)

Optimised storage for datalog reasoning
по: Zhang, X, и др.
Опубликовано: (2024)

Modular materialisation of Datalog programs
по: Hu, P, и др.
Опубликовано: (2022)

The Complexity of Datalog on Linear Orders
по: Martin Grohe, и др.
Опубликовано: (2009-02-01)