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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook. Theory, Implementation, and Applications. Cambridge University Press, Cambridge, U.K (2003)
Snomed Clinical Terms. College of American Pathologists, Northfield, IL (2006)
Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Proc. of the Nineteenth Int. Joint Conf. on Artificial Intelligence (IJCAI-05), Edinburgh, UK, 2005, Morgan-Kaufmann Publishers, San Francisco (2005)
Schulz, S., Romacker, M., Hahn, U.: Part-whole reasoning in medical ontologies revisited: Introducing Sep triplets into classification-based description logics. In: Chute, C.G. (ed.) Proc. of the 1998 AMIA Annual Fall Symposium, Hanley & Belfus, pp. 830–834 (1998)
Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL—a polynomial-time reasoner for life science ontologies. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 287–291. Springer, Heidelberg (2006)
Spackman, K.A.: Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with SNOMED-RT, OHSU Technical Report (2000)
Patrick, J.: Aggregation and generalisation in SNOMED CT. In: Proc. of the 1st Semantic Mining Conf. on SNOMED CT, Copenhagen, Denmark (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Suntisrivaraporn, B., Baader, F., Schulz, S., Spackman, K. (2007). Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators. In: Bellazzi, R., Abu-Hanna, A., Hunter, J. (eds) Artificial Intelligence in Medicine. AIME 2007. Lecture Notes in Computer Science(), vol 4594. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73599-1_38
Download citation
DOI: https://doi.org/10.1007/978-3-540-73599-1_38
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73598-4
Online ISBN: 978-3-540-73599-1
eBook Packages: Computer ScienceComputer Science (R0)