Implementing an ALCRP(D) ABox Reasoner - Progress Report

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.

• Type: Conference
• Year: 1998
• Where: DLOG
• Authors: Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan
• Keywords: ABox Reasoner, ALC ABox Reasoner, Automated Reasoning, Concept Consistency Reasoner, DLOG 1998