论文信息 - Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems - 字舞流文

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.

Volker Haarslev | Ralf Möller

[1] Francesco M. Donini,et al. Decidable Reasoning in Terminological Knowledge Representation Systems , 1993, IJCAI.

[2] J. Freeman. Improvements to propositional satisfiability search algorithms , 1995 .

[3] Ian Horrocks,et al. Optimising Tableaux Decision Procedures For Description Logics , 1997 .

[4] Peter F. Patel-Schneider,et al. FaCT and DLP , 1998, TABLEAUX.

[5] Volker Haarslev,et al. Implementing an ALCRP(D) ABox Reasoner - Progress Report , 1998, Description Logics.