Finite materialisability of Datalog programs with metric temporal operators

Finite materialisability of Datalog programs with metric temporal operators

<p>DatalogMTL is an extension of Datalog with metric temporal operators that has recently found applications in stream reasoning and temporal ontology-based data access. In contrast to plain Datalog, where materialisation (a.k.a. forward chaining) naturally terminates in finitely many steps, r...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों:	Wałęga, PA, Zawidzki, M, Cuenca Grau, B
स्वरूप:	Journal article
भाषा:	English
प्रकाशित:	AI Access Foundation 2023

समान संसाधन

Finitely materialisable Datalog programs with metric temporal operators
द्वारा: Wałęga, PA, और अन्य
प्रकाशित: (2021)

Materialisation-based reasoning in DatalogMTL with bounded intervals
द्वारा: Wałęga, PA, और अन्य
प्रकाशित: (2023)

Tractable fragments of datalog with metric temporal operators
द्वारा: Wałęga, PA, और अन्य
प्रकाशित: (2020)

Reasoning techniques in DatalogMTL
द्वारा: Wałega, PA, और अन्य
प्रकाशित: (2022)

Stratified negation in datalog with metric temporal operators
द्वारा: Tena Cucala, D, और अन्य
प्रकाशित: (2021)

The stable model semantics of datalog with metric temporal operators
द्वारा: Walega, P, और अन्य
प्रकाशित: (2023)

Reasoning over streaming data in metric temporal datalog
द्वारा: Walega, P, और अन्य
प्रकाशित: (2019)

MeTeoR: practical reasoning in datalog with metric temporal operators
द्वारा: Wang, D, और अन्य
प्रकाशित: (2022)

Modular materialisation of Datalog programs
द्वारा: Hu, P, और अन्य
प्रकाशित: (2022)

Modular materialisation of datalog programs
द्वारा: Hu, P, और अन्य
प्रकाशित: (2019)

Optimised maintenance of datalog materialisations
द्वारा: Hu, P, और अन्य
प्रकाशित: (2018)

Optimised maintenance of datalog materialisations
द्वारा: Hu, P, और अन्य
प्रकाशित: (2018)

Maintenance of datalog materialisations revisited
द्वारा: Motik, B, और अन्य
प्रकाशित: (2019)

Efficient computation and maintenance of datalog materialisations
द्वारा: Hu, P
प्रकाशित: (2019)

Combining rewriting and incremental materialisation maintenance for datalog programs with equality
द्वारा: Motik, B, और अन्य
प्रकाशित: (2015)

DatalogMTL over integer timeline
द्वारा: Walega, PA, और अन्य
प्रकाशित: (2020)

Parallel materialisation of datalog programs in centralised, main-memory RDF systems
द्वारा: Motik, B, और अन्य
प्रकाशित: (2014)

Temporal datalog with existential quantification
द्वारा: Lanzinger, M, और अन्य
प्रकाशित: (2023)

Incremental update of datalog materialisation : the backward/forward algorithm
द्वारा: Motik, B, और अन्य
प्रकाशित: (2015)

Incremental update of datalog materialisation: the backward/forward algorithm
द्वारा: Motik, B, और अन्य
प्रकाशित: (2015)

Stream reasoning with DatalogMTL
द्वारा: Walega, P, और अन्य
प्रकाशित: (2023)

DatalogMTL with negation under stable models semantics
द्वारा: Wałęga, PA, और अन्य
प्रकाशित: (2021)

Datalog materialisation in distributed RDF stores with dynamic data exchange
द्वारा: Ajileye, T, और अन्य
प्रकाशित: (2019)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
द्वारा: Cuenca Grau, B, और अन्य
प्रकाशित: (2016)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
द्वारा: Kaminski, M, और अन्य
प्रकाशित: (2014)

DatalogMTL: computational complexity and expressive power
द्वारा: Walega, P, और अन्य
प्रकाशित: (2019)

Stream reasoning in temporal datalog
द्वारा: Ronca, A, और अन्य
प्रकाशित: (2018)

Stratified negation in limit datalog programs
द्वारा: Kaminski, M, और अन्य
प्रकाशित: (2018)

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)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
द्वारा: Kaminski, M, और अन्य
प्रकाशित: (2014)

Foundations of Declarative Data Analysis Using Limit Datalog Programs
द्वारा: Kaminski, M, और अन्य
प्रकाशित: (2017)

Reformulating ontological queries using materialised rewritings
द्वारा: Cuenca Grau, B, और अन्य
प्रकाशित: (2016)

The complexity and expressive power of limit Datalog
द्वारा: Kaminski, M, और अन्य
प्रकाशित: (2021)

Bridging max graph neural networks and datalog with negation
द्वारा: Tena Cucala, D, और अन्य
प्रकाशित: (2024)

Complexity and expressive power of disjunction and negation in limit datalog
द्वारा: Kaminski, M, और अन्य
प्रकाशित: (2020)

Subject-oriented spatial logic
द्वारा: Wałęga, PA, और अन्य
प्रकाशित: (2020)

A modal logic for subject-oriented spatial reasoning
द्वारा: Wałęga, PA, और अन्य
प्रकाशित: (2019)

On the correspondence between monotonic max-sum GNNs and datalog
द्वारा: Tena Cucala, D, और अन्य
प्रकाशित: (2023)