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: | , , , |
|---|---|
| 格式: | Journal article |
| 语言: | English |
| 出版: |
Elsevier
2023
|