{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:43:45Z","timestamp":1725558225319},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540405764"},{"type":"electronic","value":"9783540450917"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45091-7_8","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T20:52:01Z","timestamp":1277239921000},"page":"117-130","source":"Crossref","is-referenced-by-count":9,"title":["Computing the Least Common Subsumer in the Description Logic $\\mathcal{EL}$ w.r.t. Terminological Cycles with Descriptive Semantics"],"prefix":"10.1007","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"#cr-split#-8_CR1.1","unstructured":"Baader, F.: Least common subsumers, most specific concepts, and role-valuemaps in a description logic with existential restrictions and terminological cycles. LTCS-Report 02-07, TU Dresden, Germany (2002), See, http:\/\/lat.inf.tudresden.de\/research\/reports.html;"},{"key":"#cr-split#-8_CR1.2","unstructured":"A short version will appear in Proc. IJCAI 2003 (2003)"},{"key":"#cr-split#-8_CR2.1","doi-asserted-by":"crossref","unstructured":"Baader, F.: Terminological cycles in a description logic with existential restrictions. LTCS-Report 02-02, Dresden University of Technology, Germany (2002), See http:\/\/lat.inf.tu-dresden.de\/research\/reports.html;","DOI":"10.25368\/2022.120"},{"key":"#cr-split#-8_CR2.2","unstructured":"Some of the results in this report will also be published in Proc. IJCAI 2003 (2003)"},{"key":"8_CR3","series-title":"LNAI","doi-asserted-by":"publisher","DOI":"10.1007\/10722280_20","volume-title":"Conceptual Structures: Logical, Linguistic, and Computational Issues","author":"F. Baader","year":"2000","unstructured":"Baader, F., Molitor, R.: Building and structuring description logic knowledge bases using least common subsumers and concept analysis. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS (LNAI), vol.\u00a01867. Springer, Heidelberg (2000)"},{"key":"8_CR4","series-title":"LNAI","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0095434","volume-title":"KI-98: Advances in Artificial Intelligence","author":"F. Baader","year":"1998","unstructured":"Baader, F., K\u00fcsters, R.: Computing the least common subsumer and the most specific concept in the presence of cyclic $\\mathcal{ALN}$ -concept descriptions. In: Herzog, O. (ed.) KI 1998. LNCS (LNAI), vol.\u00a01504, Springer, Heidelberg (1998)"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Baader, F., K\u00fcsters, R., Molitor, R.: Computing least common subsumers in description logics with existential restrictions. In: Proc. IJCAI 1999 (1999)","DOI":"10.25368\/2022.85"},{"key":"8_CR6","unstructured":"Cote, R.A., Rothwell, D.J., Palotay, J.L., Beckett, R.S., Brochu, L.: The systematized nomenclature of human and veterinary medicine. Technical report, SNOMED International. College of American Pathologists, Northfield, IL (1993)"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Henzinger, M.R., Henzinger, T.A., Kopke, P.W.: Computing simulations on finite and infinite graphs. In: 36th Annual Symposium on Foundations of Computer Science (1995)","DOI":"10.1109\/SFCS.1995.492576"},{"key":"8_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/3-540-45422-5_4","volume-title":"KI 2001: Advances in Artificial Intelligence","author":"R. K\u00fcsters","year":"2001","unstructured":"K\u00fcsters, R., Molitor, R.: Approximating most specific concepts in description logics with existential restrictions. In: Baader, F., Brewka, G., Eiter, T. (eds.) KI 2001. LNCS (LNAI), vol.\u00a02174, p. 33. Springer, Heidelberg (2001)"},{"key":"8_CR9","volume-title":"Principles of Semantic Networks","author":"B. Nebel","year":"1991","unstructured":"Nebel, B.: Terminological cycles: Semantics and computational properties. In: Sowa, J.F. (ed.) Principles of Semantic Networks. Morgan Kaufmann, San Francisco (1991)"},{"key":"#cr-split#-8_CR10.1","unstructured":"Spackman, K.A.: Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with SNOMED-RT. J. of the American Medical Informatics Association (2000);"},{"key":"#cr-split#-8_CR10.2","unstructured":"Fall Symposium Special Issue"},{"key":"#cr-split#-8_CR11.1","unstructured":"Spackman, K.A.: Normal forms for description logic expressions of clinical concepts in SNOMED RT. J. of the American Medical Informatics Association (2001);"},{"key":"#cr-split#-8_CR11.2","unstructured":"Symposium Supplement"}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures for Knowledge Creation and Communication"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45091-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T18:17:48Z","timestamp":1685643468000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45091-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405764","9783540450917"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45091-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}