Rule-Based Formalization of Eligibility Criteria for Clinical Trials

In this extended abstract, we propose a rule-based formalization of eligibility criteria for clinical trials. The rule-based formalization is implemented by using the logic programming language Prolog. Compared with existing formalizations such as pattern-based and script-based languages, the rule-based formalization has the advantages of being declarative, expressive, reusable and easy to maintain. Our rule-based formalization is based on a general framework for eligibility criteria containing three types of knowledge: (1) trial-specific knowledge, (2) domain-specific knowledge and (3) common knowledge. This framework enables the reuse of several parts of the formalization of eligibility criteria. We have implemented the proposed rule-based formalization in SemanticCT, a semantically-enabled system for clinical trials, showing the feasibility of using our rule-based formalization of eligibility criteria for supporting patient recruitment in clinical trial systems.

[1]  Tom Schrijvers,et al.  Under Consideration for Publication in Theory and Practice of Logic Programming Swi-prolog , 2022 .

[2]  Karthik Gomadam,et al.  TrialX: Using semantic technologies to match patients to relevant clinical trials based on their Personal Health Records , 2010, J. Web Semant..

[3]  S. Tu,et al.  A Methodology for Determining Patients’ Eligibility for Clinical Trials , 1993, Methods of Information in Medicine.

[4]  W Domschke,et al.  [Antirheumatic drug-induced damage of the gastroduodenal mucosa: approach to prevention]. , 1986, Der Internist.

[5]  S. Tu,et al.  Analysis of Eligibility Criteria Complexity in Clinical Trials , 2010, Summit on translational bioinformatics.

[6]  Zhisheng Huang,et al.  A Semantically-Enabled System for Clinical Trials (demonstration) , 2013 .

[7]  Zhisheng Huang,et al.  SWI-Prolog and the web , 2007, Theory and Practice of Logic Programming.

[8]  Aziz A. Boxwala,et al.  Decision support for clinical trial eligibility determination in breast cancer , 1999, AMIA.

[9]  Arie Hasman,et al.  Approaches for creating computer-interpretable guidelines that facilitate decision support , 2004, Artif. Intell. Medicine.

[10]  V. S. Costa,et al.  Theory and Practice of Logic Programming , 2010 .

[11]  Mor Peleg,et al.  A practical method for transforming free-text eligibility criteria into computable criteria , 2011, J. Biomed. Informatics.

[12]  Anita Burgun-Parenthoine,et al.  Using Semantic Web Technologies for Clinical Trial Recruitment , 2010, International Semantic Web Conference.

[13]  Frank van Harmelen,et al.  SemanticCT: A Semantically-Enabled System for Clinical Trials , 2013, KR4HC/ProHealth.

[14]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[15]  Jun Zhang,et al.  Automatic patient search for breast cancer clinical trials using free-text medical reports , 2010, IHI.