Contributions:
1998
V. Haarslev, R. Möller, and Anni-Yasmin Turhan. HAM-ALC - Performance Measurements. In Proc. DL-98 International Description Logic Workshop 1998, June 6 - June 8, Trento, Italy, pages 64–65, 1998.
Bibtex entry Paper (PDF)
Abstract
The tests were performed using HAM-ALC version 1.1. HAM-ALC [2] is a description logic classi er which has been constructed for providing a basis for an optimized ALCRP(D) [1] implementation. Based on a sound and complete tableau algorithm HAM-ALC currently implements a true ABox reasoner for the logic ALC. HAM-ALC employs a few optimizations inspired by FaCT [3], in particular semantic branching and a form of dependency-directed backtracking called backjumping (see [3]).
V. Haarslev, R. Möller, and Anni-Yasmin Turhan.
Implementing an ALCRP(D) ABox Reasoner - Progress Report -.
In Proc. DL-98 International Description Logic Workshop 1998, June 6 - June
8, Trento, Italy, pages 82–86, 1998.
Bibtex entry Paper (PDF)
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.