Frank J. Oles, Eric K. Mays, and Robert A. Weida
The K-Rep system is an industrial strength knowledge representation system, based on description logic and developed at IBM Research. Its principal application has been to the creation of large medical lexicons as part of clinical information systems. Terminologies involving more than 100,000 separately defined terms have been contructed with K-Rep. The use K-Rep in this arena is described in [MW+]. In this paper, we wish to focus on how algebraic techniques have played a fundamental role in the implementation of K-Rep.