ETALIS: Rule-based reasoning in event processing, Proceedings of the Conference on Reasoning in event-based distributed systems, pp.99-124, 2011. ,
Ontology-mediated query answering over temporal data: A survey, Proceedings of the International Symposium on Temporal Representation and Reasoning (TIME), pp.1-37, 2017. ,
The description logic handbook: Theory, implementation and applications, 2003. ,
Principles of model checking, 2008. ,
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. ,
Adopting model checking techniques for clinical guidelines verification, Artificial intelligence in medicine, vol.48, issue.1, pp.1-19, 2010. ,
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
Temporal constraint networks in action, Proceedings of the European Conference on Artificial Intelligence (ECAI), pp.543-547, 2000. ,
Model checking, 2018. ,
Temporal information systems in medicine, 2010. ,
Real-world incidence of cancer following a first unprovoked venous thrombosis: Results from the EPIGETBO study, Thrombosis research, vol.164, pp.79-84, 2018. ,
Chronicle recognition improvement using temporal focusing and hierarchization, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp.324-329, 2007. ,
Complex event recognition in the big data era, Proceedings of Conference on Very Large Data Base Endowment (VLDB Endow, pp.1996-1999, 2017. ,
Knowledge representation and reasoning, Annual review of computer science, vol.1, issue.1, pp.255-287, 1986. ,
A review of temporal logics, The Knowledge Engineering Review, vol.4, issue.2, pp.141-162, 1989. ,
Incidence of venous thromboembolism: a community-based study in western france, Thrombosis and haemostasis, vol.83, issue.05, pp.657-660, 2000. ,
On the decidability of metric temporal logic, 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), pp.188-197, 2005. ,
Knowledge-data integration for temporal reasoning in a clinical trial system, International journal of medical informatics, vol.78, pp.77-85, 2009. ,
queryMed: Semantic web functions for linking pharmacological and medical knowledge to data, Bioinformatics, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02132753
Temporal databases. In Theories and methods of spatio-temporal reasoning in geographic space, pp.22-64, 1992. ,
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. ,
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. ,