How should parthood relations be expressed
in SNOMED CT?
Franz Baader
Theoretical Computer Science
TU Dresden
Germany
Joint work with
Stefan Schulz
Kent Spackman
Boontawee Suntisrivaraporn
Dresden
© Franz Baader
Concept definitions versus concept hierarchies
Dresden
© Franz Baader
Concept definitions versus concept hierarchies
Dresden
© Franz Baader
Which concept definition formalism should we use?
Dresden
© Franz Baader
Description logics
Dresden
© Franz Baader
Subsumption
Dresden
© Franz Baader
CEL
Dresden
© Franz Baader
Extension
Dresden
© Franz Baader
Extension
Dresden
© Franz Baader
Dresden
© Franz Baader
Dresden
© Franz Baader
is_a
part_of
has_location
Dresden
© Franz Baader
Dresden
is_a
has_location
proper_part_of
has_exact_location
© Franz Baader
Dresden
© Franz Baader
Dresden
© Franz Baader