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 ...