메뉴 건너뛰기




Volumn 34, Issue 3, 2005, Pages 201-217

Description logic-based methods for auditing frame-based medical terminological systems

Author keywords

Description logics; Evaluation; Knowledge representation; Knowledge based systems

Indexed keywords

HEALTH CARE; INFORMATION ANALYSIS; MEDICAL APPLICATIONS; PATIENT TREATMENT; RECORDING; SIZE DETERMINATION; TERMINOLOGY;

EID: 22044458617     PISSN: 09333657     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artmed.2005.01.003     Document Type: Article
Times cited : (14)

References (32)
  • 1
    • 0034122922 scopus 로고    scopus 로고
    • Clinical classification and terminology: Some history and current observations
    • C.G. Chute Clinical classification and terminology: some history and current observations J Am Med Inform Assoc 7 3 2000 298 303
    • (2000) J Am Med Inform Assoc , vol.7 , Issue.3 , pp. 298-303
    • Chute, C.G.1
  • 2
    • 0032418859 scopus 로고    scopus 로고
    • Standards to support development of terminological systems for healthcare telematics
    • A. Rossi Mori, F. Consorti, and E. Galeazzi Standards to support development of terminological systems for healthcare telematics Meth Inform Med 37 4-5 1998 551 563
    • (1998) Meth Inform Med , vol.37 , Issue.4-5 , pp. 551-563
    • Rossi Mori, A.1    Consorti, F.2    Galeazzi, E.3
  • 3
    • 0032433211 scopus 로고    scopus 로고
    • Desiderata for controlled medical vocabularies in the twenty-first century
    • J.J. Cimino Desiderata for controlled medical vocabularies in the twenty-first century Meth Inform Med 37 4-5 1998 394 403
    • (1998) Meth Inform Med , vol.37 , Issue.4-5 , pp. 394-403
    • Cimino, J.J.1
  • 4
    • 0003015874 scopus 로고
    • A framework for representing knowledge
    • P. Winston McGraw-Hill New York
    • M. Minsky A framework for representing knowledge P. Winston The psychology of computer vision 1975 McGraw-Hill New York 211 277
    • (1975) The Psychology of Computer Vision , pp. 211-277
    • Minsky, M.1
  • 5
    • 0028166454 scopus 로고
    • The use of description logics in KBSE systems: Experience report
    • B. Fadini L. Osterweil A.V. Lamsweerde Sorrento, Italy IEEE Computer Society Press Los Alamitos, CA, USA
    • P.T. Devanbu, and M.A. Jones The use of description logics in KBSE systems: experience report B. Fadini L. Osterweil A.V. Lamsweerde Proceedings of the 16th International Conference on Software Engineering Sorrento, Italy 1994 IEEE Computer Society Press Los Alamitos, CA, USA 23 35
    • (1994) Proceedings of the 16th International Conference on Software Engineering , pp. 23-35
    • Devanbu, P.T.1    Jones, M.A.2
  • 6
    • 0031981003 scopus 로고    scopus 로고
    • Auditing the unified medical language system with semantic methods
    • J.J. Cimino Auditing the unified medical language system with semantic methods J Am Med Inform Assoc 5 1 1998 41 51
    • (1998) J Am Med Inform Assoc , vol.5 , Issue.1 , pp. 41-51
    • Cimino, J.J.1
  • 8
    • 0037311767 scopus 로고    scopus 로고
    • Knowledge acquisition, consistency checking and concurrency control for gene ontology (GO)
    • I. Yeh, P.D. Karp, N.F. Noy, and R.B. Altman Knowledge acquisition, consistency checking and concurrency control for gene ontology (GO) Bioinformatics 19 2 2003 241 248
    • (2003) Bioinformatics , vol.19 , Issue.2 , pp. 241-248
    • Yeh, I.1    Karp, P.D.2    Noy, N.F.3    Altman, R.B.4
  • 9
    • 0034573229 scopus 로고    scopus 로고
    • Discovering missed synonymy in a large concept-oriented metathesaurus
    • J.M. Overhage Los Angeles, CA, USA Hanley and Belfus Inc. Philadelphia, PA, USA
    • W.T. Hole, and S. Srinivasan Discovering missed synonymy in a large concept-oriented metathesaurus J.M. Overhage Proceedings of the 2000 AMIA Annual Symposium Los Angeles, CA, USA 2000 Hanley and Belfus Inc. Philadelphia, PA, USA 354 358
    • (2000) Proceedings of the 2000 AMIA Annual Symposium , pp. 354-358
    • Hole, W.T.1    Srinivasan, S.2
  • 10
    • 0037375448 scopus 로고    scopus 로고
    • Semantic refinement and error correction in large terminological knowledge bases
    • J. Geller, H. Gu, Y. Perl, and M. Halper Semantic refinement and error correction in large terminological knowledge bases Data Knowl Eng 45 1 2003 1 32
    • (2003) Data Knowl Eng , vol.45 , Issue.1 , pp. 1-32
    • Geller, J.1    Gu, H.2    Perl, Y.3    Halper, M.4
  • 12
    • 84880831562 scopus 로고    scopus 로고
    • Non-standard reasoning services for the debugging of description logic terminologies
    • G. Gottlob T. Walsh Acapulco, Mexico Morgan Kaufmann Publishers Inc. San Fransisco, CA, USA
    • S. Schlobach, and R. Cornet Non-standard reasoning services for the debugging of description logic terminologies G. Gottlob T. Walsh International Joint Conference on Artificial Intelligence Acapulco, Mexico 2003 Morgan Kaufmann Publishers Inc. San Fransisco, CA, USA 355 360
    • (2003) International Joint Conference on Artificial Intelligence , pp. 355-360
    • Schlobach, S.1    Cornet, R.2
  • 14
    • 0024111587 scopus 로고
    • Representing medical knowledge in a terminological language is difficult
    • R.A. Greenes Los Angeles IEEE Computer Society Press Washington, DC, USA
    • I.J. Haimowitz, R. Patil, and P. Szolovits Representing medical knowledge in a terminological language is difficult R.A. Greenes Twelfth Symposium on Computer Applications in Medical Care Los Angeles 1988 IEEE Computer Society Press Washington, DC, USA 101 105
    • (1988) Twelfth Symposium on Computer Applications in Medical Care , pp. 101-105
    • Haimowitz, I.J.1    Patil, R.2    Szolovits, P.3
  • 15
    • 0035182296 scopus 로고    scopus 로고
    • Medical knowledge reengineering-converting major portions of the UMLS into a terminological knowledge base
    • S. Schulz, and U. Hahn Medical knowledge reengineering-converting major portions of the UMLS into a terminological knowledge base Int J Med Inf 64 2-3 2001 207 221
    • (2001) Int J Med Inf , vol.64 , Issue.2-3 , pp. 207-221
    • Schulz, S.1    Hahn, U.2
  • 17
    • 0346580157 scopus 로고    scopus 로고
    • SNOMED RT: A reference terminology for health care
    • D.R. Masys Nashville, TN, USA Hanley and Belfus Inc. Philadelphia, PA, USA
    • K.A. Spackman, K.E. Campbell, and R.A. Cote SNOMED RT: a reference terminology for health care D.R. Masys Proceedings of the 1997 AMIA Annual Fall Symposium Nashville, TN, USA 1997 Hanley and Belfus Inc. Philadelphia, PA, USA 640 644
    • (1997) Proceedings of the 1997 AMIA Annual Fall Symposium , pp. 640-644
    • Spackman, K.A.1    Campbell, K.E.2    Cote, R.A.3
  • 18
    • 0014124088 scopus 로고
    • Word concepts: A theory and simulation of some basic semantic capabilities
    • M. Quillian Word concepts: a theory and simulation of some basic semantic capabilities Behav Sci 12 1967 410 430
    • (1967) Behav Sci , vol.12 , pp. 410-430
    • Quillian, M.1
  • 19
    • 44049122596 scopus 로고
    • The KL-ONE family
    • W. Woods The KL-ONE family Comput Math Appl 23 1992 133 177
    • (1992) Comput Math Appl , vol.23 , pp. 133-177
    • Woods, W.1
  • 21
    • 0842283371 scopus 로고    scopus 로고
    • A reference ontology for biomedical informatics: The foundational model of anatomy
    • C. Rosse, and J.L.V. Mejino Jr. A reference ontology for biomedical informatics: the foundational model of anatomy J Biomed Inform 36 6 2003 478 500
    • (2003) J Biomed Inform , vol.36 , Issue.6 , pp. 478-500
    • Rosse, C.1    Mejino Jr., J.L.V.2
  • 22
    • 0032248858 scopus 로고    scopus 로고
    • Part-whole reasoning in medical ontologies revisited-introducing sep triplets into classification-based description logics
    • C.G. Chute Orlando, FL, USA Hanley and Belfus Inc. Philadelphia, PA, USA
    • S. Schulz, M. Romacker, and U. Hahn Part-whole reasoning in medical ontologies revisited-introducing sep triplets into classification-based description logics C.G. Chute Proceedings of the 1998 AMIA Annual Fall Symposium Orlando, FL, USA 1998 Hanley and Belfus Inc. Philadelphia, PA, USA 830 834
    • (1998) Proceedings of the 1998 AMIA Annual Fall Symposium , pp. 830-834
    • Schulz, S.1    Romacker, M.2    Hahn, U.3
  • 23
    • 0842296583 scopus 로고    scopus 로고
    • Representing complexity in part-whole relationships within the foundational model of anatomy
    • M.A. Musen C.P. Friedman J.M. Teich Washington, DC, USA Hanley and Belfus Inc. Philadelphia, PA, USA
    • J. Mejino, J.V.A.V. Agoncillo, K.L. Rickard, and C. Rosse Representing complexity in part-whole relationships within the foundational model of anatomy M.A. Musen C.P. Friedman J.M. Teich Proceedings of the 2003 AMIA Annual Symposium Washington, DC, USA 2003 Hanley and Belfus Inc. Philadelphia, PA, USA 450 454
    • (2003) Proceedings of the 2003 AMIA Annual Symposium , pp. 450-454
    • Mejino, J.1    Agoncillo, J.V.A.V.2    Rickard, K.L.3    Rosse, C.4
  • 24
    • 0007904166 scopus 로고    scopus 로고
    • Practical reasoning for very expressive description logics
    • I. Horrocks, U. Sattler, and S. Tobies Practical reasoning for very expressive description logics Logic J IGPL 8 3 2000 239 263
    • (2000) Logic J IGPL , vol.8 , Issue.3 , pp. 239-263
    • Horrocks, I.1    Sattler, U.2    Tobies, S.3
  • 25
    • 32644459392 scopus 로고    scopus 로고
    • High performance reasoning with very large knowledge bases
    • F. Baader U. Sattler Aachen, Germany CEUR-WS Aachen, Germany
    • V. Haarslev, and R. Möller High performance reasoning with very large knowledge bases F. Baader U. Sattler International Workshop in Description Logics 2000 (DL2000), vol. 33 Aachen, Germany 2000 CEUR-WS Aachen, Germany 143 152
    • (2000) International Workshop in Description Logics 2000 (DL2000), Vol. 33 , pp. 143-152
    • Haarslev, V.1    Möller, R.2
  • 26
    • 84947570401 scopus 로고    scopus 로고
    • Modularisation of domain ontologies implemented in description logics and related formalisms including owl
    • J. Gennari B. Porter Sanibel, FL, USA ACM Press New York, USA
    • A.L. Rector Modularisation of domain ontologies implemented in description logics and related formalisms including owl J. Gennari B. Porter International Conference on Knowledge Capture Sanibel, FL, USA 2003 ACM Press New York, USA 121 128
    • (2003) International Conference on Knowledge Capture , pp. 121-128
    • Rector, A.L.1
  • 27
    • 35048835647 scopus 로고    scopus 로고
    • On the application of formal principles to life science data: A case study in the gene ontology
    • Rahm E, editor. Proceedings of Data Integration in the Life Sciences 2004; Springer-Verlag;
    • Smith B, Kohler J, Kumar A. On the application of formal principles to life science data: a case study in the gene ontology. In: Rahm E, editor. Proceedings of Data Integration in the Life Sciences 2004; vol. 2994 of Lecture Notes in Computer Science. Springer-Verlag; 2004. p. 79-94.
    • (2004) Lecture Notes in Computer Science , vol.2994 , pp. 79-94
    • Smith, B.1    Kohler, J.2    Kumar, A.3
  • 28
    • 0032216446 scopus 로고    scopus 로고
    • Reconciling users' needs and formal requirements: Issues in developing a reusable ontology for medicine
    • A. Rector, P. Zanstra, W. Solomon, J. Rogers, R. Baud, and W. Ceusters Reconciling users' needs and formal requirements: issues in developing a reusable ontology for medicine IEEE Trans Inform Technol Biomed 2 4 1998 229 242
    • (1998) IEEE Trans Inform Technol Biomed , vol.2 , Issue.4 , pp. 229-242
    • Rector, A.1    Zanstra, P.2    Solomon, W.3    Rogers, J.4    Baud, R.5    Ceusters, W.6
  • 29
    • 0032926356 scopus 로고    scopus 로고
    • A methodology for partitioning a vocabulary hierarchy into trees
    • H. Gu, Y. Perl, J. Geller, M. Halper, and M. Singh A methodology for partitioning a vocabulary hierarchy into trees Artif Intell Med 15 1 1999 77 98
    • (1999) Artif Intell Med , vol.15 , Issue.1 , pp. 77-98
    • Gu, H.1    Perl, Y.2    Geller, J.3    Halper, M.4    Singh, M.5
  • 30
    • 32644486725 scopus 로고    scopus 로고
    • Using non-primitive concept definitions for improving DL-based knowledge bases
    • V. Haarslev R. Möller Whistler, Canada CEUR-WS Aachen, Germany
    • R. Cornet, and A. Abu-Hanna Using non-primitive concept definitions for improving DL-based knowledge bases V. Haarslev R. Möller International Workshop on Description Logics-DL2004, vol. 104 Whistler, Canada 2004 CEUR-WS Aachen, Germany 138 147
    • (2004) International Workshop on Description Logics-DL2004, Vol. 104 , pp. 138-147
    • Cornet, R.1    Abu-Hanna, A.2
  • 31
    • 0012257635 scopus 로고    scopus 로고
    • Evaluating ontological decisions with OntoClean
    • N. Guarino, and C. Welty Evaluating ontological decisions with OntoClean Commun ACM 45 2 2002 61 65
    • (2002) Commun ACM , vol.45 , Issue.2 , pp. 61-65
    • Guarino, N.1    Welty, C.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.