Abstract
As a paradigm for abstract, nested time-references occurring in medical domain knowledge we analyze temporal diagnostic items of the Diagnostic and Statistic Manual of Mental Disorders (DSM-IV). Based on an elicitation of categories of DSM-IV time-references a formal approach to the representation of nested temporal references is proposed. Generic time-related concepts are introduced, which have to be specialized by concepts representing temporal patterns of the diagnostic items. Satisfiability of the knowledge base ensures the conformance to the Time Standards for health care specific problems (a CEN-prestandard).). Terminological inferences support the nosologic analysis of the DSM-IV classification.
Chapter PDF
References
Allen, J.F.: Towards a general theory of action and time. Artif. Intell. 23 (1984) 123–154.
American Psychiatric Association: Diagnostic and Statistic Manual of Mental Disorders, Fourth Edition. American Psychiatric Association, Washington, D.C., (1994).
Baader, F., Bürckert, H.-J., Hollunder, B., Nutt, W., Siekmann, J.H.: Concept logics. In: Lloyd, J.W. (ed.): Computational Logics, Symposium Proceedings. Springer, Berlin (1990) 177–201.
Baader, F., Buchheit, M., Hollunder, B.: Cardinality restrictions on concepts. Artif. Intell. 88 (1996) 195–213.
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–456.
Ceusters, W. et. al.: Time Standards for Health Care Specific Problems. European Commitee for Standardization, Technical Comitee 251, Project Team PT2-017, September 1995.
De Giacomo, G., Lenzerini, M.: A Uniform Framework for Concept Definitions in Description Logics. Journal of Artificial Intelligence Research 6 (1997) 87–110.
Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Comput. 4 (1987) 67–96.
McDermott, D.: A temporal logic for reasoning about processes and plans. Cognitive Sci. 6 (1982) 101–155.
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–361.
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–171.
Saß, H., Wittchen, H.-U., Zaudig, M.: Diagnostisches und Statistisches Manual Psychischer Störungen DSM-IV. Hogrefe, Göttingen (1996).
Sattler, U.: A Concept Language Extended with Different Kinds of Transitive Roles. In: Proc of KI-96. Springer. Berlin, Heidelberg New York (1996) 333–345.
Shoam, Y.: Temporal Logics in AI: Semantical and Ontological Considerations. Artif. Intell. 33 (1987) 89–104.
Vila, L.: A Survey on Temporal Reasoning in Artificial Intelligence. AICOM 7(1) (1994) 4–28.
Vila, L., Reichgelt, H.: The token reification approach to temporal reasoning. Artif. Intell. 83 (1996) 59–74.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Spreckelsen, C., Spitzer, K. (1998). Formal representation of temporal items of the diagnostic and statistic manual of mental disorders. In: Herzog, O., Günter, A. (eds) KI-98: Advances in Artificial Intelligence. KI 1998. Lecture Notes in Computer Science, vol 1504. Springer, Berlin, Heidelberg . https://doi.org/10.1007/BFb0095442
Download citation
DOI: https://doi.org/10.1007/BFb0095442
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65080-5
Online ISBN: 978-3-540-49656-4
eBook Packages: Springer Book Archive