High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study

We present an empirical analysis of optimization techniques devised to speed up the so-called TBox classification supported by description logic systems which have to deal with very large knowledge bases (e.g. containing more than 100,000 concept

• Type: Conference
• Year: 2001
• Where: IJCAI
• Authors: Volker Haarslev, Ralf Möller
• Keywords: Description Logic Systems, IJCAI 2001, IJCAI 2007, Large Knowledge Bases, So-called Tbox Classification