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

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

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

Boontawee SuntisrivarapornBoontawee Suntisrivaraporn,  Franz BaaderFranz Baader,  Stefan SchulzStefan Schulz,  Kent SpackmanKent Spackman
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
  • 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},
}