Abstract
We have pointed out that, during the last fifteen years, DLs have been well-investigated with respect to their expressive power and the complexity of the standard inferences. Sound and complete inference algorithms are now available for a great variety of DLs. However, in some applications (e.g., the ones for the Classic DL-system at AT&T) it has turned out that additional non-standard inferences, such as lcs, msc, and matching, are needed to support the construction and maintenance of DL knowledge bases. To this end, first ad hoc implementations of such non-standard inferences have been integrated into Classic. However, the inference algorithms underlying these implementations were mostly incomplete and formal properties of the nonstandard inferences, such as their computational complexity, had not been studied. This situation corresponds to the level of development for standard inferences in the first phase, where DL-systems have been developed without having complete algorithms at hand and without an exact understanding of the complexity of the underlying reasoning problems (see Section 2.1).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2001). Conclusion. In: Küsters, R. (eds) Non-Standard Inferences in Description Logics. Lecture Notes in Computer Science(), vol 2100. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44613-3_7
Download citation
DOI: https://doi.org/10.1007/3-540-44613-3_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42397-3
Online ISBN: 978-3-540-44613-2
eBook Packages: Springer Book Archive