Consistency Testing: The RACE Experience

Abstract. This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discussed in detail: (i) techniques involving caching and (ii) techniques for dealing with individuals.

• Type: Conference
• Year: 2000
• Where: TABLEAUX
• Authors: Volker Haarslev, Ralf Möller
• Keywords: Artificial Intelligence, Description Logic, Logic Sat Problems, RACE Architecture, TABLEAUX 2000