{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T11:32:33Z","timestamp":1774438353195,"version":"3.50.1"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"S1","license":[{"start":{"date-parts":[[2008,10,1]],"date-time":"2008-10-01T00:00:00Z","timestamp":1222819200000},"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 Med Inform Decis Mak"],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1186\/1472-6947-8-s1-s9","type":"journal-article","created":{"date-parts":[[2008,10,28]],"date-time":"2008-10-28T03:14:41Z","timestamp":1225163681000},"source":"Crossref","is-referenced-by-count":14,"title":["Formal representation of complex SNOMED CT expressions"],"prefix":"10.1186","volume":"8","author":[{"given":"Stefan","family":"Schulz","sequence":"first","affiliation":[]},{"given":"Korn\u00e9l","family":"Mark\u00f3","sequence":"additional","affiliation":[]},{"given":"Boontawee","family":"Suntisrivaraporn","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,10,27]]},"reference":[{"key":"242_CR1","first-page":"740","volume-title":"AMIA'98 \u2013 Proc. of the 1998 AMIA Annual Fall Symposium","author":"Kent A Spackman","year":"1998","unstructured":"Spackman Kent, Campbell Keith: Compositional concept representation using SNOMED: Towards further convergence of clinical terminologies. AMIA'98 \u2013 Proc. of the 1998 AMIA Annual Fall Symposium. 1998, Philadelphia, PA: Hanley & Belfus, 740-744."},{"key":"242_CR2","first-page":"72","volume-title":"KR-MED 2004 \u2013 Proc. of the 1st International Workshop on Formal Biomedical Knowledge Representation","author":"A Kent","year":"2004","unstructured":"Kent A: Spackman and Guillermo Reynoso. Examining SNOMED from the perspective of formal ontological principles: Some preliminary analysis and observations. KR-MED 2004 \u2013 Proc. of the 1st International Workshop on Formal Biomedical Knowledge Representation. 2004, Bethesda, MD: American Medical Informatics Association (AMIA), 72-80. [\n                    http:\/\/CEUR-WS.org\/Vol-102\/\n                    \n                  ]"},{"key":"242_CR3","volume-title":"Technical report, AT&T Bell Laboratories Report","author":"Peter F Patel-Schneider","year":"1993","unstructured":"Patel-Schneider Peter, Swartout Bill: Description logic knowledge representation system specification from the KRSS group of the ARPA knowledge sharing effort. Technical report, AT&T Bell Laboratories Report. 1993"},{"key":"242_CR4","volume-title":"The Description Logic Handbook. Theory, Implementation, and Applications","year":"2003","unstructured":"Baader Franz, Calvanese Diego, McGuinness Deborah, Nardi Daniele, Patel-Schneider Peter, editors: The Description Logic Handbook. Theory, Implementation, and Applications. 2003, Cambridge, U.K.: Cambridge University Press"},{"issue":"1","key":"242_CR5","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"Ian Horrocks","year":"2003","unstructured":"Horrocks Ian, Patel-Schneider Peter, van Harmelen Frank: From \n                    \n                      \n                    \n                    \n                      \n                        \n                          \n                            S\n                            H\n                            I\n                            Q\n                          \n                          MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NeXpLae83cHGKae8heHKKae8heXhfaaa@3B3C@\n                        \n                      \n                    \n                   and RDF to OWL: The making of a Web ontology language. Journal of Web Semantics. 2003, 1 (1): 7-26.","journal-title":"Journal of Web Semantics"},{"key":"242_CR6","first-page":"39","volume-title":"KR-MED 2004 \u2013 Proc. of the 1st International Workshop on Formal Biomedical Knowledge Representation","author":"Holger Knublauch","year":"2004","unstructured":"Knublauch Holger, Dameron Olivier, Musen Mark: Weaving the biomedical Semantic Web with the prot\u00e9g\u00e9 OWL plugin. KR-MED 2004 \u2013 Proc. of the 1st International Workshop on Formal Biomedical Knowledge Representation. 2004, Bethesda, MD: American Medical Informatics Association (AMIA), 39-47. [\n                    http:\/\/CEUR-WS.org\/Vol-102\/\n                    \n                  ]"},{"key":"242_CR7","first-page":"287","volume-title":"Proc. of the 3rd International Joint Conference on Automated Reasoning (IJCAR'06), volume 4130 of Lecture Notes in Artificial Intelligence","author":"Franz Baader","year":"2006","unstructured":"Baader Franz, Lutz Carsten, Suntisrivaraporn Boontawee: CEL \u2013 a polynomial-time reasoner for life science ontologies. Proc. of the 3rd International Joint Conference on Automated Reasoning (IJCAR'06), volume 4130 of Lecture Notes in Artificial Intelligence. 2006, Springer-Verlag, 287-291."},{"key":"242_CR8","first-page":"20","volume-title":"Studies in health technology and informatics","author":"Pierre Grenon","year":"2004","unstructured":"Grenon Pierre, Smith Barry, Goldberg Louis: Biodynamic ontology: applying BFO in the biomedical domain. Studies in health technology and informatics. Edited by: Pisanelli D. 2004, 102: 20-38."},{"key":"242_CR9","first-page":"712","volume-title":"AMIA 2002 \u2013 Proc. of the Annual Symposium of the American Medical Informatics Association. Biomedical Informatics: One Discipline. San Antonio, TX, November 9\u201313, 2002","author":"KA Spackman","year":"2002","unstructured":"Spackman KA, Dionne R, Mays E, Weis J: Role grouping as an extension to the description logic of Ontolog, motivated by concept modeling in SNOMED. AMIA 2002 \u2013 Proc. of the Annual Symposium of the American Medical Informatics Association. Biomedical Informatics: One Discipline. San Antonio, TX, November 9\u201313, 2002. Edited by: Isaac S Kohane. 2002, Philadelphia, PA: Hanley & Belfus, 712-716."},{"key":"242_CR10","unstructured":"SNOMED Clinical Terms. Technical Implementation Guide. 2005, Northfield, IL: College of American Pathologists"},{"key":"242_CR11","volume-title":"Methods of Information in Medicine","author":"Stefan Schulz","year":"2006","unstructured":"Schulz Stefan, Hanser Susanne, Hahn Udo, Rogers Jeremy: Semantic clarification of diseases and procedures in SNOMED CT. Methods of Information in Medicine. 2006, 45:"},{"issue":"5","key":"242_CR12","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 A, Rosse C: Relations in biomedical ontologies. Genome Biol. 2005, 6 (5): R46-10.1186\/gb-2005-6-5-r46.","journal-title":"Genome Biol"},{"key":"242_CR13","volume-title":"Proc. of the Nineteenth International Joint Conference on Artificial Intelligence IJCAI-05","author":"Franz Baader","year":"2005","unstructured":"Baader Franz, Brandt Sebastian, Lutz Carsten: Pushing the \n                    \n                      \n                    \n                    \n                      \n                        \n                          \n                            \u2130\n                            \u2112\n                          \n                          MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8hmHuKae8NeHWeaaa@37B1@\n                        \n                      \n                    \n                   envelope. Proc. of the Nineteenth International Joint Conference on Artificial Intelligence IJCAI-05. 2005, Edinburgh, UK, Morgan-Kaufmann Publishers,"},{"key":"242_CR14","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1055\/s-0038-1634529","volume":"37","author":"Stefan Schulz","year":"1998","unstructured":"Schulz Stefan, Zaiss Albrecht, Brunner Ralph, Spinner Daniel, Klar R\u00fcdiger: Conversion problems concerning automated mapping from ICD-10 to ICD-9. Methods of Information in Medicine. 1998, 37: 254-259.","journal-title":"Methods of Information in Medicine"}],"container-title":["BMC Medical Informatics and Decision Making"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/1472-6947-8-S1-S9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/1472-6947-8-S1-S9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/1472-6947-8-S1-S9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,22]],"date-time":"2019-01-22T22:31:26Z","timestamp":1548196286000},"score":1,"resource":{"primary":{"URL":"https:\/\/bmcmedinformdecismak.biomedcentral.com\/articles\/10.1186\/1472-6947-8-S1-S9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10]]},"references-count":14,"journal-issue":{"issue":"S1","published-print":{"date-parts":[[2008,10]]}},"alternative-id":["242"],"URL":"https:\/\/doi.org\/10.1186\/1472-6947-8-s1-s9","relation":{},"ISSN":["1472-6947"],"issn-type":[{"value":"1472-6947","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,10]]},"article-number":"S9"}}