Implementation and Optimization Techniques
This chapter will discuss the implementation of the reasoning services which form the core of DL-based knowledge representation systems, which need both expressive logics and fast reasoners to be useful in realistic applications.
Abstract
This chapter will discuss the implementation of the reasoning services which form the core of DL-based knowledge representation systems. To be useful in realistic applications, such systems need both expressive logics and fast reasoners. As expressive logics inevitably have high worst-case complexities, this can only be achieved by employing highly optimized implementations of suitable reasoning algorithms. Systems based on such implementations have demonstrated that they can perform well with problems that occur in realistic applications, including problems where unoptimized reasoning is hopelessly intractable.