Representing Medical Knowledge in a Terminological Language is Difficult1.

Abstract

We report on an experiment to use a modern knowledge representation language, NIKL, to express the knowledge of a sophisticated medical reasoning program, ABEL. We are attempting to put the development of more capable medical programs on firmer representational grounds by moving from the ad hoc representations typical of current programs toward more principled representation languages now in use or under construction. Our experience with the project reported here suggests caution, however. Attempts at cleanliness and efficiency in the design of representation languages lead to a poverty of expressiveness that makes it difficult if not impossible to say in such languages what needs to be stated to support the application.