Investigating subsumption in DL-based terminologies: A Case Study in SNOMED CT

@inproceedings{Bodenreider2004InvestigatingSI,
  title={Investigating subsumption in DL-based terminologies: A Case Study in SNOMED CT},
  author={Olivier Bodenreider and Barry Smith and Anand Kumar and Anita Burgun-Parenthoine},
  booktitle={KR-MED},
  year={2004}
}
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 w hich one DL-based biomedical terminology (SNOMED CT) complies with such principles. We defined seven ontological principles (for example: each class mus t have… CONTINUE READING