{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,27]],"date-time":"2024-08-27T07:48:38Z","timestamp":1724744918396},"reference-count":30,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2013,6,1]],"date-time":"2013-06-01T00:00:00Z","timestamp":1370044800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2014,6,1]],"date-time":"2014-06-01T00:00:00Z","timestamp":1401580800000},"content-version":"vor","delay-in-days":365,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"funder":[{"name":"NIH\/NCRR UL1-RR024989"},{"name":"UL1-RR024989\u201305S"},{"name":"NIH\/NINDS P20-NS076965"},{"name":"NIH\/NCATS UL1TR000439"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Biomedical Informatics"],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1016\/j.jbi.2013.03.005","type":"journal-article","created":{"date-parts":[[2013,4,1]],"date-time":"2013-04-01T23:45:44Z","timestamp":1364859944000},"page":"497-505","source":"Crossref","is-referenced-by-count":13,"title":["An analysis of FMA using structural self-bisimilarity"],"prefix":"10.1016","volume":"46","author":[{"given":"Lingyun","family":"Luo","sequence":"first","affiliation":[]},{"suffix":"Jr.","given":"Jos\u00e9 L.V.","family":"Mejino","sequence":"additional","affiliation":[]},{"given":"Guo-Qiang","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"6","key":"10.1016\/j.jbi.2013.03.005_b0005","doi-asserted-by":"crossref","first-page":"676690","DOI":"10.1197\/jamia.M2036","article-title":"Auditing as part of the terminology design life cycle","volume":"13","author":"Min","year":"2006","journal-title":"J Am Med Inform Assoc"},{"issue":"3","key":"10.1016\/j.jbi.2013.03.005_b0010","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1016\/j.jbi.2009.04.006","article-title":"Guest editorial: special issue on auditing of terminologies","volume":"42","author":"Geller","year":"2009","journal-title":"J Biomed Inform"},{"issue":"3","key":"10.1016\/j.jbi.2013.03.005_b0015","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1016\/j.jbi.2009.03.003","article-title":"A review of auditing methods applied to the content of controlled biomedical terminologies","volume":"42","author":"Zhu","year":"2009","journal-title":"J Biomed Inform"},{"key":"10.1016\/j.jbi.2013.03.005_b0020","series-title":"Quality assurance in biomedical terminologies and ontologies","author":"Bodenreider","year":"2010"},{"issue":"1\u20133","key":"10.1016\/j.jbi.2013.03.005_b0025","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S1386-5056(02)00051-5","article-title":"Assessing the consistency of a biomedical terminology through lexical knowledge","volume":"67","author":"Bodenreider","year":"2002","journal-title":"Int J Med Inform"},{"issue":"3","key":"10.1016\/j.jbi.2013.03.005_b0030","doi-asserted-by":"crossref","first-page":"550","DOI":"10.1016\/j.jbi.2009.01.001","article-title":"Relationship auditing of the FMA ontology","volume":"42","author":"Gu","year":"2009","journal-title":"J Biomed Inform"},{"key":"10.1016\/j.jbi.2013.03.005_b0035","unstructured":"Bodenreider O. Circular hierarchical relationships in the UMLS: etiology, diagnosis, treatment, complications and prevention. In: Proc AMIA Symp; 2001. p. 5761."},{"key":"10.1016\/j.jbi.2013.03.005_b0040","doi-asserted-by":"crossref","unstructured":"Zhang GQ, Bodenreider O. Large-scale, exhaustive lattice-based structural auditing of SNOMED CT. In: AMIA annual symposium proc; 2010. p. 922\u20136 [Distinguished Paper Award].","DOI":"10.1007\/978-3-642-15280-1_61"},{"key":"10.1016\/j.jbi.2013.03.005_b0045","doi-asserted-by":"crossref","unstructured":"Zhang GQ, Bodenreider O. Using SPARQL to test for lattices: application to quality assurance in biomedical ontologies. In: Proceedings of the 9th international semantic web conference (ISWC 2010) lecture notes in computer science, vol. 6497; 2010. p. 273\u201388 [Best Paper Award Finalist].","DOI":"10.1007\/978-3-642-17749-1_18"},{"issue":"5","key":"10.1016\/j.jbi.2013.03.005_b0050","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1016\/j.jbi.2006.12.003","article-title":"Structural methodologies for auditing SNOMED","volume":"40","author":"Wang","year":"2007","journal-title":"J Biomed Inform"},{"issue":"1","key":"10.1016\/j.jbi.2013.03.005_b0055","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0169-023X(02)00153-2","article-title":"Semantic refinement and error correction in large terminological knowledge bases","volume":"45","author":"Geller","year":"2003","journal-title":"Data Knowl Eng"},{"issue":"3","key":"10.1016\/j.jbi.2013.03.005_b0060","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1016\/j.jbi.2009.03.008","article-title":"Analyzing polysemous concepts from a clinical perspective: application to auditing concept categorization in the UMLS","volume":"42","author":"Mougin","year":"2009","journal-title":"J Biomed Inform"},{"key":"10.1016\/j.jbi.2013.03.005_b0065","doi-asserted-by":"crossref","unstructured":"Wei D, Halper M, Elhanan G. Using SNOMED semantic concept groupings to enhance semantic-type assignment consistency in the UMLS. In: January 2012 IHI \u201912: proceedings of the 2nd ACM SIGHIT international health informatics symposium.","DOI":"10.1145\/2110363.2110465"},{"key":"10.1016\/j.jbi.2013.03.005_b0070","unstructured":"Bodenreider O, Aubry M, Burgun A. Non-lexical approaches to identifying associative relations in the gene ontology. In: Pac symp biocomput; 2005. p. 91\u2013102."},{"issue":"Pt 2","key":"10.1016\/j.jbi.2013.03.005_b0075","first-page":"1070","article-title":"Using the abstraction network in complement to description logics for quality assurance in biomedical terminologies \u2013 a case study in SNOMED CT","volume":"160","author":"Wei","year":"2010","journal-title":"Stud Health Technol Inform"},{"key":"10.1016\/j.jbi.2013.03.005_b0080","unstructured":"Bodenreider O, Mitchell JA, McCray AT. Evaluation of the UMLS as a terminology and knowledge resource for biomedical informatics. In: Proc AMIA symp; 2002. p. 61\u20135."},{"key":"10.1016\/j.jbi.2013.03.005_b0085","unstructured":"Burgun A, Bodenreider O. Comparing terms, concepts and semantic classes in WordNet and the Unified Medical Language System. In: Proceedings of NAACL\u20192001."},{"key":"10.1016\/j.jbi.2013.03.005_b0090","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1016\/j.jbi.2003.11.007","article-title":"A reference ontology for bioinformatics: the foundational model of anatomy","volume":"36","author":"Rosse","year":"2003","journal-title":"J Biomed Inform"},{"key":"10.1016\/j.jbi.2013.03.005_b0095","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1016\/0022-0000(84)90023-0","article-title":"A complete inference system for a class of regular behaviours","volume":"28","author":"Milner","year":"1984","journal-title":"J Comput Syst Sci"},{"key":"10.1016\/j.jbi.2013.03.005_b0100","doi-asserted-by":"crossref","unstructured":"Luo L. An effective coalgebraic bisimulation proof method. In: Neil Ghani, John Power editors. CMCS\u201906, vol. 164(1). ENTCS; 2006. p. 105\u201319.","DOI":"10.1016\/j.entcs.2006.06.007"},{"key":"10.1016\/j.jbi.2013.03.005_b0105","unstructured":"Zhang GQ, Luo L, Ogbuji C, Joslyn C, Mejino J, Sahoo SS. An analysis of multi-type relational interactions in FMA using graph motifs. In: AMIA annu symp proc, vol. 2012; 2012. p. 1060\u20139."},{"key":"10.1016\/j.jbi.2013.03.005_b0110","unstructured":"Zhang S, Bodenreider O. Identifying mismatches in alignments of large anatomical ontologies. In: AMIA annu symp proc, vol. 2007; 2007. p. 851855."},{"key":"10.1016\/j.jbi.2013.03.005_b0115","unstructured":"Luo L, Xu R, Zhang GQ. Dissecting the ambiguity of FMA concept names using taxonomy and partonomy structural information. In: AMIA summit on clinical research informatics (CRI); 2013. p. 157\u201361."},{"issue":"3","key":"10.1016\/j.jbi.2013.03.005_b0120","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/j.artmed.2006.09.004","article-title":"Using semantic dependencies for consistency management of an ontology of brain-cortex anatomy","volume":"39","author":"Dameron","year":"2007","journal-title":"Artif Intell Med"},{"key":"10.1016\/j.jbi.2013.03.005_b0125","unstructured":"Mortensen JM, Horridge M, Musen MA, Noy NF. Applications of ontology design patterns in biomedical ontologies. In: AMIA annu symp proc, vol. 2012; 2012. p. 643\u201352."},{"key":"10.1016\/j.jbi.2013.03.005_b0130","unstructured":"http:\/\/www.obofoundry.org\/cgi-bin\/detail.cgi?id=fma_lite. July 2008 (Last date accessed 20.10.12)."},{"key":"10.1016\/j.jbi.2013.03.005_b0135","unstructured":"RDF: http:\/\/www.w3.org\/RDF\/ (Last date accessed 20.10.12)."},{"key":"10.1016\/j.jbi.2013.03.005_b0140","unstructured":"Hitzler P, Kr\u00f6tzsch, M, Parsia, B, Patel-Schneider PF, Rudolph S. OWL 2 web ontology language primer: W3C recommendation; 2009."},{"key":"10.1016\/j.jbi.2013.03.005_b0145","unstructured":"SPARQL.