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....
| Asıl Yazarlar: | , , , |
|---|---|
| Materyal Türü: | Journal article |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
Elsevier
2023
|