{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:20Z","timestamp":1725663980921},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584674"},{"type":"electronic","value":"9783540489795"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58467-6_5","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:13:49Z","timestamp":1330254829000},"page":"51-62","source":"Crossref","is-referenced-by-count":1,"title":["Cardinality restrictions on concepts"],"prefix":"10.1007","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[]},{"given":"Martin","family":"Buchheit","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Hollunder","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"5_CR1","unstructured":"F. Baader. Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. In Proceedings of the 12th International Joint Conference on Artificial Intelligence, Sydney, Australia, 1991."},{"key":"5_CR2","unstructured":"F. Baader, M. Buchheit, and B. Hollunder. Cardinality restrictions on concepts. Research Report RR-93-48, DFKI Saarbr\u00fccken, 1993."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"F. Baader, H.-J. B\u00fcrckert, B. Hollunder, W. Nutt, and J. H. Siekmann. Concept logics. In Proceedings of the Symposium on Computational Logics, Br\u00fcssel, Belgium, 1990.","DOI":"10.1007\/978-3-642-76274-1_10"},{"key":"5_CR4","unstructured":"F. Baader and P. Hanschke. A scheme for integrating concrete domains into concept languages. In Proceedings of the 12th International Joint Conference on Artificial Intelligence, Sydney, Australia, 1991."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"F. Baader and B. Hollunder. A terminological knowledge representation system with complete inference algorithms. In M. Richter and H. Boley, editors, International Workshop on Processing Declarative Knowledge, volume 567. Springer, 1991.","DOI":"10.1007\/BFb0013522"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"C. Bagnasco, P. Petrin, and L. Spampinato. Taxonomic reasoning in configuration tasks. Technical Report QR-91-1, Quinary SpA, 1991.","DOI":"10.1007\/3-540-54712-6_228"},{"key":"5_CR7","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00350139","volume":"4","author":"J. Barwise","year":"1981","unstructured":"J. Barwise and R. Cooper. Generalized quantifiers and natural language. Linguistics and Philosophy, 4:159\u2013219, 1981.","journal-title":"Linguistics and Philosophy"},{"key":"5_CR8","volume-title":"Technical Report No. 4274","author":"R. J. Brachman","year":"1979","unstructured":"R. J. Brachman, R. J. Bobrow, P. R. Cohen, J. W. Klovstad, B. L. Webber, and W. A. Woods. Research in natural language understanding, annual report. Technical Report No. 4274. Bolt, Beranek and Newman, Cambridge, Mass., 1979."},{"key":"5_CR9","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1613\/jair.21","volume":"1","author":"M. Buchheit","year":"1993","unstructured":"M. Buchheit, F. M. Donini, and A. Schaerf. Decidable reasoning in terminological knowledge representation systems. Journal of Artificial Intelligence Research, 1:109\u2013138, 1993.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"5_CR10","unstructured":"B. Hollunder and F. Baader. Qualifying number restrictions in concept languages. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, Mass., 1991."},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"R. Klein. Model representation and taxonomic reasoning in configuration problem solving. In Proceedings of the German Workshop on Artificial Intelligence, GWAI-91, 1991.","DOI":"10.1007\/978-3-662-02711-0_20"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"R. Klein, M. Buchheit, and W. Nutt. Configuration as model construction: The constructive problem solving approach. In Proceedings of the Third International Conference on Artificial Intelligence in Design, Lausanne, Switzerland, 1994.","DOI":"10.1007\/978-94-011-0928-4_12"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"B. Owsnicki-Klewe. Configuration as a consistency maintenance task. In Proceedings of the German Workshop on Artificial Intelligence, GWAI-88, 1988.","DOI":"10.1007\/978-3-642-74064-0_8"},{"key":"5_CR14","unstructured":"J. Quantz. How to fit generalized quantifiers into terminological logics. In Proceedings of the 10th European Conference on Artificial Intelligence, pages 543\u2013547, Vienna, Austria, 1992."},{"key":"5_CR15","unstructured":"K. Schild. Terminological cycles and the propositional \u03bc-calculus. In Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning, Bonn, Germany, 1994."},{"key":"5_CR16","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF01051767","volume":"2","author":"W. Hoek van der","year":"1993","unstructured":"W. van der Hoek and M. de Rijke. Generalized quantifiers and modal logic. Journal of logic, language and information, 2:19\u201358, 1993.","journal-title":"Journal of logic, language and information"},{"issue":"3","key":"5_CR17","first-page":"69","volume":"14","author":"J. R. Wright","year":"1993","unstructured":"J. R. Wright, E. S. Weixelbaum, K. Brown, G. T. Vesonder, 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","KI-94: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58467-6_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:21:40Z","timestamp":1605630100000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58467-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584674","9783540489795"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-58467-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}