RACER system description

RACER system description (2001)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Volker Haarslev , Ralf Möller

Citations:

322 - 39 self

BibTeX

@INPROCEEDINGS{Haarslev01racersystem,
    author = {Volker Haarslev and Ralf Möller},
    title = {RACER system description},
    booktitle = {},
    year = {2001},
    pages = {701--705},
    publisher = {Springer-Verlag}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Abstract. 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). 1

Citations

279	Practical Reasoning for Expressive Description Logics - Horrocks, Sattler, et al. - 1999
217	Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis - Stallman, Sussman - 1977
141	Improvements to Propositional Satisfiability Search Algorithms - Freeman - 1995
129	H.: An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on - Baader, Franconi, et al. - 1994
123	S.: Reasoning with individuals for the description logic SHIQ - Horrocks, Sattler, et al. - 2000
106	Optimising tableaux decision procedures for description logics - Horrocks - 1997
76	High performance reasoning with very large knowledge bases - Haarslev, Möller
53	Optimising description logic subsumption - Horrocks, Patel-Schneider - 1999
48	Expressive ABox reasoning with number restrictions, role hierachies, and transitively closed roles - Haarslev, Möller - 2000
39	Tobies, S.: Reasoning with axioms: Theory and practice - Horrocks
24	The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach - Haarslev, Möller, et al.
20	An empirical evaluation of optimization strategies for abox reasoning in expressive description logics - Haarslev, Möller - 1999
19	Racer user’s guide and reference manual version 1.7.19 - Haarslev, Moller - 2004
16	Consistency testing: The RACE experience - Haarslav, Möller - 2000
13	Rijke. Description Logics and Feature Interaction - Areces, Bouma, et al. - 1999
11	Exploiting pseudo models for tbox and abox reasoning in expressive description logics - Haarslev, Möller, et al.
5	Applying an ALC ABox consistency tester to modal logic SAT problems - Haarslev, Moller - 1999
2	Tbox acquisition and information theory - Alvarez
1	Signature calculus: Optimizing reasoning with number restrictions - Haarslev, Möller - 2001