README.md

Supplemental materials for the AAAI 2017 paper

Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic. S. Brandt, E. Güzel Kalaycı, R. Kontchakov, V. Ryzhikov, G. Xiao and M. Zakharyaschev