We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.AI

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Artificial Intelligence

Title: MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators

Abstract: 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. Reasoning in DatalogMTL is, however, of high computational complexity, making implementation challenging and hindering its adoption in applications. In this paper, we present a novel approach for practical reasoning in DatalogMTL which combines materialisation (a.k.a. forward chaining) with automata-based techniques. We have implemented this approach in a reasoner called MeTeoR and evaluated its performance using a temporal extension of the Lehigh University Benchmark and a benchmark based on real-world meteorological data. Our experiments show that MeTeoR is a scalable system which enables reasoning over complex temporal rules and datasets involving tens of millions of temporal facts.
Comments: Accepted To AAAI 2022
Subjects: Artificial Intelligence (cs.AI); Databases (cs.DB)
Cite as: arXiv:2201.04596 [cs.AI]
  (or arXiv:2201.04596v1 [cs.AI] for this version)

Submission history

From: Dingmin Wang [view email]
[v1] Wed, 12 Jan 2022 17:46:18 GMT (753kb)

Link back to: arXiv, form interface, contact.