Reasoning with Axioms: Theory and Practice
Aus International Center for Computational Logic
Reasoning with Axioms: Theory and Practice
Ian HorrocksIan Horrocks, Stephan TobiesStephan Tobies
Ian Horrocks, Stephan Tobies
Reasoning with Axioms: Theory and Practice
In A. G. Cohn and F. Giunchiglia and B. Selman, eds., Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR2000), 2000. Morgan Kaufmann Publishers
Reasoning with Axioms: Theory and Practice
In A. G. Cohn and F. Giunchiglia and B. Selman, eds., Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR2000), 2000. Morgan Kaufmann Publishers
- KurzfassungAbstract
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to an arbitrary set of axioms is hard, even for relatively inexpressive logics, and it is essential to deal with such axioms in an efficient manner if implemented systems are to be effective in real applications. This is particularly relevant to Description Logics, where subsumption reasoning with respect to a terminology is a fundamental problem. Two optimisation techniques that have proved to be particularly effective in dealing with terminologies are lazy unfolding and absorption. In this paper we seek to improve our theoretical understanding of these important techniques. We define a formal framework that allows the techniques to be precisely described, establish conditions under which they can be safely applied, and prove that, provided these conditions are respected, subsumption testing algorithms will still function correctly. These results are used to show that the procedures used in the FaCT system are correct and, moreover, to show how efficiency can be significantly improved, while still retaining the guarantee of correctness, by relaxing the safety conditions for absorption. - Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ HorrocksTobies-KR-2000,
address = {San Francisco, CA},
author = {I. {Horrocks} and S. {Tobies}},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR2000)},
editor = {A. G. {Cohn} and F. {Giunchiglia} and B. {Selman}},
publisher = {Morgan Kaufmann Publishers},
title = {Reasoning with Axioms: Theory and Practice},
year = {2000},
}
