Sciweavers

DLOG
2001

Description of the RACER System and its Applications

14 years 28 days ago
Description of the RACER System and its Applications
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized sound and complete algorithms.
Volker Haarslev, Ralf Möller
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2001
Where DLOG
Authors Volker Haarslev, Ralf Möller
Comments (0)