{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T05:08:09Z","timestamp":1774933689977,"version":"3.50.1"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T00:00:00Z","timestamp":1191888000000},"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":[[2007,12]]},"DOI":"10.1186\/1471-2105-8-377","type":"journal-article","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T18:13:31Z","timestamp":1191953611000},"source":"Crossref","is-referenced-by-count":33,"title":["Representing default knowledge in biomedical ontologies: application to the integration of anatomy and phenotype ontologies"],"prefix":"10.1186","volume":"8","author":[{"given":"Robert","family":"Hoehndorf","sequence":"first","affiliation":[]},{"given":"Frank","family":"Loebe","sequence":"additional","affiliation":[]},{"given":"Janet","family":"Kelso","sequence":"additional","affiliation":[]},{"given":"Heinrich","family":"Herre","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,10,9]]},"reference":[{"issue":"3","key":"1749_CR1","doi-asserted-by":"publisher","first-page":"R29","DOI":"10.1186\/gb-2005-6-3-r29","volume":"6","author":"TF Hayamizu","year":"2005","unstructured":"Hayamizu TF, Mangan M, Corradi JP, Kadin JA, Ringwald M: The Adult Mouse Anatomical Dictionary: a tool for annotating and integrating data. Genome Biology. 2005, 6 (3): R29-10.1186\/gb-2005-6-3-r29.","journal-title":"Genome Biology"},{"key":"1749_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1038\/75556","volume":"25","author":"M Ashburner","year":"2000","unstructured":"Ashburner M, Ball CA, Blake JA, Botstein D, Butler H, Cherry JM, Davis AP, Dolinski K, Dwight SS, Eppig JT, Harris MA, Hill DP, Issel-Tarver L, Kasarskis A, Lewis S, Matese JC, Richardson JE, Ringwald M, Rubin GM, Sherlock G: Gene ontology: tool for the unification of biology. Nature Genetics. 2000, 25: 25-29. 10.1038\/75556.","journal-title":"Nature Genetics"},{"key":"1749_CR3","unstructured":"Chrisholm R, Kibbe W, Osborne J, Wolf W, Doyle M, Doyle AO, Smith M, Zhu J: Disease Ontology. [\n                    http:\/\/diseaseontology.sourceforge.net\n                    \n                  ]"},{"key":"1749_CR4","unstructured":"The Plant Ontology Consortium: Plant Ontology (PO). [\n                    http:\/\/www.plantontology.org\n                    \n                  ]"},{"key":"1749_CR5","first-page":"178","volume-title":"Proceedings of the 9th Pacific Symposium on Biocomputing (PSB 2004), Hawaii, USA, Jan 6\u201310","author":"GV Gkoutos","year":"2004","unstructured":"Gkoutos GV, Green ECJ, Mallon AM, Hancock JM, Davidson D: Building Mouse Phenotype Ontologies. Proceedings of the 9th Pacific Symposium on Biocomputing (PSB 2004), Hawaii, USA, Jan 6\u201310. Edited by: Altman RB, Dunker AK, Hunter L, Jung TA, Klein TE. 2004, London: World Scientific, 178-189."},{"issue":"5","key":"1749_CR6","doi-asserted-by":"publisher","first-page":"R46","DOI":"10.1186\/gb-2005-6-5-r46","volume":"6","author":"B Smith","year":"2005","unstructured":"Smith B, Ceusters W, Klagges B, K\u00f6hler J, Kumar A, Lomax J, Mungall C, Neuhaus F, Rector AL, Rosse C: Relations in biomedical ontologies. Genome Biology. 2005, 6 (5): R46-10.1186\/gb-2005-6-5-r46.","journal-title":"Genome Biology"},{"key":"1749_CR7","unstructured":"Open Biomedical Ontologies (OBO) Foundry. [\n                    http:\/\/obofoundry.org\n                    \n                  ]"},{"key":"1749_CR8","unstructured":"OBO Foundry Principles. [\n                    http:\/\/obofoundry.org\/crit.shtml\n                    \n                  ]"},{"issue":"6","key":"1749_CR9","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. Journal of Biomedical Informatics. 2003, 36 (6): 478-500. 10.1016\/j.jbi.2003.11.007.","journal-title":"Journal of Biomedical Informatics"},{"key":"1749_CR10","doi-asserted-by":"publisher","first-page":"R7","DOI":"10.1186\/gb-2004-6-1-r7","volume":"6","author":"CL Smith","year":"2004","unstructured":"Smith CL, Goldsmith CAW, Eppig JT: The Mammalian Phenotype Ontology as a tool for annotating, analyzing and comparing phenotypic information. Genome Biology. 2004, 6: R7-10.1186\/gb-2004-6-1-r7.","journal-title":"Genome Biology"},{"key":"1749_CR11","volume-title":"Knowledge Representation: Logical, Philosophical and Computational Foundations","author":"JF Sowa","year":"2000","unstructured":"Sowa JF: Knowledge Representation: Logical, Philosophical and Computational Foundations. 2000, Pacific Grove: Brooks\/Cole"},{"key":"1749_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0269888903000651","volume":"18","author":"Y Kalfoglou","year":"2003","unstructured":"Kalfoglou Y, Schorlemmer M: Ontology mapping: the state of the art. The Knowledge Engineering Review. 2003, 18: 1-31. 10.1017\/S0269888903000651.","journal-title":"The Knowledge Engineering Review"},{"key":"1749_CR13","first-page":"108","volume-title":"Proceedings of the IJCAI'01 Workshop on Ontologies and Information Sharing, Seattle, Washington, USA, Aug 4\u20135","author":"H Wache","year":"2001","unstructured":"Wache H, V\u00f6gele T, Visser U, Stuckenschmidt H, Schuster G, Neumann H, H\u00fcbner S: Ontology-based Integration of Information \u2013 A Survey of Existing Approaches. Proceedings of the IJCAI'01 Workshop on Ontologies and Information Sharing, Seattle, Washington, USA, Aug 4\u20135. Edited by: Stuckenschmidt H, G\u00f3mez-P\u00e9rez A, Gruninger M, Uschold M. 2001, 108-117."},{"key":"1749_CR14","volume-title":"Onto-Med Report 8, Research Group Ontologies in Medicine, Institute of Medical Informatics, Statistics and Epidemiology, University of Leipzig, Leipzig, Germany","author":"H Herre","year":"2006","unstructured":"Herre H, Heller B, Burek P, Hoehndorf R, Loebe F, Michalek H: General Formal Ontology (GFO) \u2013 A Foundational Ontology Integrating Objects and Processes [Version 1.0]. Onto-Med Report 8, Research Group Ontologies in Medicine, Institute of Medical Informatics, Statistics and Epidemiology, University of Leipzig, Leipzig, Germany. 2006"},{"key":"1749_CR15","volume-title":"IFOMIS Report 06\/2003, Institute for Formal Ontology and Medical Information Science (IFOMIS), University of Leipzig, Leipzig, Germany","author":"P Grenon","year":"2003","unstructured":"Grenon P: BFO in a Nutshell: A Bi-categorial Axiomatization of BFO and Comparison with DOLCE. IFOMIS Report 06\/2003, Institute for Formal Ontology and Medical Information Science (IFOMIS), University of Leipzig, Leipzig, Germany. 2003"},{"key":"1749_CR16","volume-title":"IFOMIS Report 05\/2003, Institute for Formal Ontology and Medical Information Science (IFOMIS), University of Leipzig, Leipzig, Germany","author":"P Grenon","year":"2003","unstructured":"Grenon P: Spatio-temporality in Basic Formal Ontology: SNAP and SPAN, Upper-Level Ontology, and Framework for Formalization: PART I. IFOMIS Report 05\/2003, Institute for Formal Ontology and Medical Information Science (IFOMIS), University of Leipzig, Leipzig, Germany. 2003"},{"key":"1749_CR17","volume-title":"Tech rep, Laboratory for Applied Ontology \u2013 ISTC-CNR, Trento, Italy","author":"C Masolo","year":"2003","unstructured":"Masolo C, Borgo S, Gangemi A, Guarino N, Oltramari A: WonderWeb Deliverable D18: Ontology Library (final). Tech rep, Laboratory for Applied Ontology \u2013 ISTC-CNR, Trento, Italy. 2003"},{"issue":"3\u20134","key":"1749_CR18","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1023\/A:1015845217681","volume":"12","author":"R Poli","year":"2001","unstructured":"Poli R: The Basic Problem of the Theory of Levels of Reality. Axiomathes. 2001, 12 (3\u20134): 261-283. 10.1023\/A:1015845217681.","journal-title":"Axiomathes"},{"key":"1749_CR19","unstructured":"Hoehndorf R, Loebe F, Poli R, Kelso J, Herre H: GFO-Bio: A biomedical core ontology. [\n                    http:\/\/onto.eva.mpg.de\/gfo-bio.html\n                    \n                  ]"},{"key":"1749_CR20","first-page":"301","volume-title":"Proceedings of the 10th Knowledge Acquisition Workshop (KAW'96), Banff, Alberta, Canada, Nov 9\u201314","author":"A Valente","year":"1996","unstructured":"Valente A, Breuker J: Towards principled core ontologies. Proceedings of the 10th Knowledge Acquisition Workshop (KAW'96), Banff, Alberta, Canada, Nov 9\u201314. Edited by: Gaines BR, Musen MA. 1996, 301-320."},{"key":"1749_CR21","volume-title":"W3C recommendation, World Wide Web Consortium (W3C)","author":"DL McGuinness","year":"2004","unstructured":"McGuinness DL, van Harmelen F: OWL Web Ontology Language Overview. W3C recommendation, World Wide Web Consortium (W3C). 2004"},{"key":"1749_CR22","volume-title":"Handbook of Terminology Management, Basic Aspects of Terminology Management","author":"L Bowker","year":"1997","unstructured":"Bowker L: Multidimensional Classification of Concepts and Terms. Handbook of Terminology Management, Basic Aspects of Terminology Management. Edited by: Wright SE, Budin G. 1997, Amsterdam: John Benjamins, 1:"},{"key":"1749_CR23","first-page":"741","volume-title":"Ubiquity: Technologies for Better Health in Aging Societies: Proceedings of MIE Volume 124 of Studies in Health Technology and Informatics","author":"W Ceusters","year":"2006","unstructured":"Ceusters W, Elkin P, Smith B: Referent Tracking: The Problem of Negative Findings. Ubiquity: Technologies for Better Health in Aging Societies: Proceedings of MIE Volume 124 of Studies in Health Technology and Informatics. Edited by: Hasman A, Haux R, van der Lei J, De Clercq E, Roger-France F. 2006, Amsterdam: IOS Press, 741-746."},{"key":"1749_CR24","volume-title":"Principles of Mathematical Logic","author":"D Hilbert","year":"1999","unstructured":"Hilbert D, Ackermann W, Luce RE: Principles of Mathematical Logic. 1999, American Mathematical Society"},{"key":"1749_CR25","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","author":"F Baader","year":"2003","unstructured":"Baader F, Calvanese D, Mcguinness DL, Nardi D, Patel-Schneider PF: The Description Logic Handbook: Theory, Implementation, and Applications. 2003, New York, NY, USA: Cambridge University Press"},{"issue":"1\u20132","key":"1749_CR26","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter R: A logic for default reasoning. Artificial Intelligence. 1980, 13 (1\u20132): 81-132. 10.1016\/0004-3702(80)90014-4.","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"1749_CR27","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J McCarthy","year":"1980","unstructured":"McCarthy J: Circumscription \u2013 A form of non-monotonic reasoning. Artificial Intelligence. 1980, 13 (1\u20132): 27-39. 10.1016\/0004-3702(80)90011-9.","journal-title":"Artificial Intelligence"},{"key":"1749_CR28","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J McCarthy","year":"1986","unstructured":"McCarthy J: Applications of circumscription to formalizing common-sense knowledge. Artificial Intelligence. 1986, 28: 89-116. 10.1016\/0004-3702(86)90032-9.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"1749_CR29","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0004-3702(88)90021-5","volume":"35","author":"K Konolige","year":"1988","unstructured":"Konolige K: On the relation between default and autoepistemic logic. Artificial Intelligence. 1988, 35 (3): 343-382. 10.1016\/0004-3702(88)90021-5.","journal-title":"Artificial Intelligence"},{"key":"1749_CR30","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming, Nonmonotonic Reasoning and Uncertain Reasoning","year":"1994","unstructured":"Gabbay DM, Hogger CJ, Robinson JA, (Eds): Handbook of Logic in Artificial Intelligence and Logic Programming, Nonmonotonic Reasoning and Uncertain Reasoning. 1994, Oxford, UK: Oxford University Press, 3:"},{"issue":"1\u20132","key":"1749_CR31","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V Lifschitz","year":"2002","unstructured":"Lifschitz V: Answer set programming and plan generation. Artificial Intelligence. 2002, 138 (1\u20132): 39-54. 10.1016\/S0004-3702(02)00186-8.","journal-title":"Artificial Intelligence"},{"key":"1749_CR32","first-page":"90","volume-title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI'05), Edinburgh, Scotland, UK, Jul 30 -Aug 5","author":"T Eiter","year":"2005","unstructured":"Eiter T, Ianni G, Schindlauer R, Tompits H: A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming. Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI'05), Edinburgh, Scotland, UK, Jul 30 -Aug 5. Edited by: Pack Kaelbling L, Saffiotti A. 2005, Denver, Colorado: Professional Book Center, 90-96."},{"issue":"3","key":"1749_CR33","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone N, Pfeifer G, Faber W, Eiter T, Gottlob G, Perri S, Scarcello F: The DLV System for Knowledge Representation and Reasoning. ACM Transactions on Computational Logic. 2006, 7 (3): 499-562. 10.1145\/1149114.1149117.","journal-title":"ACM Transactions on Computational Logic"},{"key":"1749_CR34","unstructured":"File Format Guide. [\n                    http:\/\/www.geneontology.org\/GO.format.shtml\n                    \n                  ]"},{"issue":"2","key":"1749_CR35","doi-asserted-by":"publisher","first-page":"R21","DOI":"10.1186\/gb-2005-6-2-r21","volume":"6","author":"J Bard","year":"2005","unstructured":"Bard J, Rhee SY, Ashburner M: An ontology for cell types. Genome Biology. 2005, 6 (2): R21-10.1186\/gb-2005-6-2-r21.","journal-title":"Genome Biology"},{"key":"1749_CR36","volume-title":"Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, Innsbruck, Austria, Jun 6\u20137, Volume 258 of CEUR Workshop Proceedings","author":"C Golbreich","year":"2007","unstructured":"Golbreich C, Horrocks I: The OBO to OWL mapping, GO to OWL 1.1!. Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, Innsbruck, Austria, Jun 6\u20137, Volume 258 of CEUR Workshop Proceedings. Edited by: Golbreich C, Kalyanpur A, Parsia B. 2007, Aachen, Germany: CEUR-WS.org"},{"key":"1749_CR37","unstructured":"OBO Phenotype Group: PATO \u2013 Phenotypic Quality Ontology. [\n                    http:\/\/www.bioontology.org\/wiki\/index.php\/PATO:Main_Page\n                    \n                  ]"},{"key":"1749_CR38","volume-title":"OWL Web Ontology Language \u2013 Semantics and Abstract Syntax","author":"PF Patel-Schneider","year":"2004","unstructured":"Patel-Schneider PF, Hayes P, Horrocks I: OWL Web Ontology Language \u2013 Semantics and Abstract Syntax. 2004, [\n                    http:\/\/www.w3.org\/TR\/owl-semantics\/\n                    \n                  ]"},{"key":"1749_CR39","first-page":"226","volume-title":"Proceedings of the 9th Pacific Symposium on Biocomputing (PSB 2004), Hawaii, USA, Jan 6\u201310","author":"AL Rector","year":"2004","unstructured":"Rector AL: Defaults, Context, and Knowledge: Alternatives for OWL-Indexed Knowledge Bases. Proceedings of the 9th Pacific Symposium on Biocomputing (PSB 2004), Hawaii, USA, Jan 6\u201310. Edited by: Altman RB, Dunker AK, Hunter L, Jung TA, Klein TE. 2004, London: World Scientific, 226-237."},{"key":"1749_CR40","first-page":"27","volume-title":"Proceedings of the 2nd International Workshop on Evaluation of Ontology-based Tools (EON2003), Sanibel Island, Florida, USA, Oct 20, Volume 87 of CEUR Workshop Proceedings","author":"V Haarslev","year":"2003","unstructured":"Haarslev V, M\u00f6ller R: Racer: A Core Inference Engine for the Semantic Web. Proceedings of the 2nd International Workshop on Evaluation of Ontology-based Tools (EON2003), Sanibel Island, Florida, USA, Oct 20, Volume 87 of CEUR Workshop Proceedings. Edited by: Sure Y, Corcho O. 2003, Aachen, Germany: CEUR-WS.org, 27-36."},{"issue":"3","key":"1749_CR41","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/s12130-999-1026-0","volume":"12","author":"ES Raymond","year":"1999","unstructured":"Raymond ES: The Cathedral and the Bazaar. Knowledge, Technology, and Policy. 1999, 12 (3): 23-49. 10.1007\/s12130-999-1026-0.","journal-title":"Knowledge, Technology, and Policy"},{"key":"1749_CR42","volume-title":"Free Software, Free Society: Selected Essays of Richard M. Stallman","author":"RM Stallman","year":"2002","unstructured":"Stallman RM, Gay J, Lessig L: Free Software, Free Society: Selected Essays of Richard M. Stallman. 2002, Boston: Free Software Foundation"},{"issue":"16","key":"1749_CR43","doi-asserted-by":"publisher","first-page":"2198","DOI":"10.1093\/bioinformatics\/btm112","volume":"23","author":"J Day-Richter","year":"2007","unstructured":"Day-Richter J, Harris MA, Haendel M, The Gene Ontology OBO-Edit Working Group, Lewis S: OBO-Edit \u2013 An Ontology Editor for Biologists. Bioinformatics. 2007, 23 (16): 2198-2200. 10.1093\/bioinformatics\/btm112.","journal-title":"Bioinformatics"},{"key":"1749_CR44","volume-title":"SWRL: A Semantic Web Rule Language Combining OWL and RuleML","author":"I Horrocks","year":"2003","unstructured":"Horrocks I, Patel-Schneider PF, Boley H, Tabet S, Grosof B, Dean M: SWRL: A Semantic Web Rule Language Combining OWL and RuleML. 2003, [\n                    http:\/\/www.daml.org\/2003\/11\/swrl\/\n                    \n                  ]"},{"key":"1749_CR45","volume-title":"Project Nonmonotonic Reasoning","author":"The Bio-Ontology Research Group Leipzig","year":"2007","unstructured":"The Bio-Ontology Research Group Leipzig: Project Nonmonotonic Reasoning. 2007, [\n                    http:\/\/bioonto.de\/pmwiki.php\/Main\/NonmonotonicReasoning\n                    \n                  ]"}],"container-title":["BMC Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/1471-2105-8-377.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/1471-2105-8-377\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/1471-2105-8-377.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,23]],"date-time":"2019-01-23T10:07:20Z","timestamp":1548238040000},"score":1,"resource":{"primary":{"URL":"https:\/\/bmcbioinformatics.biomedcentral.com\/articles\/10.1186\/1471-2105-8-377"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,9]]},"references-count":45,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,12]]}},"alternative-id":["1749"],"URL":"https:\/\/doi.org\/10.1186\/1471-2105-8-377","relation":{},"ISSN":["1471-2105"],"issn-type":[{"value":"1471-2105","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10,9]]},"article-number":"377"}}