Implementing an ALCRP(D) ABox Reasoner - Progress Report.
Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan · 1998
Abstract: This paper presents a progress report on the implementation of an ALCRP(D) ABox reasoner and a knowledge representation framework. We present an ALC ABox reasoner which has been constructed for providing a basis for an optimized ALCRP(D) implementation. We compare the implementation with the concept consistency reasoner FaCT which sets the standard in current DL implementations.