Description Logics and Biomedical Terminology

Stefan Schulz, Holger Stenzhorn, Martin Boekers and Barry Smith, “Strengths and Limitations of Formal Ontologies in the Biomedical Domain”, Electronic Journal of Communication, Information and Innovation in Health (Special Issue on Ontologies, Semantic Web and Health), 3 (1), 2009, 31-45. PMC2904529 

Holger Stenzhorn, Stefan Schulz, Martin Boeker and Barry Smith, “Adapting Clinical Ontologies in Real-World Environments”, Journal of Universal Computer Science, 14 (22), 2009, 3767-3780. PMC2853050

Stefan Schulz, Holger Stenzhorn, Martin Boeker, Rudiger Klar, Barry Smith, “Clinical Ontologies Interfacing the Real World”, Third International Conference on Semantic Technologies (i-semantics 2007), Graz, Österreich, September 2007, 356-363.

Werner Ceusters, Ignace Desimpel, Barry Smith and Stefan Schulz, 2003, “Using Cross-Lingual Information to Cope with Underspecification in Formal Ontologies”, Studies in Health Technology and Informatics, 95 (2003, 391–396.


With special reference to SNOMED CT:

Werner Ceusters, Barry Smith and Jim Flanagan, 2003, “Ontology and Medical Terminology: Why Description Logics Are Not Enough”, in Proceedings of the Conference: Towards an Electronic Patient Record (TEPR 2003), San Antonio 10-14 May 2003, Boston, MA: Medical Records Institute (CD-ROM publication).

Olivier Bodenreider, Barry Smith, Anand Kumar and Anita Burgun, Investigating Subsumption in DL-Based Terminologies: A Case Study in SNOMED-CT”, in: U. Hahn, S. Schulz and R. Cornet (eds.), Proceedings of the First International Workshop on Formal Biomedical Knowledge Representation (KR-MED 2004), 12–20. Revised version as:

Olivier Bodenreider, Barry Smith, Anand Kumar, Anita Burgun, “Investigating Subsumption in SNOMED CT: An Exploration into Large Description Logic-Based Biomedical Terminologies”, Artificial Intelligence in Medicine, in press.