Abstract
In this paper the description logic ALCNH R +(D)- is introduced. Prominent language features beyond conjunction, full negation, and quantifiers are number restrictions, role hierarchies, transitively closed roles, generalized concept inclusions, and concrete domains. As in other languages based on concrete domains (e.g. ALC(D)) a so-called existential predicate restriction is provided. However, compared to ALC(D) only features and no feature chains are allowed in this operator. This results in a limited expressivity w.r.t. concrete domains but is required to ensure the decidability of the language. We show that the results can be exploited for building practical description logic systems for solving e.g. configuration problems.
This is a preview of subscription content, log in via an institution to check access.
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 P. Hanschke. A scheme for integrating concrete domains into concept languages. In Twelfth International Conference on Artificial Intelligence, 1991, pages 452–457, 1991. A longer version appeared as Tech. Report DFKI-RR-91-10.
F. Baader and P. Hanschke. Extensions of concept languages for a mechanical engineering application. In H.J. Ohlbach, editor, Proceedings, GWAI-92: 16th German Conference on Artificial Intelligence, pages 132–143. Springer, 1992.
M. Buchheit, R. Klein, and W. Nutt. Configuration as model construction: The constructive problem solving approach. In F. Sudweeks and J. Gero, editors, Proc. 4th Int. Conf. on Artificial Intelligence in Design. Kluwer, Dordrecht, 1994.
V. Haarslev and R. Möller. Consistency testing: The RACE experience. In Proceedings International Conference Tableaux’2000. Springer-Verlag, 2000.
V. Haarslev and R. Möller. Expressive ABox reasoning with number restrictions, role hierachies, and transitively closed roles. In A.G. Cohn, F. Giunchiglia, and B. Selman, editors, Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR’2000), 2000.
V. Haarslev, R. Möller, and M. Wessel. The description logic ALCNH R + extended with concrete domains. Technical Report FBI-HH-M-290/00, University of Hamburg, Computer Science Department, August 2000.
I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR’99), number 1705 in LNAI, pages 161–180. Springer, 1999.
C. Lutz. The complexity of reasoning with concrete domains (revised version). LTCS-Report 99-01, LuFG Theoretical Computer Science, RWTH Aachen, 1999.
J.R. Wright, E.S. Weixelbaum, G.T. Vesonder, K. Brown, S.R. Palmer, J.I. Berman, and H.H. Moore. A knowledge-based configurator that supports sales, engineering, and manufacturing at AT&T network systems. AI Magazine, 14(3):69–80, 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Haarslev, V., Möller, R., Wessel, M. (2001). The Description Logic ALCNH R + Extended with Concrete Domains: A Practically Motivated Approach. In: Goré, R., Leitsch, A., Nipkow, T. (eds) Automated Reasoning. IJCAR 2001. Lecture Notes in Computer Science, vol 2083. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45744-5_4
Download citation
DOI: https://doi.org/10.1007/3-540-45744-5_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42254-9
Online ISBN: 978-3-540-45744-2
eBook Packages: Springer Book Archive