Abstract
In this paper we present the results of applying HAM-ALC, a description logic system for \( \mathcal{A}\mathcal{L}\mathcal{C}\mathcal{N}\mathcal{R} \) , to modal logic SAT problems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Buchheit, F.M. Donini, and A. Schaerf. Decidable reasoning in terminological knowledge representation systems. Journal of Artificial Intelligence Research, 1:109–138, 1993.
J.W. Freeman. Improvements to propositional satisfiability search algorithms. PhD thesis, University of Pennsylvania, Computer and Information Science, 1995.
V. Haarslev, R. Möller, and A.-Y. Turhan. Implementing an \( \mathcal{A}\mathcal{L}\mathcal{C}\mathcal{R}\mathcal{P}(\mathcal{D}) \) A Box reasoner: Progress report. In E. Franconi et al., editor, Proceedings of the International Workshop on Description Logics (DL’98), June 6–8, 1998, Trento, Italy, pages 82–86, June 1998.
I. Horrocks. Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997.
I. Horrocks and P.F. Patel-Schneider. FaCT and DLP: Automated reasoning with analytic tableaux and related methods. In Proceedings International Conference Tableaux’98, pages 27–30, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Haarslev, V., Möller, R. (1999). Applying an \( \mathcal{A}\mathcal{L}\mathcal{C} \) ABox Consistency Tester to Modal Logic SAT Problems. In: Murray, N.V. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 1999. Lecture Notes in Computer Science(), vol 1617. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48754-9_4
Download citation
DOI: https://doi.org/10.1007/3-540-48754-9_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66086-6
Online ISBN: 978-3-540-48754-8
eBook Packages: Springer Book Archive