The K-Rep System Architecture. - Robert A. Weida; Eric Mays; Robert Dionne; Meir Laker; Brian White; Chihong Liang; Frank J. Oles (Description Logics, 1996)