Contributions:
1999
V. Haarslev and R. Möller. Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems. In Neil Murray, editor, Proc. of TABLEAUX'99, The 6th International Conference on Theorem Proving with Analytic Tableaux and Related Methods, Saratoga Springs, NY/USA, number 1617 in Lecture Notes in Artificial Intelligence, pages 24–28. Springer-Verlag, June 1999.
Bibtex entry Paper (PDF)
Abstract
In this paper we present the results of applying HAM-ALC, a description logic system for ALCNR, to modal logic SAT problems.
V. Haarslev and R. Möller.
An Empirical Evaluation of Optimization Strategies for ABox Reasoning in
Expressive Description Logics.
In roc. of DL99, International Workshop on Description Logics,
Linköping, pages 115–119, 1999.
Bibtex entry Paper (PDF)
Abstract
This paper presents an evaluation of a new description logic reasoner called RACE which implements TBox and ABox reasoning for the description logic ALCNHR+ supporting number restrictions, role hierarchies, and transitively closed roles. Tests on benchmark ABoxes indicate a speedup of several orders of magnitude compared to previous systems.
V. Haarslev and R. Möller.
Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and
Transitively Closed Roles.
Technical report, University of Hamburg, Computer Science Department, Oct.
1999.
Bibtex entry Paper (PDF)
Abstract
We present a new tableaux calculus deciding the ABox consistency problem for the expressive description logic ALCNHR+. Prominent language features of ALCNHR+ are number restrictions, role hierarchies, transitively closed roles, and generalized concept inclusions. The ABox description logic system RACE [Haarslev et al., 1999] is based on the calculus for ALCNHR+. An older version of this report appears in: Proceedings of Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), Fausto Giunchiglia and Bart Selman (eds), Breckenridge, Colorado, USA, 12-15 April 2000.
V. Haarslev and R. Möller.
RACE System Description.
In Proc. of DL99, International Workshop on Description Logics,
Linköping, pages 130–132, 1999.
Bibtex entry Paper (PDF)
V. Haarslev, R. Möller, and A.-Y. Turhan.
RACE User's Guide and Reference Manual Version 1.1.
Technical report, University of Hamburg,Computer Science Department, 1999.
Bibtex entry Abstract
Abstract
This user's guide and reference manual introduces the description logic system RACE (Reasoner for Aboxes and Concept Expressions). RACE is a highly optimized ABox reasoner for the expressive description logic ALCNHR+.