Linking rules to terminologies and applications in medical planning

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. © Springer-Verlag Berlin Heidelberg 2003.