MeTeoR: practical reasoning in datalog with metric temporal operators

MeTeoR: practical reasoning in datalog with metric temporal operators

DatalogMTL is an extension of Datalog with operators from metric temporal logic which has received significant attention in recent years. It is a highly expressive knowledge representation language that is well-suited for applications in temporal ontology-based query answering and stream processing....

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों:	Wang, D, Hu, P, Walega, P, Cuenca Grau, B
स्वरूप:	Conference item
भाषा:	English
प्रकाशित:	Association for the Advancement of Artificial Intelligence 2022

समान संसाधन

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

Ontology module extraction via datalog reasoning
द्वारा: Romero, AA, और अन्य
प्रकाशित: (2015)

Optimised storage for datalog reasoning
द्वारा: Zhang, X, और अन्य
प्रकाशित: (2024)

Practical reasoning and rule mining with DatalogMTL
द्वारा: Wang, D
प्रकाशित: (2024)

PAGOdA: Pay-As-You-Go query answering using a datalog reasoner
द्वारा: Zhou, Y, और अन्य
प्रकाशित: (2015)

Enhancing datalog reasoning with hypertree decompositions
द्वारा: Zhang, X, और अन्य
प्रकाशित: (2023)

Module extraction in expressive ontology languages via datalog reasoning
द्वारा: Grau, B, और अन्य
प्रकाशित: (2016)

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

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

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

Datalog reasoning over compressed RDF knowledge bases
द्वारा: Hu, P, और अन्य
प्रकाशित: (2019)

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

Pay−as−you−go ontology query answering using a datalog reasoner
द्वारा: Zhou, Y, और अन्य
प्रकाशित: (2014)

Streaming partitioning of RDF graphs for datalog reasoning
द्वारा: Ajileye, T, और अन्य
प्रकाशित: (2021)

Circuitree: A Datalog Reasoner in Zero-Knowledge
द्वारा: Tom Godden, और अन्य
प्रकाशित: (2022-01-01)

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

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

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

Controlled query evaluation for datalog and OWL 2 profile ontologies
द्वारा: Kostylev, E, और अन्य
प्रकाशित: (2015)

The Vadalog system: datalog-based reasoning for knowledge graphs
द्वारा: Bellomarini, L, और अन्य
प्रकाशित: (2018)

Well−Founded Semantics for Extended Datalog and Ontological Reasoning
द्वारा: Hernich, A, और अन्य
प्रकाशित: (2013)

Reasoning in Description Logics by a Reduction to Disjunctive Datalog.
द्वारा: Hustadt, U, और अन्य
प्रकाशित: (2007)