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