Order:
  1. The Ontology-Epistemology Divide: A Case Study in Medical Terminology.OIivier Bodenreider, Barry Smith & Anita Burgun - 2004 - In Achille C. Varzi & Laure Vieu (eds.), ”, Formal Ontology in Information Systems. Proceedings of the Third International Conference. IOS Press.
    Medical terminology collects and organizes the many different kinds of terms employed in the biomedical domain both by practitioners and also in the course of biomedical research. In addition to serving as labels for biomedical classes, these names reflect the organizational principles of biomedical vocabularies and ontologies. Some names represent invariant features (classes, universals) of biomedical reality (i.e., they are a matter for ontology). Other names, however, convey also how this reality is perceived, measured, and understood by health professionals (i.e., (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  2. Investigating subsumption in DL-based terminologies: A case study in SNOMED CT.Olivier Bodenreider, Barry Smith, Anand Kumar & Anita Burgun - 2004 - In Olivier Bodenreider, Barry Smith, Anand Kumar & Anita Burgun (eds.), Proceedings of the First International Workshop on Formal Biomedical Knowledge Representation (KR-MED 2004). pp. 12-20.
    Formalisms such as description logics (DL) are sometimes expected to help terminologies ensure compliance with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) complies with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of SNOMED CT classes with respect to these principles. Our major results are: 31% of (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  3. Investigating Subsumption in SNOMED CT: An Exploration into Large Description Logic-Based Biomedical Terminologies.Olivier Bodenreider, Barry Smith, Anand Kumar & Anita Burgun - 2007 - Artificial Intelligence in Medicine 39 (3):183-195.
    Formalisms based on one or other flavor of Description Logic (DL) are sometimes put forward as helping to ensure that terminologies and controlled vocabularies comply with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) does indeed comply with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of SNOMED (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations