Abstract
The translational challenge in biomedical research lies in the effective and efficient transfer of mechanistic knowledge from one biological context to another. Implicit in this process is the establishment of causality from correlation in the form of mechanistic hypotheses. Effectively addressing the translational challenge requires the use of automated methods, including the ability to computationally capture the dynamic aspect of putative hypotheses such that they can be evaluated in a high throughput fashion. Ontologies provide structure and organization to biomedical knowledge; converting these representations into executable models/simulations is the next necessary step. Researchers need the ability to map their conceptual models into a model specification that can be transformed into an executable simulation program. We suggest this mapping process, which approximates certain steps in the development of a computational model, can be expressed as a set of logical rules, and a semi-intelligent computational agent, the Computational Modeling Assistant (CMA), can perform reasoning to develop a plan to achieve the construction of an executable model. Presented herein is a description and implementation for a model construction reasoning process between biomedical and simulation ontologies that is performed by the CMA to produce the specification of an executable model that can be used for dynamic knowledge representation.
Article PDF
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
References
An G (2010) Closing the scientific loop: bridging correlation and causality in the petaflop age. Sci Transl Med 2(41):41ps34
Antezana E, Kuiper M, Mironov V (2009) Biological knowledge management: the emerging role of the semantic web technologies. Brief Bioinform 10(4):392–407. doi:10.1093/bib/bbp024
Atanasova N, Todorovski L, Dzeroski S, Kompare B (2006) Constructing a library of domain knowledge for automated modelling of aquatic ecosystems. Ecol Model 194(1–3):14–36. doi:10.1016/j.ecolmodel.2005.10.002
Benjamin P, Patki M, Mayer R (2006) Using ontologies for simulation modeling. In: Proceedings of the winter simulation conference (WSC 06). doi:10.1109/WSC.2006.323206
Bridewell W, Sanchez JN, Langley P, Billman D (2006) An interactive environment for the modeling and discovery of scientific knowledge. Int J Hum-Comput Stud 11:1099–1114. doi:10.1016/j.ijhcs.2006.06.006
Bullivant DP, Hedley WJ, Hunter PJ, Nelson MR, Nielsen PF (2001) Languages for the definition and exchange of biological models. In: Proceedings of the physiological society New Zealand, vol 20
Calzone L, Chabrier-Rivier N, Fages F, Soliman S (2006) Machine learning biochemical networks from temporal logic properties. In: Priami C, Plotkin G (eds) Transactions on computational systems biology. VI. Lecture notes in computer science, vol 4220. Springer, Berlin, pp 68–94
Chaouiya C (2007) Petri net modelling of biological networks. Brief Bioinform 8(4):210–219
Chen C, Chen Y, Horowitz M, Hou H, Liu Z, Pellegrino D (2009) Towards an explanatory and computational theory of scientific discovery. J Informetr 3(3):191–209
Clavel M, Duran F, Eker S, Lincoln P, Marti-Oliet N, Meseguer J, Talcott C (2007) All about maude—a high-performance logical framework. Springer, Berlin
Colton S, Muggleton S (2006) Mathematical applications of inductive logic programming. Mach Learn 64(1–3):25–64. doi:10.1007/s10994-006-8259-x
Colton S, de Mantaras Badia RL, Stock O (2009) Computational creativity: coming of age. AI Mag 30(3):11–14
Cuellar AA, Lloyd CM, Nielsen PF, Bullivant DP, Nickerson DP, Hunter PJ (2003) An overview of CellML 1.1, a biological model description language. SIMULATION 79(12):740–747
Curti M, Degano P, Priami C, Baldari C (2004) Modelling biochemical pathways through enhanced pi-calculus. Theor Comput Sci 325:111–140. doi:10.1016/j.tcs.2004.03.066
Džeroski S, Langley P, Todorovski L (2007) Computational discovery of scientific knowledge. In: Computational discovery of scientific knowledge. Lecture notes in computer science, vol 4660. Springer, Berlin, pp 1–14
Fishwick PA, Miller JA (2004) Ontologies for modeling and simulation: issues and approaches. In: Proceedings of the 2004 winter simulation conference, vol 1. doi:10.1109/WSC.2004.1371324
Goecks J, Nekrutenko A, Taylor J, Team G (2010) Galaxy: a comprehensive approach for supporting accessible, reproducible, and transparent computational research in the life sciences. Genome Biol 11(8):R86. doi:10.1186/gb-2010-11-8-r86
Goss PJ, Peccoud J (1998) Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. Proc Natl Acad Sci USA 95(12):6750–6755
Hedley W, Nielsen P, Hunter P (2000) XML languages for describing biological models and data. Ann Biomed Eng 28(1):S-29
Hucka M, Finney A, Sauro HM, Bolouri H, Doyle JC, Kitano H, and the rest of the SF, Arkin AP, Bornstein BJ, Bray D, Cornish-Bowden A, Cuellar AA, Dronov S, Gilles ED, Ginkel M, Gor V, Goryanin II, Hedley WJ, Hodgman TC, Hofmeyr JH, Hunter PJ, Juty NS, Kasberger JL, Kremling A, Kummer U, Le Novere N, Loew LM, Lucio D, Mendes P, Minch E, Mjolsness ED, Nakayama Y, Nelson MR, Nielsen PF, Sakurada T, Schaff JC, Shapiro BE, Shimizu TS, Spence HD, Stelling J, Takahashi K, Tomita M, Wagner J, Wang J (2003) The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 19(4):524–531. doi:10.1093/bioinformatics/btg015
Hull D, Wolstencroft K, Stevens R, Goble C, Pocock MR, Li P, Oinn T (2006) Taverna: a tool for building and running workflows of services. Nucleic Acids Res 34(Web Server issue):W729–W732. doi:10.1093/nar/gkl320
Johansson MEV, Holmén Larsson JM, Hansson GC (2010) Microbes and health sackler colloquium: the two mucus layers of colon are organized by the MUC2 mucin, whereas the outer layer is a legislator of host-microbial interactions. Proc Natl Acad Sci USA 108:11217–11222
Karp PD (2001) Pathway databases: a case study in computational symbolic theories. Science 293(5537):2040–2044. doi:10.1126/science.1064621
King R, Karwath A, Clare A, Dehaspe L (2007) Logic and the automatic acquisition of scientific knowledge: an application to functional genomics. Comput Discov Sci Knowl 4660:273–289
King RD, Rowland J, Oliver SG, Young M, Aubrey W, Byrne E, Liakata M, Markham M, Pir P, Soldatova LN, Sparkes A, Whelan KE, Clare A (2009) The automation of science. Science 324(5923):85–89. doi:10.1126/science.1165620
Krishnamurthy M, Smith F (1994) Integration of scientific-data and formulas in an object-oriented knowledge-based system. Knowl-Based Syst 7(2):135–141
Langley P (2000) The computational support of scientific discovery. Int J Hum-Comput Stud 3:393–410
Linke B, Giegerich R, Goesmann A (2011) Conveyor: a workflow engine for bioinformatic analyses. Bioinformatics 27(7):903–911. doi:10.1093/bioinformatics/btr040
Miller JA, Baramidze GT, Sheth AP, Fishwick PA (2004) Investigating ontologies for simulation modeling. In: Proceedings of the 37th annual symposium on simulation, Washington, DC, USA. IEEE Comput Soc, Los Alamitos, pp 55–63
Montano-Rivas O, McCasland R, Dixon L, Bundy A (2010) Scheme-based synthesis of inductive theories. Adv Artif Intell 6437:348–361
Obritsch MD, Fish DN, MacLaren R, Jung R (2005) Nosocomial infections due to multidrug-resistant Pseudomonas aeruginosa: epidemiology and treatment options. Pharmacotherapy 25(10):1351–1364
Petty MD, Weisel EW (2003) A composability lexicon. In: Spring 2003 simulation interoperability workshop, pp 181–187
Prendinger H, Ishizuka M (2005) A creative abduction approach to scientific and knowledge discovery. Knowl-Based Syst 18(7):321–326. doi:10.1016/j.knosys.2004.12.003
Rzhetsky A, Koike T, Kalachikov S, Gomez SM, Krauthammer M, Kaplan SH, Kra P, Russo JJ, Friedman C (2000) A knowledge model for analysis and simulation of regulatory networks. Bioinformatics 16(12):1120–1128
Shneiderman B (2007) Creativity support tools—accelerating discovery and innovation. Commun ACM 50(12):20–32
Silver GA, Miller JA, Hybinette M, Baramidze G, York WS (2011) DeMO: an ontology for discrete-event modeling and simulation. SIMULATION. doi:10.1177/0037549710386843
USFDA (2004) Innovation or stagnation: opportunities and challenges on the critical path to new medical products. doi:http://www.fda.gov/ScienceResearch/SpecialTopics/CriticalPathInitiative/CriticalPathOpportunitiesReports/ucm077262.htm
Wu L, Estrada O, Zaborina O, Bains M, Shen L, Kohler JE, Patel N, Musch MW, Chang EB, Fu Y-X, Jacobs MA, Nishimura MI, Hancock REW, Turner JR, Alverdy JC (2005) Recognition of host immune activation by Pseudomonas aeruginosa. Science 309(5735):774–777
Yilmaz L (2007) A strategy for improving dynamic composability: ontology-driven introspective agent architectures. IJSCI : Int J Syst Cybern Inform 5(5):1–9
Yilmaz L, Hunt CA (2011) Advanced concepts and generative simulation formalisms for creative discovery systems engineering. In: Tolk A, Jain L (eds) Intelligence-based systems engineering. Handbook on intelligence-based approaches for systems engineering. Springer, Berlin, pp 233–258
Zupan B, Bratko I, Demšar J, Juvan P, Kuspa A, Halter J, Shaulsky G (2007) Discovery of genetic networks through abduction and qualitative simulation. In: Computational discovery of scientific knowledge. Lecture notes in computer science, vol 4660. Springer, Berlin, pp 228–247
Zytkow JM, Zhu J, Zembowicz R (1992) Operational definition refinement: a discovery process. In: Proceedings of the national conference on artificial intelligence, pp 76–81
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License (https://creativecommons.org/licenses/by-nc/2.0), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Christley, S., An, G. A proposal for augmenting biological model construction with a semi-intelligent computational modeling assistant. Comput Math Organ Theory 18, 380–403 (2012). https://doi.org/10.1007/s10588-011-9101-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10588-011-9101-y