Stream reasoning with DatalogMTL
We study stream reasoning in DatalogMTL—an extension of Datalog with metric temporal operators. We propose a sound and complete stream reasoning algorithm that is applicable to forwardpropagating DatalogMTL programs, in which propagation of derived information towards past time points is precluded....
| Main Authors: | , , , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Elsevier
2023
|