. Anicic-d, P. Fodor, R. S. Stühmer-r, . &. Stojanovic-n, and . Studer-r, ETALIS: Rule-based reasoning in event processing, Proceedings of the Conference on Reasoning in event-based distributed systems, pp.99-124, 2011.

. Artale-a, . Kontchakov-r, . Kovtunova-a, V. Ryzhikov, and . Wolter-f.-&-zakharyaschev-m, Ontology-mediated query answering over temporal data: A survey, Proceedings of the International Symposium on Temporal Representation and Reasoning (TIME), pp.1-37, 2017.

. Baader-f, D. Calvanese, . Mcguinness-d, and . Patel-schneider-p.-&-nardi-d, The description logic handbook: Theory, implementation and applications, 2003.

B. , Principles of model checking, 2008.

. Bienvenu-m, Ontology-mediated query answering: harnessing knowledge to get more from data, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp.4058-4061, 2016.

. Bottrighi-a, . Giordano-l, G. Molino, S. Montani, P. &. Terenziani et al., Adopting model checking techniques for clinical guidelines verification, Artificial intelligence in medicine, vol.48, issue.1, pp.1-19, 2010.

P. Bouyer and C. F. Markey-n, On the expressiveness of tptl and mtl, International Conference on Foundations of Software Technology and Theoretical Computer Science, pp.432-443, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01194615

P. Cabalar, . P. Otero-r, and . G. Pose-s, Temporal constraint networks in action, Proceedings of the European Conference on Artificial Intelligence (ECAI), pp.543-547, 2000.

E. M. Clarke, O. Grumberg, D. Kroening, . &. Peled-d, and . Veith-h, Model checking, 2018.

C. Combi and . Keravnou-papailiou-e.-&-shahar-y, Temporal information systems in medicine, 2010.

. Delluc-a, . Ianotto-j.-c, C. Tromeur, . De-moreuil-c, F. Couturaud et al., Real-world incidence of cancer following a first unprovoked venous thrombosis: Results from the EPIGETBO study, Thrombosis research, vol.164, pp.79-84, 2018.

C. Dousson and . Le-maigat-p, Chronicle recognition improvement using temporal focusing and hierarchization, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp.324-329, 2007.

. Giatrakos-n, . Artikis-a, and . Deligiannakis-a.-&-garofalakis-m, Complex event recognition in the big data era, Proceedings of Conference on Very Large Data Base Endowment (VLDB Endow, pp.1996-1999, 2017.

H. J. Levesque, Knowledge representation and reasoning, Annual review of computer science, vol.1, issue.1, pp.255-287, 1986.

. Long-d, A review of temporal logics, The Knowledge Engineering Review, vol.4, issue.2, pp.141-162, 1989.

O. E. Epi-getbo, Incidence of venous thromboembolism: a community-based study in western france, Thrombosis and haemostasis, vol.83, issue.05, pp.657-660, 2000.

O. , On the decidability of metric temporal logic, 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), pp.188-197, 2005.

. J. O'connor-m, . D. Shankar-r, . B. Parrish-d, and . K. Das-a, Knowledge-data integration for temporal reasoning in a clinical trial system, International journal of medical informatics, vol.78, pp.77-85, 2009.

Y. Rivault, . Dameron-o, and . Le-meur-n, queryMed: Semantic web functions for linking pharmacological and medical knowledge to data, Bioinformatics, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02132753

. T. Snodgrass-r, Temporal databases. In Theories and methods of spatio-temporal reasoning in geographic space, pp.22-64, 1992.

P. Tuppin, J. Rudant, P. Constantinou, . Gastaldi-ménager-c, . Rachas-a et al., Value of a national administrative database to guide public decisions: From the système national d'information interrégimes de l'assurance maladie (sniiram) to the système national des données de santé (snds) in france, vol.65, pp.149-167, 2017.

. Weill-a, M. Païta, P. Tuppin, . Fagot-j.-p, . Neumann-a et al., Benfluorex and valvular heart disease: a cohort study of a million people with diabetes mellitus, Pharmacoepidemiology and drug safety, vol.19, issue.12, pp.1256-1262, 2010.