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...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron: Wałęga, PA, Zawidzki, M, Cuenca Grau, B
Fformat: Journal article
Iaith:English
Cyhoeddwyd: AI Access Foundation 2023

Eitemau Tebyg