Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Baader, F., Franconi, E., Hollunder, B., Nebel, B., Profitlich, H.J.: An empirical analysis of optimization techniques for terminological representation systems. Applied Intelligence 2(4), 109–138 (1994)
Drollinger, D.: Intelligentes Backtracking in Inferenzsystemen am Beispiel Terminologischer Logiken (in German). Document D-93-21, Deutsches Forschungszentrum für Künstliche Intelligence, Germany (1993)
Freeman, J.W.: Improvements to propositional satisfiability search algorithms. PhD thesis, University of Pennsylvania, Computer and Information Science (1995)
Haarslev, V., Möller, R.: An empirical evaluation of optimization strategies for ABox reasoning in expressive description logics. In: Lambrix, et al. (eds.) [11], pp. 115–119
Haarslev, V., Möller, R.: Expressive abox reasoning with number restrictions, role hierachies, and transitively closed roles. In: Cohn, A.G., Giunchiglia, F., Selman, B. (eds.) Proc. of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2000) (2000)
Haarslev, V., Möller, R., Turhan, A.-Y.: RACE User’s guide and reference manual version 1.1. Technical Report FBI-HH-M-289/99, University of Hamburg, Computer Science Department (October 1999)
Horrocks, I.: Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester (1997)
Horrocks, I.: Using an expressive description logic: FaCT or fiction? In: Cohn, A.G., Schubert, L., Shapiro, S. (eds.) Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998), Trento, Italy, June 2-5, 1998, pp. 636–647 (1998)
Horrocks, I., Patel-Schneider, P.: Optimising description logic subsumption. Journal of Logic and Computation 9(3), 267–293 (1999)
Horrocks, I., Patel-Schneider, P.F.: FaCT and DLP: Automated reasoning with analytic tableaux and related methods. In: Proceedings International Conference Tableaux 1998, pp. 27–30 (1998)
Lambrix, P., et al. (eds.): Proceedings of the International Workshop on Description Logics (DL 1999), Linköping, Sweden, July 30 - August 1 (June 1999)
Stallman, R.M., Sussman, G.J.: Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Articial Intelligence 9(2), 135–196 (1977)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Haarslev, V., Möller, R. (2000). Consistency Testing: The RACE Experience. In: Dyckhoff, R. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2000. Lecture Notes in Computer Science(), vol 1847. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722086_5
Download citation
DOI: https://doi.org/10.1007/10722086_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67697-3
Online ISBN: 978-3-540-45008-5
eBook Packages: Springer Book Archive