{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:15:04Z","timestamp":1760170504933},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642028458"},{"type":"electronic","value":"9783642028465"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02846-5_1","type":"book-chapter","created":{"date-parts":[[2009,7,20]],"date-time":"2009-07-20T10:44:16Z","timestamp":1248086656000},"page":"1-21","source":"Crossref","is-referenced-by-count":5,"title":["Experiences Using Logic Programming in Bioinformatics"],"prefix":"10.1007","author":[{"given":"Chris","family":"Mungall","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Alekseyenko, A.V., Lee, C.J.: Nested containment list (NCList): a new algorithm for accelerating interval query of genome alignment and interval databases. Bioinformatics, btl647 (2007)","DOI":"10.1093\/bioinformatics\/btl647"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM\u00a026, 832\u2013843 (1983)","journal-title":"Communications of the ACM"},{"issue":"8","key":"1_CR3","doi-asserted-by":"publisher","first-page":"1425","DOI":"10.1101\/gr.180801","volume":"11","author":"M. Ashburner","year":"2001","unstructured":"Ashburner, M., Ball, C.A., Blake, J.A., Butler, H., Cherry, J.M., Corradi, J., Dolinski, K., Eppig, J.T., Harris, M., Hill, D.P., Lewis, S., Marshall, B., Mungall, C., Reiser, L., Rhee, S., Richardson, J.E., Richter, J., Ringwald, M., Rubin, G.M., Sherlock, G., Yoon, J.: Creating the gene ontology resource: design and implementation. Genome. Res.\u00a011(8), 1425\u20131433 (2001)","journal-title":"Genome. Res."},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Batchelor, C., Bittner, T., Eilbeck, K., Mungall, C., Richardson, J., Knight, R., Stombaugh, J., Zirbel, C., Westhof, E., Leontis, N.: The rna ontology (rnao): An ontology for integrating rna sequence and structure data. In: Proceeeings of the First International Conference on Biomedical Ontology (2009)","DOI":"10.1038\/npre.2009.3561.1"},{"issue":"5","key":"1_CR5","doi-asserted-by":"publisher","first-page":"925","DOI":"10.1101\/gr.1860604","volume":"14","author":"E. Birney","year":"2004","unstructured":"Birney, E., Andrews, T.D., Bevan, P., Caccamo, M., Chen, Y., Clarke, L., Coates, G., Cuff, J., Curwen, V., Cutts, T., Down, T., Eyras, E., Fernandez-Suarez, X.M., Gane, P., Gibbins, B., Gilbert, J., Hammond, M., Hotz, H.R., Iyer, V., Jekosch, K., Kahari, A., Kasprzyk, A., Keefe, D., Keenan, S., Lehvaslaiho, H., McVicker, G., Melsopp, C., Meidl, P., Mongin, E., Pettett, R., Potter, S., Proctor, G., Rae, M., Searle, S., Slater, G., Smedley, D., Smith, J., Spooner, W., Stabenau, A., Stalker, J., Storey, R., Ureta-Vidal, A., Woodwark, K.C., Cameron, G., Durbin, R., Cox, A., Hubbard, T., Clamp, M.: An overview of ensembl. Genome. Res.\u00a014(5), 925\u2013928 (2004)","journal-title":"Genome. Res."},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1093\/nar\/gkm1001","volume":"36","author":"B.-J. Breitkreutz","year":"2008","unstructured":"Breitkreutz, B.-J., Stark, C., Reguly, T., Boucher, L., Breitkreutz, A., Livstone, M., Oughtred, R., Lackner, D.H., Bhler, J., Wood, V., Dolinski, K., Tyers, M.: The biogrid interaction database: 2008 update (PMC2238873). Nucleic Acids Research\u00a036, D637\u2013D640 (2008)","journal-title":"Nucleic Acids Research"},{"key":"1_CR7","unstructured":"Cook, W.R., Ibrahim, A.H.: Integrating programming languages and databases: What is the problem. ODBMS. ORG, Expert Article (2006)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Draxler, C.: Accessing Relational and Higher Databases Through Database Set Predicates. PhD thesis, PhD thesis, Zurich University (1991)","DOI":"10.1007\/978-1-4471-3546-3_9"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Eilbeck, K., Lewis, S.E., Mungall, C.J., Yandell, M.D., Stein, L.D., Durbin, R., Ashburner, M.: The sequence ontology: a tool for the unification of genome annotations. Genome. Biology\u00a06(5) (2005)","DOI":"10.1186\/gb-2005-6-5-r44"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Eilbeck, K., Mungall, C.: Evolution of the sequence ontology terms and relationships. In: Proceedings of the First International Conference on Biomedical Ontology (2009)","DOI":"10.1038\/npre.2009.3495.1"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Mabee, P.M., Ashburner, M., Cronk, Q., Gkoutos, G.V., Haendel, M., Segerdell, E., Mungall, C., Westerfield, M.: Phenotype ontologies: the bridge between genomics and evolution. Trends. Ecol. Evol. (April 2007)","DOI":"10.1016\/j.tree.2007.03.013"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Mungall, C., Bada, M., Berardini, T., Deegan, J., Ireland, A., Harris, M., Hill, D., Lomax, J.: Cross-product extensions of the gene ontology. In: Proceedings of the First International Conference on Biomedical Ontology (2009)","DOI":"10.1038\/npre.2009.3496.1"},{"issue":"7","key":"1_CR13","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1002\/cfg.435","volume":"5","author":"C.J. Mungall","year":"2004","unstructured":"Mungall, C.J.: Obol: Integrating language and meaning in bio-ontologies. Comparative and Functional Genomics\u00a05(7), 509\u2013520 (2004)","journal-title":"Comparative and Functional Genomics"},{"issue":"13","key":"1_CR14","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1093\/bioinformatics\/btm189","volume":"23","author":"C.J. Mungall","year":"2007","unstructured":"Mungall, C.J., Emmert, D.B.: A chado case study: an ontology-based modular schema for representing genome-associated biological information. Bioinformatics\u00a023(13), 337\u2013346 (2007)","journal-title":"Bioinformatics"},{"key":"1_CR15","unstructured":"Sayers, E., Wheeler, D., National\u00a0Center for Biotechnology Information: Building customized data pipelines using the entrez programming utilities (eutils). In: NCBI (2004)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Smith, B., Ceusters, W., Kohler, J., Kumar, A., Lomax, J., Mungall, C.J., Neuhaus, F., Rector, A., Rosse, C.: Relations in biomedical ontologies. Genome. Biology\u00a06(5) (2005)","DOI":"10.1186\/gb-2005-6-5-r46"},{"issue":"11","key":"1_CR17","doi-asserted-by":"publisher","first-page":"1251","DOI":"10.1038\/nbt1346","volume":"25","author":"B. Smith","year":"2007","unstructured":"Smith, B., Ashburner, M., Rosse, C., Bard, J., Bug, W., Ceusters, W., Goldberg, L.J., Eilbeck, K., Ireland, A., Mungall, C.J., Leontis, N., Rocca-Serra, P., Ruttenberg, A., Sansone, S.-A., Scheuermann, R.H., Shah, N., Whetzel, P.L., Lewis, S.: The obo foundry: coordinated evolution of ontologies to support biomedical data integration. Nat. Biotechnol.\u00a025(11), 1251\u20131255 (2007)","journal-title":"Nat. Biotechnol."},{"issue":"10","key":"1_CR18","doi-asserted-by":"publisher","first-page":"1611","DOI":"10.1101\/gr.361602","volume":"12","author":"J.E. Stajich","year":"2002","unstructured":"Stajich, J.E., Block, D., Boulez, K., Brenner, S.E., Chervitz, S.A., Dagdigian, C., Fuellen, G., Gilbert, J.G., Korf, I., Lapp, H., Lehvaslaiho, H., Matsalla, C., Mungall, C.J., Osborne, B.I., Pocock, M.R., Schattner, P., Senger, M., Stein, L.D., Stupka, E., Wilkinson, M.D., Birney, E.: The bioperl toolkit: Perl modules for the life sciences. Genome. Res.\u00a012(10), 1611\u20131618 (2002); 1088-9051 Journal Article","journal-title":"Genome. Res."},{"key":"1_CR19","unstructured":"Stein, L.: How perl saved the human genome project. The Perl Journal\u00a01(0001) (1996)"},{"issue":"6885","key":"1_CR20","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1038\/417119a","volume":"417","author":"L. Stein","year":"2002","unstructured":"Stein, L.: Creating a bioinformatics nation. Nature\u00a0417(6885), 119\u2013120 (2002)","journal-title":"Nature"},{"issue":"5","key":"1_CR21","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1038\/nrg1065","volume":"4","author":"L.D. Stein","year":"2003","unstructured":"Stein, L.D.: Integrating biological databases. Nature Reviews Genetics\u00a04(5), 337\u2013345 (2003)","journal-title":"Nature Reviews Genetics"},{"key":"1_CR22","unstructured":"Vassiliadis, V., Mungall, C.J.: Logic programming with owl2 using the thea prolog library (in preparation, 2009)"},{"key":"1_CR23","unstructured":"Wielemaker, J.: An overview of the SWI-Prolog programming environment. In: 13th International Workshop on Logic Programming Environments, pp. 1\u201316 (2003)"},{"key":"1_CR24","unstructured":"Wielemaker, J., Anjewierden, A.: PlDoc: wiki style literate programming for prolog. In: Proceedings of the 17th Workshop on Logic-Based methods in Programming Environments, p. 1630 (2007)"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1007\/978-3-540-39718-2_41","volume-title":"The Semantic Web - ISWC 2003","author":"J. Wielemaker","year":"2003","unstructured":"Wielemaker, J., Schreiber, G., Wielinga, B.: Prolog-based infrastructure for RDF: Scalability and performance. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 644\u2013658. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02846-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,20]],"date-time":"2020-05-20T20:34:48Z","timestamp":1590006888000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02846-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642028458","9783642028465"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02846-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}