RACER system description

RACER system description (2001)

by Volker Haarslev , Ralf Möller

Citations:

Datum	Value	Source
TITLE	RACER system description	INFERENCE
AUTHOR NAME	Volker Haarslev	SVM HeaderParse 0.2
AUTHOR AFFIL	University of Hamburg, Computer Science Department	SVM HeaderParse 0.2
AUTHOR ADDR	Vogt-Kölln-Str. 30, 22527 Hamburg, Germany	SVM HeaderParse 0.2
AUTHOR NAME	Ralf Möller	SVM HeaderParse 0.2
AUTHOR AFFIL	University of Hamburg, Computer Science Department	SVM HeaderParse 0.2
AUTHOR ADDR	Vogt-Kölln-Str. 30, 22527 Hamburg, Germany	SVM HeaderParse 0.2
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	SVM HeaderParse 0.2
YEAR	2001	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	701--705	INFERENCE
VOLUME	2083	INFERENCE
CITATIONS	22 found	ParsCit 1.0