{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:56Z","timestamp":1761611216385},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422549"},{"type":"electronic","value":"9783540457442"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45744-5_4","type":"book-chapter","created":{"date-parts":[[2007,10,26]],"date-time":"2007-10-26T21:02:07Z","timestamp":1193432527000},"page":"29-44","source":"Crossref","is-referenced-by-count":17,"title":["The Description Logic ALCNH R + Extended with Concrete Domains: A Practically Motivated Approach"],"prefix":"10.1007","author":[{"given":"Volker","family":"Haarslev","sequence":"first","affiliation":[]},{"given":"Ralf","family":"M\u00f6ller","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Wessel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,8]]},"reference":[{"key":"4_CR1","unstructured":"F. Baader and P. Hanschke. A scheme for integrating concrete domains into concept languages. In Twelfth International Conference on Artificial Intelligence, 1991, pages 452\u2013457, 1991. A longer version appeared as Tech. Report DFKI-RR-91-10."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"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\u2013143. Springer, 1992.","DOI":"10.1007\/BFb0018999"},{"key":"4_CR3","volume-title":"Proc. 4th Int. Conf. on Artificial Intelligence in Design","author":"M. Buchheit","year":"1994","unstructured":"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."},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"V. Haarslev and R. M\u00f6ller. Consistency testing: The RACE experience. In Proceedings International Conference Tableaux\u20192000. Springer-Verlag, 2000.","DOI":"10.1007\/10722086_5"},{"key":"4_CR5","unstructured":"V. Haarslev and R. M\u00f6ller. 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\u20192000), 2000."},{"key":"4_CR6","series-title":"Technical Report FBI-HH-M-290\/00","volume-title":"The description logic ALCNH R + extended with concrete domains","author":"V. Haarslev","year":"2000","unstructured":"V. Haarslev, R. M\u00f6ller, 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."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"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\u201999), number 1705 in LNAI, pages 161\u2013180. Springer, 1999.","DOI":"10.1007\/3-540-48242-3_11"},{"key":"4_CR8","series-title":"LTCS-Report 99-01","doi-asserted-by":"crossref","DOI":"10.25368\/2022.88","volume-title":"The complexity of reasoning with concrete domains (revised version)","author":"C. Lutz","year":"1999","unstructured":"C. Lutz. The complexity of reasoning with concrete domains (revised version). LTCS-Report 99-01, LuFG Theoretical Computer Science, RWTH Aachen, 1999."},{"issue":"3","key":"4_CR9","first-page":"69","volume":"14","author":"J.R. Wright","year":"1993","unstructured":"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\u201380, 1993.","journal-title":"AI Magazine"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45744-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T14:48:24Z","timestamp":1684075704000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45744-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422549","9783540457442"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-45744-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]}}}