SNOMED CT's problem list: Ontologists' and logicians' therapy suggestions

Studies in Health Technology and Informatics

Volumn 129, Issue , 2007, Pages 802-806

  Schulz, Stefan ^a,b   Suntisrivaraporn, Boontawee ^c   Baader, Franz ^c  

^a UNIVERSITY OF FREIBURG   (Germany)

^b PONTIFICAL CATHOLIC UNIVERSITY OF PARANÁ   (Brazil)

^c DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

description logic; ontologies; SNOMED CT

Indexed keywords

COMPUTER CIRCUITS; FORMAL LANGUAGES; GEOGRAPHICAL REGIONS; ONTOLOGY; TAXONOMIES;

AND SPLITS; BINARY RELATION; CRITICAL REVIEW; DESCRIPTION LOGIC; DISJOINT PARTITION; NEW APPROACHES; ROADMAP; SNOMED-CT;

DATA DESCRIPTION;

EID: 76649097504     PISSN: 09269630     EISSN: 18798365     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (17)

1. SNOMED CT Technical Reference Guide-Jan. 2006, College of American Pathologists, Northfield, IL.
2. Kunierczyk, W. Nontological Engineering. FOIS 2006-Proc of the 4th Intl Conf on Formal Ontology in Information Systems; 2006. p. 39-50.
3. Klein GO, Smith B. Concept Systems and Ontologies. updated 2006 Oct 6; cited 2006 Dec 4. Available from http://ontology. buffalo. edu/concepts/ ConceptsandOntologies. pdf
4. Smith, B. Beyond concepts, or: Ontology as reality representation FOIS 2004-Proc of the 3rd Intl Conf on Formal Ontology in Information Systems; 2004. p. 73-84.
5. Smith B, Ceusters W, Klagges B, Khler J, Kumar A, Lomax, J et al. Relations in biomedical ontologies, Genome Biology. 2005;6(5).
6. Schulz S, Hanser S, Hahn U, Rogers, J. The semantics of procedures and diseases in SNOMED CT, Methods Inf Med. 2006; 45(4): 354-358.
7. Bodenreider O, Smith B, Kumar A, Burgun A. Investigating subsumption in DL-based terminologies: A case study in SNOMED CT. KR-MED 2004-Proc of the 1st Int Workshop on Formal Biomedical Knowledge Representation; 2004. p. 12-20.
8. Spackman KA, Reynoso G. Examining SNOMED from the perspective of formal ontological principles. KR-MED 2004-Proc of the 1st Int Workshop on Formal Biomedical Knowledge Representation; 2004. p. 72-80.
9. Guarino N, Welty CA. An overview of OntoClean. In: Staab S, Studer R. editors. Handbook on Ontologies, Berlin: Springer; 2004. p. 151-171.
10. Ingenerf J, Linder R. Ontological Principles Applied to Biomedical Vocabularies. FCTC 2006-Workshop on Foundations of Clinical Terminologies and Classifications; 2006 Apr 8: Timioara, Romania.
11. Schulz S, Hahn U. Part-Whole Representation and Reasoning in Biomedical Ontologies, Artificial Intelligence in Medicine. 2005: 34(3), p. 179-200.
12. Michael J, Mejino JL, Rosse C. The role of definitions in biomedical concept representation. Proc AMIA Symp; 2001. p. 463-467.
13. Smith B, Rosse C. The role of foundational relations in the alignment of biomedical ontologies. Proc MEDINFO; 2004. p. 444-448.
14. Dolin RH, Spackman KA, Markwell D. Selective retrieval of pre-and post-coordinated SNOMED concepts. Proc. AMIA Symp; 2002. p. 210-214.
15. Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF, editors. The Description Logic Handbook. Theory, Implementation, and Applications, Cambridge, U. K. : Cambridge University Press; 2003.
16. Baader F, Brandt D, Lutz C. Pushing the EL Envelope. IJCAI-05-Proc of the 19th Intl Joint Conf on Artificial Intelligence; 2005. p. 364-369.
17. Baader F, Lutz C, Suntisrivaraporn B. CEL-A Polynomialtime Reasoner for Life Science Ontologies. IJCAR06-Proc of the 3rd Intl Joint Conf on Automated Reasoning; 2006. p. 287-291.