Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators

Reification of parthood relations according to the SEP-triplet encoding pattern has been employed in the clinical terminology SNOMED CT to simulate transitivity of the part-of relation via transitivity of the is-a relation and to inherit properties along part-of links. In this paper we argue that using a more expressive representation language, which allows for a direct representation of the relevant properties of the part-of relation, makes modelling less error prone while having no adverse effect on the efficiency of reasoning.

• Type: Conference
• Year: 2007
• Where: AIME
• Authors: Boontawee Suntisrivaraporn, Franz Baader, Stefan Schulz, Kent A. Spackman
• Keywords: AIME 2007, Artificial Intelligence, Part-of Relation, SEP-triplet Encoding Pattern, Terminology Snomed Ct