{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:28:26Z","timestamp":1725474506350},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650805"},{"type":"electronic","value":"9783540496564"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0095442","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T14:28:18Z","timestamp":1164378498000},"page":"225-235","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal representation of temporal items of the diagnostic and statistic manual of mental disorders"],"prefix":"10.1007","author":[{"given":"Cord","family":"Spreckelsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Spitzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,10,20]]},"reference":[{"key":"20_CR1","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J.F. Allen","year":"1984","unstructured":"Allen, J.F.: Towards a general theory of action and time. Artif. Intell. 23 (1984) 123\u2013154.","journal-title":"Artif. Intell."},{"key":"20_CR2","volume-title":"Diagnostic and Statistic Manual of Mental Disorders","author":"American Psychiatric Association","year":"1994","unstructured":"American Psychiatric Association: Diagnostic and Statistic Manual of Mental Disorders, Fourth Edition. American Psychiatric Association, Washington, D.C., (1994).","edition":"Fourth Edition"},{"key":"20_CR3","first-page":"177","volume-title":"Computational Logics, Symposium Proceedings","author":"F. Baader","year":"1990","unstructured":"Baader, F., B\u00fcrckert, H.-J., Hollunder, B., Nutt, W., Siekmann, J.H.: Concept logics. In: Lloyd, J.W. (ed.): Computational Logics, Symposium Proceedings. Springer, Berlin (1990) 177\u2013201."},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/S0004-3702(96)00010-0","volume":"88","author":"F. Baader","year":"1996","unstructured":"Baader, F., Buchheit, M., Hollunder, B.: Cardinality restrictions on concepts. Artif. Intell. 88 (1996) 195\u2013213.","journal-title":"Artif. Intell."},{"key":"20_CR5","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/B978-1-4832-0771-1.50022-9","volume-title":"Principles of Semantic Networks: Exploration in the Representation of Knowledge","author":"R.J. Brachmann","year":"1991","unstructured":"Brachmann, R.J., McGuinness, D.L., Patel-Schneider, P.F., Resnick, L.A., Borgida, A.: Living with Classic: when and how to use a KL-ONE-like language. In Sowa, J.F. (ed.): Principles of Semantic Networks: Exploration in the Representation of Knowledge. Morgan Kaufmann, San Mateo CA (1991) 401\u2013456."},{"key":"20_CR6","unstructured":"Ceusters, W. et. al.: Time Standards for Health Care Specific Problems. European Commitee for Standardization, Technical Comitee 251, Project Team PT2-017, September 1995."},{"key":"20_CR7","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1613\/jair.334","volume":"6","author":"G. Giacomo De","year":"1997","unstructured":"De Giacomo, G., Lenzerini, M.: A Uniform Framework for Concept Definitions in Description Logics. Journal of Artificial Intelligence Research 6 (1997) 87\u2013110.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1987","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Comput. 4 (1987) 67\u201396.","journal-title":"New Generation Comput."},{"key":"20_CR9","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0364-0213(82)90003-9","volume":"6","author":"D. McDermott","year":"1982","unstructured":"McDermott, D.: A temporal logic for reasoning about processes and plans. Cognitive Sci. 6 (1982) 101\u2013155.","journal-title":"Cognitive Sci."},{"key":"20_CR10","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/B978-1-4832-0771-1.50018-7","volume-title":"Principles of Semantic Networks: Exploration in the Representation of Knowledge","author":"B. Nebel","year":"1991","unstructured":"Nebel, B.: Terminological cycles: Semantics and computational properties. In Sowa, J.F. (ed.): Principles of Semantic Networks: Exploration in the Representation of Knowledge. Morgan Kaufmann, San Mateo CA (1991) 331\u2013361."},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0933-3657(96)00369-7","volume":"9","author":"A.L. Rector","year":"1997","unstructured":"Rector, A.L., Bechhofer, S., Goble, C.A., Horrocks, I., Nowlan, W.A., Solomon, W.D.: The GRAIL concept modeling language for medical terminology. Artificial Intelligence in Medicine 9 (1997) 139\u2013171.","journal-title":"Artificial Intelligence in Medicine"},{"key":"20_CR12","unstructured":"Sa\u00df, H., Wittchen, H.-U., Zaudig, M.: Diagnostisches und Statistisches Manual Psychischer St\u00f6rungen DSM-IV. Hogrefe, G\u00f6ttingen (1996)."},{"key":"20_CR13","first-page":"333","volume-title":"Proc of KI-96","author":"U. Sattler","year":"1996","unstructured":"Sattler, U.: A Concept Language Extended with Different Kinds of Transitive Roles. In: Proc of KI-96. Springer. Berlin, Heidelberg New York (1996) 333\u2013345."},{"key":"20_CR14","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0004-3702(87)90052-X","volume":"33","author":"Y. Shoam","year":"1987","unstructured":"Shoam, Y.: Temporal Logics in AI: Semantical and Ontological Considerations. Artif. Intell. 33 (1987) 89\u2013104.","journal-title":"Artif. Intell."},{"issue":"1","key":"20_CR15","doi-asserted-by":"crossref","first-page":"4","DOI":"10.3233\/AIC-1994-7102","volume":"7","author":"L. Vila","year":"1994","unstructured":"Vila, L.: A Survey on Temporal Reasoning in Artificial Intelligence. AICOM 7(1) (1994) 4\u201328.","journal-title":"AICOM"},{"key":"20_CR16","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/0004-3702(94)00093-X","volume":"83","author":"L. Vila","year":"1996","unstructured":"Vila, L., Reichgelt, H.: The token reification approach to temporal reasoning. Artif. Intell. 83 (1996) 59\u201374.","journal-title":"Artif. Intell."}],"container-title":["Lecture Notes in Computer Science","KI-98: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0095442","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T20:46:13Z","timestamp":1578516373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0095442"}},"subtitle":["A description logic approach based on the CEN time standards for health care specific problems"],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650805","9783540496564"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0095442","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"20 October 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}