{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T09:32:15Z","timestamp":1648891935515},"reference-count":31,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1999,7,1]],"date-time":"1999-07-01T00:00:00Z","timestamp":930787200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence in Medicine"],"published-print":{"date-parts":[[1999,7]]},"DOI":"10.1016\/s0933-3657(99)00007-x","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T11:20:41Z","timestamp":1027596041000},"page":"251-282","source":"Crossref","is-referenced-by-count":6,"title":["Formal description of temporal knowledge in case reports"],"prefix":"10.1016","volume":"16","author":[{"given":"A.A.F.","family":"van der Maas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.H.M.","family":"ter Hofstede","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.F.","family":"de Vries Robb\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0933-3657(99)00007-X_BIB1","unstructured":"Aho AV, Sethi R, Ullman JD. Compilers: Principles, Techniques and Tools. Reading, MA: Addison-Wesley, 1986."},{"issue":"11","key":"10.1016\/S0933-3657(99)00007-X_BIB2","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","article-title":"Maintaining knowledge about temporal intervals","volume":"26","author":"Allen","year":"1983","journal-title":"Commun ACM"},{"issue":"2","key":"10.1016\/S0933-3657(99)00007-X_BIB3","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","article-title":"Towards a general theory of action and time","volume":"23","author":"Allen","year":"1984","journal-title":"Artif Intell"},{"issue":"2","key":"10.1016\/S0933-3657(99)00007-X_BIB4","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1093\/comjnl\/34.2.98","article-title":"Information systems development research: an exploration of ideas in practice","volume":"34","author":"Avison","year":"1991","journal-title":"Comput J"},{"issue":"10","key":"10.1016\/S0933-3657(99)00007-X_BIB5","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1109\/MC.1983.1654194","article-title":"What IS-A Is and Isn\u2019t: An analysis of taxonomic links in semantics networks","volume":"16","author":"Brachman","year":"1983","journal-title":"IEEE Comput"},{"issue":"2","key":"10.1016\/S0933-3657(99)00007-X_BIB6","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","article-title":"An overview of the KL-ONE knowledge representation system","volume":"9","author":"Brachman","year":"1985","journal-title":"Cogn Sci"},{"key":"10.1016\/S0933-3657(99)00007-X_BIB7","unstructured":"Ceusters W, Buekens F. Towards a High-Level Framework Model for the Description of Temporal Models in Healthcare Information Systems. In: ten Hoopen AJ, Hofdijk WJ, Beckers WPA, editors. Ontwikkelingen in de Medische Informatica. Rotterdam, The Netherlands: VMBI\/Publicon Publishing, 1992:41\u201350."},{"key":"10.1016\/S0933-3657(99)00007-X_BIB8","unstructured":"Ceusters W, Rossi Mori A, Buekens F, Bernauer J, de Keyser L, Grebermann S, Surjan G, Olesen H. Medical Informatics\u2014Time Standards for Healthcare Specific Problems, Comit\u00e9 Europ\u00e9en de Normalisation\/TC251, Technical Report ENV 12831, Brussels, Belgium, 1996."},{"issue":"1","key":"10.1016\/S0933-3657(99)00007-X_BIB9","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1049\/sej.1989.0004","article-title":"Justification of formal methods for system specification","volume":"4","author":"Cohen","year":"1989","journal-title":"Softw Eng J"},{"key":"10.1016\/S0933-3657(99)00007-X_BIB10","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1055\/s-0038-1635563","article-title":"WAREL; A system for retrieval of clinical data considering the course of diseases","volume":"28","author":"Dorda","year":"1989","journal-title":"Methods Inform Med"},{"issue":"3","key":"10.1016\/S0933-3657(99)00007-X_BIB11","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1136\/jamia.1994.95236153","article-title":"Toward a medical-concept representation language","volume":"1","author":"Evans","year":"1994","journal-title":"J Am Med Inform Assoc"},{"key":"10.1016\/S0933-3657(99)00007-X_BIB12","unstructured":"Gangemi A, Galanti M, Galeazzi E, Rossi Morri A. Compositional semantics for medical records. In: Scherrer R, Mandil S, editors. Proceedings of MEDINFO 92. Amsterdam, The Netherlands: Elsevier Science, 1992:703\u2013708."},{"key":"10.1016\/S0933-3657(99)00007-X_BIB13","doi-asserted-by":"crossref","first-page":"1317","DOI":"10.1016\/0140-6736(93)92244-N","article-title":"Effect of clinical guidelines on medical practice: a systematic review of rigorous evaluations","volume":"342","author":"Grimshaw","year":"1993","journal-title":"Lancet"},{"key":"10.1016\/S0933-3657(99)00007-X_BIB14","doi-asserted-by":"crossref","unstructured":"Hamlet L, Hunter J. A Representation of Time for Medical Expert Systems. In: Lindberg DAB, editor. Lecture Notes in Medical Informatics, vol. 33 of Lecture Notes in Medical Informatics. Berlin, Germany: (Springer, 1987:112\u2013119.","DOI":"10.1007\/978-3-642-95549-5_13"},{"key":"10.1016\/S0933-3657(99)00007-X_BIB15","unstructured":"ter Hofstede AHM. Information Modelling in Data Intensive Domains, University of Nijmegen, PhD Thesis, Nijmegen, The Netherlands, 1993."},{"issue":"1","key":"10.1016\/S0933-3657(99)00007-X_BIB16","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0950-5849(92)90094-6","article-title":"Formalisation of techniques: chopping down the methodology jungle","volume":"34","author":"ter Hofstede","year":"1992","journal-title":"Inf Softw Technol"},{"key":"10.1016\/S0933-3657(99)00007-X_BIB17","unstructured":"Hripcsak G, Clayton PD, Pryor TA, Hang P, Wigertz OB, van der Lei J. The ARDEN Syntax for Medical Modules. In: Miller MRA, editor. Proceedings of the Fourteenth Annual Symposium on Computer Applications in Medical Care. New York: IEEE Computer Society Press, 1990:200\u2013204."},{"key":"10.1016\/S0933-3657(99)00007-X_BIB18","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0933-3657(90)90001-8","article-title":"A temporal reasoning framework used in the diagnosis of skeletal dysplasias","volume":"2","author":"Keravnou","year":"1990","journal-title":"Artif Intell Med"},{"key":"10.1016\/S0933-3657(99)00007-X_BIB19","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0933-3657(91)90001-R","article-title":"Medical temporal reasoning","volume":"3","author":"Keravnou","year":"1991","journal-title":"Artif Intell Med"},{"key":"10.1016\/S0933-3657(99)00007-X_BIB20","doi-asserted-by":"crossref","unstructured":"Ledley RS, Lusted LB. Reasoning Foundations of Medical Diagnosis. In: Reggia JA, Tuhrim S, editors. Computer-Assisted Medical Decision Making, vol. 1: Computers and Medicine. New York: Springer, 1985:46\u201379.","DOI":"10.1007\/978-1-4613-8554-7_2"},{"key":"10.1016\/S0933-3657(99)00007-X_BIB21","unstructured":"Meyer B. Introduction to the Theory of Programming Languages. Englewood Cliffs, New Jersey: Prentice-Hall, 1990."},{"key":"10.1016\/S0933-3657(99)00007-X_BIB22","doi-asserted-by":"crossref","first-page":"468","DOI":"10.1056\/NEJM198208193070803","article-title":"INTERNIST-1, An experimental computer-based diagnostic consultant for general internal medicine","volume":"307","author":"Miller","year":"1982","journal-title":"N Engl J Med"},{"issue":"22","key":"10.1016\/S0933-3657(99)00007-X_BIB23","doi-asserted-by":"crossref","first-page":"1361","DOI":"10.1109\/21.199462","article-title":"An epistemological framework for medical knowledge-based systems","volume":"6","author":"Ramoni","year":"1992","journal-title":"IEEE Trans Syst Man Cybern"},{"key":"10.1016\/S0933-3657(99)00007-X_BIB24","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1055\/s-0038-1634836","article-title":"Foundations for an electronic medical record","volume":"30","author":"Rector","year":"1991","journal-title":"Methods Inform Med"},{"key":"10.1016\/S0933-3657(99)00007-X_BIB25","unstructured":"Rector AL, Rogers JE, Pole P. The GALEN High-Level Ontology. In: Bender J, Christensen JP, Scherrer J-R, McNair P, editors. Proceedings Medical Informatics Europe \u201896, vol. 34 of Technology and Informatics. Amsterdam: IOS Press, 1996:174\u2013178."},{"key":"10.1016\/S0933-3657(99)00007-X_BIB26","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/S0933-3657(96)00369-7","article-title":"The GRAIL concept modelling language for medical terminology","volume":"9","author":"Rector","year":"1997","journal-title":"Artif Intell Med"},{"key":"10.1016\/S0933-3657(99)00007-X_BIB27","doi-asserted-by":"crossref","unstructured":"Reggia JA, Tuhrim S. An Overview of Methods of Computer-Assisted Medical Decision Making. In: Reggia JA, Tuhrim S, editors. Computer-Assisted Medical Decision Making, vol. 1. New York: Springer, 1985:3\u201345.","DOI":"10.1007\/978-1-4613-8554-7_1"},{"issue":"27","key":"10.1016\/S0933-3657(99)00007-X_BIB28","first-page":"2019","article-title":"Case records of the Massachusetts general hospital: Case 52-1993","volume":"329","author":"Scufly","year":"1993","journal-title":"New Engl J Med"},{"issue":"3","key":"10.1016\/S0933-3657(99)00007-X_BIB29","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1136\/jamia.1994.95236161","article-title":"The position of the Canon group: a reality check","volume":"1","author":"Tuttle","year":"1994","journal-title":"J Am Med Inform Assoc"},{"key":"10.1016\/S0933-3657(99)00007-X_BIB30","doi-asserted-by":"crossref","unstructured":"Wijers GM, Heijes H. Automated Support of the Modelling Process: A view based on experiments with expert information engineers. In: Steinholz B, Solvberg A, Bergman L, editors. Proceedings of the Second Nordic Conference CAiSE \u201890 on Advanced Information Systems Engineering, vol. 436 of Lecture Notes in Computer Science. Stockholm, Sweden: Springer, 1990:88\u2013108.","DOI":"10.1007\/BFb0000588"},{"key":"10.1016\/S0933-3657(99)00007-X_BIB31","doi-asserted-by":"crossref","unstructured":"van Wijngaarden A, Mailloux BJ, Peck JEL, Koster CHA, Sintzoff M, Lindsey CH, Meertens LT, Fisker RG. Revised Report on the Algorithmic Language ALGOL 68. Berlin, Germany: Springer, 1976.","DOI":"10.1007\/978-3-642-95279-1"}],"container-title":["Artificial Intelligence in Medicine"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S093336579900007X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S093336579900007X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T05:50:37Z","timestamp":1578462637000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S093336579900007X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,7]]},"references-count":31,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1999,7]]}},"alternative-id":["S093336579900007X"],"URL":"https:\/\/doi.org\/10.1016\/s0933-3657(99)00007-x","relation":{},"ISSN":["0933-3657"],"issn-type":[{"value":"0933-3657","type":"print"}],"subject":[],"published":{"date-parts":[[1999,7]]}}}