High performance reasoning with very large knowledge bases: a practical case study
Volker Haarslev, Ralf Möller · 2001
In this contribution we present an empirical analysis of the performance of the ALCN H R + description logic system RACE applied to TBoxes with a very large number of primitive concept definitions.Adaptions of previously known techniques as well as new optimization techniques for efficiently dealing with these kinds of knowledge bases are discussed. 1