Reasoning over streaming data in metric temporal datalog
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 a fragment datalogMTLFP of datalogMTL, in which propagation of derived information towards past time points is precluded. M...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
AAAI Press
2019
|