{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:56:38Z","timestamp":1725490598343},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540735984"},{"type":"electronic","value":"9783540735991"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73599-1_38","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T15:06:17Z","timestamp":1188399977000},"page":"287-291","source":"Crossref","is-referenced-by-count":13,"title":["Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators"],"prefix":"10.1007","author":[{"given":"Boontawee","family":"Suntisrivaraporn","sequence":"first","affiliation":[]},{"given":"Franz","family":"Baader","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Schulz","sequence":"additional","affiliation":[]},{"given":"Kent","family":"Spackman","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"The Description Logic Handbook. Theory, Implementation, and Applications","year":"2003","key":"38_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook. Theory, Implementation, and Applications. Cambridge University Press, Cambridge, U.K (2003)"},{"key":"38_CR2","unstructured":"Snomed Clinical Terms. College of American Pathologists, Northfield, IL (2006)"},{"key":"38_CR3","volume-title":"Proc. of the Nineteenth Int. Joint Conf. on Artificial Intelligence (IJCAI-05)","author":"F. Baader","year":"2005","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Proc. of the Nineteenth Int. Joint Conf. on Artificial Intelligence (IJCAI-05), Edinburgh, UK, 2005, Morgan-Kaufmann Publishers, San Francisco (2005)"},{"key":"38_CR4","unstructured":"Schulz, S., Romacker, M., Hahn, U.: Part-whole reasoning in medical ontologies revisited: Introducing Sep triplets into classification-based description logics. In: Chute, C.G. (ed.) Proc. of the 1998 AMIA Annual Fall Symposium, Hanley & Belfus, pp. 830\u2013834 (1998)"},{"key":"38_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/11814771_25","volume-title":"Automated Reasoning","author":"F. Baader","year":"2006","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL\u2014a polynomial-time reasoner for life science ontologies. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 287\u2013291. Springer, Heidelberg (2006)"},{"key":"38_CR6","unstructured":"Spackman, K.A.: Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with SNOMED-RT, OHSU Technical Report (2000)"},{"key":"38_CR7","unstructured":"Patrick, J.: Aggregation and generalisation in SNOMED CT. In: Proc. of the 1st Semantic Mining Conf. on SNOMED CT, Copenhagen, Denmark (2006)"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence in Medicine"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73599-1_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T05:53:46Z","timestamp":1619502826000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73599-1_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540735984","9783540735991"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73599-1_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}