Results for 'Christoffel Dhaen'

Order:
  1. Ontology-based error detection in SNOMED-CT.Werner Ceusters, Barry Smith, Anand Kumar & Christoffel Dhaen - 2004 - Proceedings of Medinfo 2004:482-6.
    Quality assurance in large terminologies is a difficult issue. We present two algorithms that can help terminology developers and users to identify potential mistakes. We demon­strate the methodology by outlining the different types of mistakes that are found when the algorithms are applied to SNOMED-CT. On the basis of the results, we argue that both formal logical and linguistic tools should be used in the development and quality-assurance process of large terminologies.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  2. Mistakes in medical ontologies: Where do they come from and how can they be detected?Werner Ceusters, Barry Smith, Anand Kumar & Christoffel Dhaen - 2004 - Studies in Health and Technology Informatics 102:145-164.
    We present the details of a methodology for quality assurance in large medical terminologies and describe three algorithms that can help terminology developers and users to identify potential mistakes. The methodology is based in part on linguistic criteria and in part on logical and ontological principles governing sound classifications. We conclude by outlining the results of applying the methodology in the form of a taxonomy different types of errors and potential errors detected in SNOMED-CT.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  3. An Alternative to the Schwarzschild solution of GTR.Andrew Thomas Holster - manuscript
    The Schwarzschild solution (Schwarzschild, 1915/16) to Einstein’s General Theory of Relativity (GTR) is accepted in theoretical physics as the unique solution to GTR for a central-mass system. In this paper I propose an alternative solution to GTR, and argue it is both logically consistent and empirically realistic as a theory of gravity. This solution is here called K-gravity. The introduction explains the basic concept. The central sections go through the technical detail, defining the basic solution for the geometric tensor, the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations