{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T20:10:35Z","timestamp":1736107835666,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":24,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540566678"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0018999","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:50:41Z","timestamp":1132638641000},"page":"132-143","source":"Crossref","is-referenced-by-count":10,"title":["Extensions of concept languages for a mechanical engineering application"],"prefix":"10.1007","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philipp","family":"Hanschke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"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, 1991. A long version is available as DFKI Research Report RR-91-10.","key":"11_CR1"},{"unstructured":"F. Baader. Terminological cycles in Kl-one-based knowledge representation languages. In Proceedings of the Eighth National Conference on Artificial Intelligence, volume 2, pages 621\u2013626. AAAI, 1990. A long version is available as DFKI Research Report RR-90-01.","key":"11_CR2"},{"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, 1991. A long version is available as DFKI Research Report RR-90-13.","key":"11_CR3"},{"doi-asserted-by":"crossref","unstructured":"A. Borgida, R. J. Brachman, D. L. McGuinness, and L. A. Resnick. CLASSIC: A structural data model for objects. In International Conference on Management of Data. ACM SIGMOD, 1989.","key":"11_CR4","DOI":"10.1145\/67544.66932"},{"issue":"2","key":"11_CR5","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","volume":"9","author":"R. J. Brachman","year":"1985","unstructured":"R. J. Brachman and J. G. Schmolze. An overview of the Kl-one knowledge representation system. Cognitive Science, 9(2):171\u2013216, 1985.","journal-title":"Cognitive Science"},{"key":"11_CR6","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, Cambrige, MA, 1979. Bolt Beranek and Newman."},{"doi-asserted-by":"crossref","unstructured":"G. E. Collins. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In 2nd Conference on Automata Theory & Formal Languages, volume 33 of LNCS, 1975.","key":"11_CR7","DOI":"10.1007\/3-540-07407-4_17"},{"unstructured":"F. Donini, B. Hollunder, M. Lenzerini, A. M. Spaccamela, D. Nardi, and W. Nutt. The complexity of existential quantificatoin in concept languages. Research Report RR-91-02, DFKI, 1991.","key":"11_CR8"},{"doi-asserted-by":"crossref","unstructured":"J. Edelmann and B. Owsnicki. Data models in knowledge representation systems: a case study. In GWAI-86 und 2. \u00f6stereichische Artificial-Intelligence-Tagung, volume 124 of Informatik-Fachberichte, pages 69\u201374. Springer, 1986.","key":"11_CR9","DOI":"10.1007\/978-3-642-71385-9_7"},{"unstructured":"Ph. Hanschke and F. Baader. Terminological reasoning in a mechanical-engineering domain. In Workshop on Terminological Logics, Berlin. KIT-Report, 1991.","key":"11_CR10"},{"unstructured":"Ph. Hanschke and K. Hinkelmann. Combining terminological and rule-based reasoning for abstraction processes. In GWAI'92. Springer, 1992.","key":"11_CR11"},{"unstructured":"B. Hollunder, W. Nutt, and M. Schmidt-Schau\u00df. Subsumption algorithms for concept description languages. In 9th European Conference on Artificial Intelligence (ECAI'90), pages 348\u2013353, 1990.","key":"11_CR12"},{"doi-asserted-by":"crossref","unstructured":"B. Hollunder. Hybrid inferences in Kl-one-based knowledge representation systems. In GWAI-90; 14th German Workshop on Artificial Intelligence, volume 251 of Informatik-Fachberichte, pages 38\u201347. Springer, 1990.","key":"11_CR13","DOI":"10.1007\/978-3-642-76071-6_5"},{"unstructured":"Ch. Klauck, R. Legleitner, and A. Bernardi. FEAT-REP: Representing features in CAD\/CAM. In 4th International Symposium on Artificial Intelligence: Applications in Informatics, Cancun, Mexiko, 1991. A long version is available as DFKI Research Report RR-91-20.","key":"11_CR14"},{"unstructured":"A. Kobsa. The sb-one knowledge representation workbench. In Preprints of the Workshop on Formal Aspects of Semantic Networks, 1989. Harbors, Cal.","key":"11_CR15"},{"key":"11_CR16","volume-title":"Technical Report","author":"R. Loos","year":"1990","unstructured":"R. Loos and V. Weispfenning. Applying linear quantifier elimination. Technical Report, Wilhelm Schickard-Institut f\u00fcr Informatik, Universit\u00e4t T\u00fcbingen, Germany, 1990."},{"issue":"3","key":"11_CR17","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/MEX.1987.4307092","volume":"2","author":"E. Mays","year":"1987","unstructured":"E. Mays, C. Apt\u00e9, J. Griesmer, and J. Kastner. Organizing knowledge in a complex financial domain. IEEE Expert, 2(3):61\u201370, 1987.","journal-title":"IEEE Expert"},{"doi-asserted-by":"crossref","unstructured":"E. Mays, C. Apt\u00e9, J. Griesmer, and J. Kastner. Experience with K-Rep: an object centered knowledge representation language. In Proceedings of IEEE CAIA-88, pages 62\u201367, 1988.","key":"11_CR18","DOI":"10.1109\/CAIA.1988.196082"},{"unstructured":"B. Nebel. Terminological cycles: Semantics and computational properties. In Proceedings of the Workshop on Formal Aspects of Semantic Networks, 1989. Two Harbors, Cal.","key":"11_CR19"},{"unstructured":"Bernhard Nebel. Reasoning and Revision in Hybrid Representation Systems, volume 422 of LNAI. Springer, 1990.","key":"11_CR20"},{"key":"11_CR21","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1090\/S0002-9904-1946-08555-9","volume":"52","author":"E. M. Post","year":"1946","unstructured":"E. M. Post. A variant of a recursively unsolvable problem. Bull. Am. Math. Soc., 52:264\u2013268, 1946.","journal-title":"Bull. Am. Math. Soc."},{"doi-asserted-by":"crossref","unstructured":"M. Schmidt-Schau\u00df and G. Smolka. Attributive concept descriptions with complements. Journal of Artificial Intelligence, 47, 1991.","key":"11_CR22","DOI":"10.1016\/0004-3702(91)90078-X"},{"key":"11_CR23","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"A. Tarski","year":"1951","unstructured":"A. Tarski. A Decision Method for Elementary Algebra and Geometry. U. of California Press. Berkley, 1951."},{"key":"11_CR24","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0747-7171(88)80003-8","volume":"5","author":"V. Weispfenning","year":"1988","unstructured":"V. Weispfenning. The complexity of linear problems in fields. J. Symbolic Computation, 5:3\u201327, 1988.","journal-title":"J. Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","GWAI-92: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018999.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T19:52:28Z","timestamp":1736106748000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018999"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540566678"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/bfb0018999","relation":{},"subject":[]}}