Now showing items 1-1 of 1

    • Metric Temporal Logic for Ontology-Based Data Access over Log Data 

      Calvanese D; Guzel Kalaycı E; Ryzhikov V; Xiao G; Zakharyaschev M (IJCAI Workshop 40, 2016)
      We present a new metric temporal logic HornMTL over dense time and its datalog extension datalogMTL. The use of datalogMTL is demonstrated in the context of ontology-based data access over meteorological data. We show ...