<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>DatalogMTL: Datalog with Metric Temporal Logic Operators (Abstract)</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Przemysław Andrzej Wałęga</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Queen Mary University of London, University of Oxford</institution>
          ,
          <country country="UK">UK</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>DatalogMTL is a powerful extension of Datalog, designed to handle complex temporal reasoning. In this framework, a temporal dataset consists of facts that hold over intervals along a rational timeline. A DatalogMTL program enables recursive reasoning over these facts, by incorporating metric temporal operators-a metric extension of linear temporal logic (LTL) operators. This results in an expressive language that enhances Datalog's capabilities and opens the door to a range of potential applications. While the temporal aspect introduces significant computational challenges, several reasoning approaches for DatalogMTL have been proposed, with some already seeing implementation. DatalogMTL has also been further extended with features such as non-monotonic negation, existential rules, and temporal aggregation, introducing even more complex behaviour.</p>
      </abstract>
    </article-meta>
  </front>
  <body />
  <back>
    <ref-list />
  </back>
</article>