LATPub349: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| Zeile 20: | Zeile 20: | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=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. | |Abstract=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. | ||
|ISBN= | |ISBN= | ||
|ISSN= | |ISSN= | ||
| Zeile 40: | Zeile 40: | ||
year = {2007}, | year = {2007}, | ||
} | } | ||
}} | }} | ||
Version vom 23. März 2015, 13:24 Uhr
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
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
@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},
}
