Investigating subsumption in DL-based terminologies: A case study in SNOMED CT

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 (2004)
  Copy   BIBTEX


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 the classes have a single child; 27% have multiple parents; 51% do not exhibit any differentiae between the description of the parent and that of the child. The applications of this study to quality assurance for ontologies are discussed and suggestions are made for dealing with multiple inheritance.



External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Biomedical informatics and granularity.Anand Kumar & Barry Smith - 2004 - Comparative and Functional Genomics 5 (6-7):501-508.
Second-order reasoning in description logics.Andrzej Szalas - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):517-530.
Pspace Reasoning With The Description Logic Aℒcf.Carsten Lutz - 2002 - Logic Journal of the IGPL 10 (5):535-568.
Explanation and Subsumption.Robert C. Cummins - 1978 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978:163 - 175.
Putting Biomedical Ontologies to Work.Barry Smith & Mathias Brochhausen - 2010 - Methods of Information in Medicine 49 (2):135-40.
Off-line parsability and the well-foundedness of subsumption.Shuly Wintner & Nissim Francez - 1999 - Journal of Logic, Language and Information 8 (1):1-16.
Subsumption and relative identity.P. Garbacz - 2004 - Axiomathes 14 (4):341-360.


Added to PP

259 (#79,480)

6 months
84 (#58,052)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Barry Smith
University at Buffalo