Now showing items 1-1 of 1

    • Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic 

      Brandt S; Güzel Kalaycı E; Kontchakov R; Ryzhikov V; Xiao G; Zakharyaschev M (AAAI Press, 2017)
      We advocate datalogMTL, a datalog extension of a Horn fragment of the metric temporal logic MTL, as a language for ontology-based access to temporal log data. We show that datalogMTL is EXPSPACE-complete even with punctual ...