{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T05:06:28Z","timestamp":1755925588696,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642177484"},{"type":"electronic","value":"9783642177491"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-17749-1_18","type":"book-chapter","created":{"date-parts":[[2010,12,8]],"date-time":"2010-12-08T07:06:11Z","timestamp":1291791971000},"page":"273-288","source":"Crossref","is-referenced-by-count":8,"title":["Using SPARQL to Test for Lattices: Application to Quality Assurance in Biomedical Ontologies"],"prefix":"10.1007","author":[{"given":"Guo-Qiang","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Olivier","family":"Bodenreider","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","first-page":"279","volume":"121","author":"K. Donnelly","year":"2006","unstructured":"Donnelly, K.: SNOMED-CT: The advanced terminology and coding system for eHealth. Stud. Health Technol. Inform.\u00a0121, 279\u2013290 (2006)","journal-title":"Stud. Health Technol. Inform."},{"key":"18_CR2","unstructured":"FMA, http:\/\/sig.biostr.washington.edu\/projects\/fm\/"},{"key":"18_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis. Springer, Heidelberg (1999)"},{"key":"18_CR4","unstructured":"Gene Ontology, http:\/\/www.geneontology.org\/"},{"key":"18_CR5","series-title":"Encyclopedia of Mathematics and its Applications","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511542725","volume-title":"Continuous Lattices and Domains","author":"G. Gierz","year":"2003","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, D.J., Mislove, M., Scott, D.S.: Continuous Lattices and Domains. Encyclopedia of Mathematics and its Applications, vol.\u00a093. Cambridge University Press, Cambridge (2003)"},{"key":"18_CR6","unstructured":"International Health Terminology Standard Development Organization (IHTSDO), http:\/\/www.ihtsdo.org\/"},{"issue":"1","key":"18_CR7","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1197\/jamia.M2541","volume":"16","author":"G. Jiang","year":"2009","unstructured":"Jiang, G., Chute, C.G.: Auditing the semantic completeness of SNOMED CT using formal concept analysis. J. Am Med. Inform. Assoc.\u00a016(1), 89\u2013102 (2009)","journal-title":"J. Am Med. Inform. Assoc."},{"key":"18_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-540-27769-9_19","volume-title":"Conceptual Structures at Work","author":"C. Joslyn","year":"2004","unstructured":"Joslyn, C.: Poset Ontologies and Concept Lattices as Semantic Hierarchies. In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds.) ICCS 2004. LNCS (LNAI), vol.\u00a03127, pp. 287\u2013302. Springer, Heidelberg (2004)"},{"key":"18_CR9","unstructured":"Linked data, http:\/\/linkeddata.org\/"},{"issue":"2-3","key":"18_CR10","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1080\/09528130210164170","volume":"14","author":"S.O. Kuznetsov","year":"2002","unstructured":"Kuznetsov, S.O., Obiedkov, S.A.: Comparing performance of algorithms for generating concept lattices. J. Exp. Theor. Artif. Intell.\u00a014(2-3), 189\u2013216 (2002)","journal-title":"J. Exp. Theor. Artif. Intell."},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Priss, U.: Formal Concept Analysis as a Tool for Linguistic Data Exploration. In: Hitzler, P., Scharfe, H. (eds.) Conceptual Structures in Practice. Chapman & Hall\/CRC Studies in Informatics Series, pp. 177\u2013198 (2009)","DOI":"10.1201\/9781420060638.pt4"},{"key":"18_CR12","unstructured":"RDF, http:\/\/www.w3.org\/RDF\/"},{"key":"18_CR13","unstructured":"SPARQL, http:\/\/www.w3.org\/TR\/rdf-sparql-query\/"},{"key":"18_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-540-73599-1_38","volume-title":"Artificial Intelligence in Medicine","author":"B. Suntisrivaraporn","year":"2007","unstructured":"Suntisrivaraporn, B., Baader, F., Schulz, S., Spackman, K.: Replacing SEP-Triplets in SNOMED CT using tractable description logic operators. In: Bellazzi, R., Abu-Hanna, A., Hunter, J. (eds.) AIME 2007. LNCS (LNAI), vol.\u00a04594, pp. 287\u2013291. Springer, Heidelberg (2007)"},{"key":"18_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-540-73681-3_16","volume-title":"Conceptual Structures: Knowledge Architectures for Smart Applications","author":"A. Troy","year":"2007","unstructured":"Troy, A., Zhang, G.Q., Tian, Y.: Faster concept analysis. In: Priss, U., Polovina, S., Hill, R. (eds.) ICCS 2007. LNCS (LNAI), vol.\u00a04604, pp. 206\u2013219. Springer, Heidelberg (2007)"},{"key":"18_CR16","unstructured":"Virtuoso, http:\/\/virtuoso.openlinksw.com\/"},{"issue":"5","key":"18_CR17","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1016\/j.jbi.2006.12.003","volume":"40","author":"Y. Wang","year":"2007","unstructured":"Wang, Y., Halper, M., Min, H., Perl, Y., Chen, Y., Spackman, K.A.: Structural methodologies for auditing SNOMED. J. Biomed. Inform.\u00a040(5), 561\u2013581 (2007)","journal-title":"J. Biomed. Inform."},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Wei, D., Bodenreider, O.: Using the Abstraction Network in complement to Description Logics for quality assurance in biomedical terminologies - A case study in SNOMED CT Medinfo 2010 (in press, 2010)","DOI":"10.3233\/978-1-60750-588-4-1070"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Zhang G.Q and Bodenreider O. Large-scale, exhaustive lattice-based structural auditing of SNOMED CT. In: American Medical Informatics Association (AMIA) Fall 2010 Symposium (in press, 2010)","DOI":"10.1007\/978-3-642-15280-1_61"},{"key":"18_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0445-9","volume-title":"Logic of Domains","author":"G.Q. Zhang","year":"1991","unstructured":"Zhang, G.Q.: Logic of Domains. Birkh\u00e4user, Basel (1991)"},{"key":"18_CR21","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/0304-3975(95)00133-6","volume":"155","author":"G.Q. Zhang","year":"1996","unstructured":"Zhang, G.Q.: Quasi-prime algebraic domains. Theoretical Computer Science\u00a0155, 221\u2013264 (1996)","journal-title":"Theoretical Computer Science"},{"key":"18_CR22","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1016\/j.jbi.2009.03.003","volume":"42","author":"X. Zhu","year":"2009","unstructured":"Zhu, X., Wei, J.W., Baorto, D., Weng, C., Cimino, J.: A review of auditing methods applied to the content of controlled biomedical terminologies. J. Biomedical Informatics\u00a042, 412\u2013425 (2009)","journal-title":"J. Biomedical Informatics"},{"issue":"1-2","key":"18_CR23","first-page":"15","volume":"34","author":"P. Zweigenbaum","year":"1995","unstructured":"Zweigenbaum, P., Bachimont, B., Bouaud, J., Charlet, J., Boisvieux, J.F.: Issues in the structuring and acquisition of an ontology for medical language understanding. Methods Inf. Med.\u00a034(1-2), 15\u201324 (1995)","journal-title":"Methods Inf. Med."}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17749-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T15:27:10Z","timestamp":1740756430000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17749-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642177484","9783642177491"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17749-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}