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)