Abstract
In this paper we describe the compilation of conjunctive bodies of a restricted class of Horn rules into Description Logic updates on terminologies. We motivate and illustrate application of this work in a medical planning context, by showing how updates to a medical terminology can be computed from the bodies of partially evaluated safety rules for reasoning about a designed plan. In this way, a new action can be included in the designed plan, while the terminology can maintain incomplete information about the action.
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.
Similar content being viewed by others
References
Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: Reasoning in Description Logics. In: Brewka, G. (ed.) Principles of Knowledge Representation, pp. 191–236. CSLI Publications, Stanford (1996)
Goasdou, F., Rousset, M.: Compilation and Approximation of Conjunctive Queries by Concept Descriptions. In: Proceedings of the 15th European Conference on Artificial Intelligence (ECAI 2002) (2002)
Levy, A.Y., Rousset, M.: Combining Horn Rules and Description Logics in CARIN. Artificial Intelligence 104(1-2), 165–209 (1998)
Modgil, S., Hammond, P.: Generating Symbolic and Natural Language Partial Solutions for Inclusion in Medical Plans. In: Quaglini, S., Barahona, P., Andreassen, S. (eds.) AIME 2001. LNCS (LNAI), vol. 2101, pp. 239–248. Springer, Heidelberg (2001)
Modgil, S., Hammond, P.: Decision Support Tools for Clinical Trial Design. Artificial Intelligence in Medicine 27(2), 181–200 (2003)
Modgil, S.: Rule Based Computation of Updates to Terminologies. Submitted for publication in: International Workshop on Description Logics, Rome, Italy, September 5-7 (2003), http://www.eastman.ucl.ac.uk/dmi/Papers/index.html
Rector, A., et al.: The GRAIL concept modelling language for representing medical terminology. Artificial Intelligence in Medicine 9, 139–171 (1997)
Shahar, Y., Miksch, S., Johnson, P.: The Asgaard project: a task-specific framework for the application and critiquing of time-oriented clinical guidelines. Artificial Intelligence in Medicine 14(1-2), 29–51 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Modgil, S. (2003). Linking Rules to Terminologies and Applications in Medical Planning. In: Dojat, M., Keravnou, E.T., Barahona, P. (eds) Artificial Intelligence in Medicine. AIME 2003. Lecture Notes in Computer Science(), vol 2780. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39907-0_30
Download citation
DOI: https://doi.org/10.1007/978-3-540-39907-0_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20129-8
Online ISBN: 978-3-540-39907-0
eBook Packages: Springer Book Archive