{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T06:08:47Z","timestamp":1759730927677},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T00:00:00Z","timestamp":1319673600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/2.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["BMC Bioinformatics"],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1186\/1471-2105-12-418","type":"journal-article","created":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T14:24:40Z","timestamp":1319725480000},"source":"Crossref","is-referenced-by-count":31,"title":["Improving ontologies by automatic reasoning and evaluation of logical definitions"],"prefix":"10.1186","volume":"12","author":[{"given":"Sebastian","family":"K\u00f6hler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Bauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris J","family":"Mungall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriele","family":"Carletti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cynthia L","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Schofield","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georgios V","family":"Gkoutos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter N","family":"Robinson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,10,27]]},"reference":[{"key":"4910_CR1","doi-asserted-by":"crossref","DOI":"10.1201\/b10967","volume-title":"Introduction to Bio-Ontologies","author":"PN Robinson","year":"2011","unstructured":"Robinson PN, Bauer S: Introduction to Bio-Ontologies. CRC Press Inc; 2011."},{"key":"4910_CR2","volume-title":"Nature Genetics","author":"M Ashburner","year":"2000","unstructured":"Ashburner M, Ball C, Blake JA, Botstein D: Gene Ontology: tool for the unification of biology. Nature Genetics 2000."},{"issue":"11","key":"4910_CR3","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 LJ, Eilbeck K, Ireland A, Mungall CJ, Consortium OBI, Leontis N, Rocca-Serra P, Ruttenberg A, Sansone SA, Scheuermann RH, Shah N, Whetzel PL, Lewis SE: The OBO Foundry: coordinated evolution of ontologies to support biomedical data integration. Nat Biotechnol 2007, 25(11):1251\u20131255. 10.1038\/nbt1346","journal-title":"Nat Biotechnol"},{"key":"4910_CR4","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1016\/j.jbi.2010.02.002","volume":"44","author":"CJ Mungall","year":"2011","unstructured":"Mungall CJ, Bada M, Berardini TZ, Deegan J, Ireland A, Harris MA, Hill DP, Lomax J: Cross-product extensions of the Gene Ontology. J Biomed Inform 2011, 44: 80\u20136. 10.1016\/j.jbi.2010.02.002","journal-title":"J Biomed Inform"},{"key":"4910_CR5","doi-asserted-by":"publisher","first-page":"R7","DOI":"10.1186\/gb-2004-6-1-r7","volume":"6","author":"CL Smith","year":"2005","unstructured":"Smith CL, Goldsmith CAW, Eppig JT: The Mammalian Phenotype Ontology as a tool for annotating, analyzing and comparing phenotypic information. Genome Biol 2005, 6: R7. 10.1186\/gb-2005-6-5-p7","journal-title":"Genome Biol"},{"issue":"5","key":"4910_CR6","doi-asserted-by":"publisher","first-page":"610","DOI":"10.1016\/j.ajhg.2008.09.017","volume":"83","author":"PN Robinson","year":"2008","unstructured":"Robinson PN, K\u00f6hler S, Bauer S, Seelow D, Horn D, Mundlos S: The Human Phenotype Ontology: a tool for annotating and analyzing human hereditary disease. Am J Hum Genet 2008, 83(5):610\u2013615. 10.1016\/j.ajhg.2008.09.017","journal-title":"Am J Hum Genet"},{"issue":"6","key":"4910_CR7","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1111\/j.1399-0004.2010.01436.x","volume":"77","author":"PN Robinson","year":"2010","unstructured":"Robinson PN, Mundlos S: The human phenotype ontology. Clin Genet 2010, 77(6):525\u2013534. 10.1111\/j.1399-0004.2010.01436.x","journal-title":"Clin Genet"},{"key":"4910_CR8","unstructured":"Human Phenotype Ontology[ http:\/\/www.human-phenotype-ontology.org ]"},{"key":"4910_CR9","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1186\/1471-2105-12-32","volume":"12","author":"G Schindelman","year":"2011","unstructured":"Schindelman G, Fernandes JS, Bastiani CA, Yook K, Sternberg PW: Worm Phenotype Ontology: integrating phenotype data within and beyond the C. elegans community. BMC Bioinformatics 2011, 12: 32. 10.1186\/1471-2105-12-32","journal-title":"BMC Bioinformatics"},{"key":"4910_CR10","first-page":"178","volume-title":"Pac Symp Biocomput","author":"GV Gkoutos","year":"2004","unstructured":"Gkoutos GV, Green ECJ, Mallon AM, Hancock JM, Davidson D: Building mouse phenotype ontologies. Pac Symp Biocomput 2004, 178\u2013189."},{"key":"4910_CR11","doi-asserted-by":"publisher","first-page":"R8","DOI":"10.1186\/gb-2004-6-1-r8","volume":"6","author":"GV Gkoutos","year":"2005","unstructured":"Gkoutos GV, Green ECJ, Mallon AM, Hancock JM, Davidson D: Using ontologies to describe mouse phenotypes. Genome Biol 2005, 6: R8. 10.1186\/gb-2005-6-5-p8","journal-title":"Genome Biol"},{"key":"4910_CR12","doi-asserted-by":"crossref","unstructured":"Sprague J, Bayraktaroglu L, Bradford Y, Conlin T, Dunn N, Fashena D, Frazer K, Haendel M, Howe DG, Knight J, Mani P, Moxon SAT, Pich C, Ramachandran S, Schaper K, Segerdell E, Shao X, Singer A, Song P, Sprunger B, Slyke CEV, Westerfield M: The Zebrafish Information Network: the zebrafish model organism database provides expanded support for genotypes and phenotypes. Nucleic Acids Res 2008, (36 Database):D768-D772.","DOI":"10.1093\/nar\/gkm956"},{"issue":"8","key":"4910_CR13","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/s00335-009-9208-3","volume":"20","author":"JM Hancock","year":"2009","unstructured":"Hancock JM, Mallon AM, Beck T, Gkoutos GV, Mungall C, Schofield PN: Mouse, man, and meaning: bridging the semantics of mouse phenotype and human disease. Mamm Genome 2009, 20(8):457\u2013461. 10.1007\/s00335-009-9208-3","journal-title":"Mamm Genome"},{"issue":"11","key":"4910_CR14","doi-asserted-by":"publisher","first-page":"e1000247","DOI":"10.1371\/journal.pbio.1000247","volume":"7","author":"NL Washington","year":"2009","unstructured":"Washington NL, Haendel MA, Mungall CJ, Ashburner M, Westerfield M, Lewis SE: Linking human diseases to animal models using ontology-based phenotype annotation. PLoS Biol 2009, 7(11):e1000247. 10.1371\/journal.pbio.1000247","journal-title":"PLoS Biol"},{"key":"4910_CR15","volume-title":"OWL 2 Web Ontology Language: structural specification and functional-syle syntax","author":"B Motik","year":"2008","unstructured":"Motik B, Patel-Schneider PF, Parsia B:OWL 2 Web Ontology Language: structural specification and functional-syle syntax. 2008. [ http:\/\/www.w3.org\/TR\/owl2-syntax\/ ]"},{"issue":"6","key":"4910_CR16","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1016\/j.jbi.2003.11.007","volume":"36","author":"C Rosse","year":"2003","unstructured":"Rosse C, Mejino JLV: A reference ontology for biomedical informatics: the Foundational Model of Anatomy. J Biomed Inform 2003, 36(6):478\u2013500. 10.1016\/j.jbi.2003.11.007","journal-title":"J Biomed Inform"},{"key":"4910_CR17","doi-asserted-by":"publisher","first-page":"R2","DOI":"10.1186\/gb-2010-11-1-r2","volume":"11","author":"CJ Mungall","year":"2010","unstructured":"Mungall CJ, Gkoutos GV, Smith CL, Haendel MA, Lewis SE, Ashburner M: Integrating phenotype ontologies across multiple species. Genome Biol 2010, 11: R2. 10.1186\/gb-2010-11-1-r2","journal-title":"Genome Biol"},{"key":"4910_CR18","doi-asserted-by":"crossref","unstructured":"Degtyarenko K, de Matos P, Ennis M, Hastings J, Zbinden M, McNaught A, Alc\u00e1ntara R, Darsow M, Guedj M, Ashburner M: ChEBI: a database and ontology for chemical entities of biological interest. Nucleic Acids Res 2008, (36 Database):D344-D350.","DOI":"10.1093\/nar\/gkm791"},{"issue":"2","key":"4910_CR19","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E Sirin","year":"2007","unstructured":"Sirin E, Parsia B, Cuenca Grau B, Kalyanpur A, Katz Y: Pellet: A practical OWL-DL reasoner. Web Semantics 2007, 5(2):51\u201353. 10.1016\/j.websem.2007.03.004","journal-title":"Web Semantics"},{"key":"4910_CR20","first-page":"67","volume-title":"Proc of CADE-21, Volume 4603 of LNCS (LNAI), Heidelberg: Springer","author":"B Motik","year":"2007","unstructured":"Motik B, Shearer R, Horrocks I: Optimized reasoning in description logics using hypertableaux. Proc of CADE-21, Volume 4603 of LNCS (LNAI), Heidelberg: Springer 2007, 67\u201383."},{"key":"4910_CR21","first-page":"953","volume":"2003","author":"NF Noy","year":"2003","unstructured":"Noy NF, Crubezy M, Fergerson RW, Knublauch H, Tu SW, Vendetti J, Musen MA: Prot\u00e9g\u00e9-2000: an open-source ontology-development and knowledge-acquisition environment. AMIA Annu Symp Proc 2003, 2003: 953.","journal-title":"AMIA Annu Symp Proc"},{"key":"4910_CR22","unstructured":"Prot\u00e9g\u00e9[ http:\/\/protege.stanford.edu ]"},{"key":"4910_CR23","volume-title":"TopQuadrant -- products -- TopBraid Composer","author":"TopQuadrant","year":"2011","unstructured":"TopQuadrant: TopQuadrant -- products -- TopBraid Composer.2011. [ http:\/\/www.topquadrant.com\/products\/TB_Composer.html ]"},{"key":"4910_CR24","volume-title":"5th OWL Experiences and Directions Workshop (OWLED 2008)","author":"M Bada","year":"2008","unstructured":"Bada M, Mungall C, Hunter L: A call for an abductive reasoning fature in OWL-reasoning tools toward ontology quality control. 5th OWL Experiences and Directions Workshop (OWLED 2008) 2008. [ http:\/\/www.webont.org\/owled\/2008\/papers\/owled2008eu_submission_44.pdf ]"},{"issue":"12","key":"4910_CR25","doi-asserted-by":"publisher","first-page":"1448","DOI":"10.1093\/bioinformatics\/btn194","volume":"24","author":"M Bada","year":"2008","unstructured":"Bada M, Hunter L: Identification of OBO nonalignments and its implications for OBO enrichment. Bioinformatics 2008, 24(12):1448\u20131455. 10.1093\/bioinformatics\/btn194","journal-title":"Bioinformatics"},{"issue":"12","key":"4910_CR26","doi-asserted-by":"publisher","first-page":"i77","DOI":"10.1093\/bioinformatics\/btp195","volume":"25","author":"K Verspoor","year":"2009","unstructured":"Verspoor K, Dvorkin D, Cohen KB, Hunter L: Ontology quality assurance through analysis of term transformations. Bioinformatics (Oxford, England) 2009, 25(12):i77\u201384. 10.1093\/bioinformatics\/btp195","journal-title":"Bioinformatics (Oxford, England)"},{"key":"4910_CR27","first-page":"145","volume":"102","author":"W Ceusters","year":"2004","unstructured":"Ceusters W, Smith B, Kumar A, Dhaen C: Mistakes in medical ontologies: where do they come from and how can they be detected? Stud Health Technol Inform 2004, 102: 145\u201363.","journal-title":"Stud Health Technol Inform"},{"key":"4910_CR28","doi-asserted-by":"publisher","first-page":"R8","DOI":"10.1186\/gb-2004-6-1-r8","volume":"6","author":"GV Gkoutos","year":"2004","unstructured":"Gkoutos GV, Green ECJ, Mallon AM, Hancock JM, Davidson D: Using ontologies to describe mouse phenotypes. Genome Biol 2004, 6: R8. 10.1186\/gb-2004-6-1-r8","journal-title":"Genome Biol"},{"key":"4910_CR29","volume-title":"6th OWL Experienced and Directions Workshop, Chantilly, Virginia","author":"M Horridge","year":"2009","unstructured":"Horridge M, Bechhofer S: The OWL API: A Java API for working with OWL 2 ontologies. 6th OWL Experienced and Directions Workshop, Chantilly, Virginia 2009."},{"key":"4910_CR30","unstructured":"oboformat library[ http:\/\/code.google.com\/p\/oboformat\/ ]"},{"key":"4910_CR31","unstructured":"OWL Tools[ http:\/\/code.google.com\/p\/owltools\/ ]"},{"key":"4910_CR32","first-page":"292","volume-title":"Proc of the Int Joint Conf on Automated Reasoning (IJCAR 2006), Volume 4130 of Lecture Notes in Artificial Intelligence, Springer","author":"D Tsarkov","year":"2006","unstructured":"Tsarkov D, Horrocks I: FaCT++ description logic reasoner: system description. Proc of the Int Joint Conf on Automated Reasoning (IJCAR 2006), Volume 4130 of Lecture Notes in Artificial Intelligence, Springer 2006, 292\u2013297."},{"key":"4910_CR33","volume-title":"Uberon: towards a comprehensive multi-species anatomy ontology","author":"MA Haendel","year":"2009","unstructured":"Haendel MA, Gkoutos GG, Lewis SE, Mungall C: Uberon: towards a comprehensive multi-species anatomy ontology.2009. [ http:\/\/precedings.nature.com\/documents\/3592\/version\/1 ]"}],"container-title":["BMC Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/1471-2105-12-418.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/1471-2105-12-418\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/1471-2105-12-418.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T14:39:09Z","timestamp":1560868749000},"score":1,"resource":{"primary":{"URL":"https:\/\/bmcbioinformatics.biomedcentral.com\/articles\/10.1186\/1471-2105-12-418"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,27]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["4910"],"URL":"https:\/\/doi.org\/10.1186\/1471-2105-12-418","relation":{},"ISSN":["1471-2105"],"issn-type":[{"value":"1471-2105","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,10,27]]},"article-number":"418"}}