Abstract
For Description Logics with existential restrictions, the size of the least common subsumer (lcs) of concept descriptions may grow exponentially in the size of the input descriptions. The first (negative) result presented in this paper is that it is in general not possible to express the exponentially large concept description representing the lcs in a more compact way by using an appropriate (acyclic) terminology. In practice, a second and often more severe cause of complexity was the fact that concept descriptions containing concepts defined in a terminology must first be unfolded (by replacing defined names by their definition) before the known lcs algorithms could be applied. To overcome this problem, we present a modified lcs algorithm that performs lazy unfolding, and show that this algorithm works well in practice.
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
F. Baader and R. Küsters. Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions. In O. Herzog and A. Günter, eds., Proc. of KI-98, volume 1504 of Lecture Notes in Computer Science, p. 129–140, Bremen, Germany, 1998. Springer-Verlag.
F. Baader, R. Küsters, and R. Molitor. Computing least common subsumer in description logics with existential restrictions. In T. Dean, ed., Proc. of the 16th Int. Joint Conf. on Artificial Intelligence (IJCAI-99), p. 96–101, Stockholm, Sweden, 1999. Morgan Kaufmann, Los Altos. An extended version appeared as LTCS-Report LTCS-98-09, LuFG Theoretical Computer Science, RWTH Aachen, Germany, 1998. See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html.
F. Baader, R. Küsters, and R. Molitor. Rewriting concepts using terminologies. In A.G. Cohn, F. Giunchiglia, and B. Selman, eds., Proc. of the 7th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-00), p. 297–308, San Francisco, CA, 2000. Morgan Kaufmann Publishers.
F. Baader and R. Molitor. Building and structuring description logic knowledge bases using least common subsumers and concept analysis. In B. Ganter and G. Mineau, eds., Proc. of ICCS-00, volume 1867 of Lecture Notes in Artificial Intelligence, p. 290–303. Springer-Verlag, 2000.
F. Baader and U. Sattler. Knowledge representation in process engineering. In Proc. ofDL-96, 1996.
F. Baader and A.-Y. Turhan. TBoxes do not yield a compact representation of the least common subsumer. In Proc. of DL-2001, 2001.
F. Baader, E. Franconi, B. Hollunder, B. Nebel, and H.-J. Profitlich. An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on. Applied Artificial Intelligence. Special Issue on Knowledge Base Management, 4:109–132, 1994.
I. Horrocks. Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997.
R. Küsters and R. Molitor. Approximating most specific concepts in description logics with existential restrictions. In T. Eiter, F. Baader, G. Brewka, eds., Proc. of the 24th German Annual Conf. on Artificial Intelligence (KI’01), number 2174 in Lecture Notes In Artificial Intelligence, p. 33–47. Springer-Verlag, 2001.
B. Nebel. Terminological reasoning is inherently intractable. Artificial Intelligence Journal, 43:235–249, 1990.
U. Sattler. Terminological knowledge representation systems in a process engineering application. PhD thesis, RWTH Aachen, 1998.
A.-Y. Turhan and R. Molitor. Using lazy unfolding for the computation of least common subsumers. In Proc. of DL-2001, 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baader, F., Turhan, AY. (2002). On the Problem of Computing Small Representations of Least Common Subsumers. In: Jarke, M., Lakemeyer, G., Koehler, J. (eds) KI 2002: Advances in Artificial Intelligence. KI 2002. Lecture Notes in Computer Science(), vol 2479. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45751-8_7
Download citation
DOI: https://doi.org/10.1007/3-540-45751-8_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44185-4
Online ISBN: 978-3-540-45751-0
eBook Packages: Springer Book Archive