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

Նմանատիպ նյութեր