A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
RACER System Description
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
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. RACER also implements a decision procedure for modal logic satisfiability problems (possibly with global axioms).
doi:10.1007/3-540-45744-5_59
fatcat:enaufzvjezbn7djub3rrr5a4h4