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

Boontawee SuntisrivarapornBoontawee Suntisrivaraporn, Franz BaaderFranz Baader, Stefan SchulzStefan Schulz, Kent SpackmanKent Spackman

Download

Boontawee Suntisrivaraporn, Franz Baader, Stefan Schulz, Kent Spackman
Replacing SEP-Triplets in SNOMED CT using Tractable Description Logic Operators
In Jim Hunter Riccardo Bellazzi, Ameen Abu-Hanna, eds., Proceedings of the 11th Conference on Artificial Intelligence in Medicine (AIME'07), Lecture Notes in Computer Science, 2007. Springer

Details
Bibtex

KurzfassungAbstract
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.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@inproceedings{ SunBaaSchSpa-AIME-07,
  author = {Boontawee {Suntisrivaraporn} and Franz {Baader} and Stefan {Schulz} and Kent {Spackman}},
  booktitle = {Proceedings of the 11th Conference on Artificial Intelligence in Medicine {(AIME'07})},
  editor = {Jim Hunter {Riccardo Bellazzi, Ameen Abu-Hanna}},
  pages = {},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Replacing SEP-Triplets in SNOMED CT using Tractable Description Logic Operators},
  volume = {},
  year = {2007},
}