DatalogMTL: computational complexity and expressive power
We study the complexity and expressive power of DatalogMTL - a knowledge representation language that extends Datalog with operators from metric temporal logic (MTL) and which has found applications in ontology-based data access and stream reasoning. We establish tight PSpace data complexity bounds...
Main Authors: | , , , |
---|---|
Format: | Conference item |
Published: |
International Joint Conferences on Artificial Intelligence
2019
|