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
|
Նմանատիպ նյութեր
-
Finitely materialisable Datalog programs with metric temporal operators
: Wałęga, PA, և այլն
Հրապարակվել է: (2021) -
Materialisation-based reasoning in DatalogMTL with bounded intervals
: Wałęga, PA, և այլն
Հրապարակվել է: (2023) -
Tractable fragments of datalog with metric temporal operators
: Wałęga, PA, և այլն
Հրապարակվել է: (2020) -
Reasoning techniques in DatalogMTL
: Wałega, PA, և այլն
Հրապարակվել է: (2022) -
Stratified negation in datalog with metric temporal operators
: Tena Cucala, D, և այլն
Հրապարակվել է: (2021)