论文信息 - Consistency Testing: The RACE Experience

Consistency Testing: The RACE Experience

This paper presents the results of applying RACE, a description logic system for \(\mathcal{ALCNH}_{R^{+}}\), 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.

Volker Haarslev | Ralf Möller | Ralf Möller | V. Haarslev

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

[2] Dennis Drollinger. Intelligentes Backtracking in Inferenzsystemen am Beispiel terminologischer Logiken , 1993 .

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

[4] Anni-Yasmin Turhan,et al. RACE User's Guide and Reference Manual Version 1.1 , 1999 .

[5] Gerald J. Sussman,et al. Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..

[6] Bernhard Nebel,et al. An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On , 1992, KR.

[7] Ian Horrocks,et al. Optimizing Description Logic Subsumption , 1999, J. Log. Comput..

[8] Lenhart K. Schubert,et al. Principles of knowledge representation and reasoning : proceedings of the Sixth international conference (KR'98), Trento, Italy, June 2-5, 1998 , 1998 .

[9] Volker Haarslev,et al. An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics , 1999, Description Logics.

[10] Ian Horrocks,et al. Using an Expressive Description Logic: FaCT or Fiction? , 1998, KR.

[11] Volker Haarslev,et al. Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles , 2000, KR.

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