Under Consideration for Publication in Theory and Practice of Logic Programming Generating Explanations for Biomedical Queries

We introduce novel mathematical models and algorithms to generate (shortest or k different) explanations for biomedical queries, using answer set programming. We implement these algorithms and integrate them in BioQuery-ASP. We illustrate the usefulness of these methods with some complex biomedical queries related to drug discovery, over the biomedical knowledge resources PharmGKB, DrugBank, BioGRID, CTD, SIDER, Disease Ontology, and Orphadata.

[1]  Chitta Baral,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .

[2]  Vladimir Lifschitz,et al.  Answer set programming and plan generation , 2002, Artif. Intell..

[3]  autoepistemic Zogic.  Logic programming and negation : a survey , 2001 .

[4]  C. Chong,et al.  New uses for old drugs , 2007, Nature.

[5]  Esra Erdem,et al.  BIOQUERY-ASP: Querying Biomedical Ontologies using Answer Set Programming , 2011, RuleML America.

[6]  Gang Feng,et al.  Disease Ontology: a backbone for disease semantic integration , 2011, Nucleic Acids Res..

[7]  Luigi Palopoli,et al.  The LP-OD system: logic programming meets outlier detection , 2007, ICLP 2007.

[8]  Martin Gebser,et al.  clasp : A Conflict-Driven Answer Set Solver , 2007, LPNMR.

[9]  Hans Tompits,et al.  Stepping through an Answer-Set Program , 2011, LPNMR.

[10]  Hans Tompits,et al.  Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning , 2006, ESWC.

[11]  T. Syrjänen.  Debugging Inconsistent Answer Set Programs , 2006 .

[12]  Esra Erdem,et al.  Transforming Controlled Natural Language Biomedical Queries into Answer Set Programs , 2009, BioNLP@HLT-NAACL.

[13]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[14]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[15]  Miroslaw Truszczynski,et al.  Answer set programming at a glance , 2011, Commun. ACM.

[16]  Victor W. Marek,et al.  The Logic Programming Paradigm: A 25-Year Perspective , 2011 .

[17]  David S. Wishart,et al.  DrugBank 3.0: a comprehensive resource for ‘Omics’ research on drugs , 2010, Nucleic Acids Res..

[18]  P. Bork,et al.  A side effect resource to capture phenotypic effects of drugs , 2010, Molecular systems biology.

[19]  Michelle Whirl-Carrillo,et al.  From pharmacogenomic knowledge acquisition to clinical applications: the PharmGKB as a clinical pharmacogenomic biomarker resource. , 2011, Biomarkers in medicine.

[20]  C Cramer,et al.  Born again. , 1997, Journal of emergency nursing: JEN : official publication of the Emergency Department Nurses Association.

[21]  Vladimir Lifschitz,et al.  Weight constraints as nested expressions , 2003, Theory and Practice of Logic Programming.

[22]  Ilkka Niemelä,et al.  Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.

[23]  Marina De Vos,et al.  Debugging Logic Programs under the Answer Set Semantics , 2005, Answer Set Programming.

[24]  Reijo Sulonen,et al.  A Practical Tool for Mass-Customising Configurable Products , 2003 .

[25]  Michael Gelfond,et al.  An A Prolog decision support system for the Space Shuttle , 2001, Answer Set Programming.

[26]  Krzysztof R. Apt,et al.  Logic Programming and Negation: A Survey , 1994, The Journal of Logic Programming.

[27]  Martin Gebser,et al.  Advances in gringo Series 3 , 2011, LPNMR.

[28]  Wolfgang Faber.  Answer Set Programming , 2013, Reasoning Web.

[29]  Mike Tyers,et al.  BioGRID: a general repository for interaction datasets , 2005, Nucleic Acids Res..

[30]  Olivier Bodenreider,et al.  A preliminary report on answering complex queries related to drug discovery using answer set programming , 2008 .

[31]  Victor W. Marek,et al.  Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.

[32]  Matthew Montebello,et al.  CCBR Ontology for Reusable Service Templates , 2006 .

[33]  Thomas C. Wiegers,et al.  The Comparative Toxicogenomics Database: update 2011 , 2010, Nucleic Acids Res..

[34]  Wolfgang Faber,et al.  Logic Programming and Nonmonotonic Reasoning , 2011, Lecture Notes in Computer Science.

[35]  H. Tompits,et al.  Catching the Ouroboros: On debugging non-ground answer-set programs , 2010, Theory and Practice of Logic Programming.

[36]  Hans Tompits,et al.  A Meta-Programming Technique for Debugging Answer-Set Programs , 2008, AAAI.

[37]  Timo Soininen,et al.  Extending and implementing the stable model semantics , 2000, Artif. Intell..

[38]  Enrico Pontelli,et al.  Under Consideration for Publication in Theory and Practice of Logic Programming Justifications for Logic Programs under Answer Set Semantics , 2022 .

[39]  Esra Erdem,et al.  Finding Answers and Generating Explanations for Complex Biomedical Queries , 2011, AAAI.

[40]  F. RICCA,et al.  Team-building with answer set programming in the Gioia-Tauro seaport , 2011, Theory and Practice of Logic Programming.

[41]  Esra Erdem,et al.  Generating Explanations for Complex Biomedical Queries , 2011, AAAI.