ETALIS: Rule-based reasoning in event processing, Proc. Reasoning in eventbased distributed systems, pp.99-124, 2011. ,
Ontology-mediated query answering over temporal data: A survey, nternational Symposium on Temporal Representation and Reasoning (TIME, 2017. ,
The description logic handbook: Theory, implementation and applications, 2003. ,
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. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01367866
Adopting model checking techniques for clinical guidelines verification, Artificial intelligence in medicine, vol.48, issue.1, pp.1-19, 2010. ,
Temporal constraint networks in action, ECAI. pp, 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. ,
URL : https://hal.archives-ouvertes.fr/hal-02052699
Chronicle recognition improvement using temporal focusing and hierarchization, Proc. IJCAI, pp.324-329, 2007. ,
Complex event recognition in the big data era, Proc. VLDB Endow, vol.10, 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. ,
EPI-GETBO: 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, Proc. IEEE computer, 1986. ,
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. ,