Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems

In this paper we present the results of applying HAM-ALC, a description logic system for ALCNR, to modal logic SAT problems.

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