{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:38Z","timestamp":1725456038548},"publisher-location":"Berlin\/Heidelberg","reference-count":18,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540566678"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019000","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:50:41Z","timestamp":1132638641000},"page":"144-155","source":"Crossref","is-referenced-by-count":0,"title":["Combining terminological and rule-based reasoning for abstraction processes"],"prefix":"10.1007","author":[{"given":"Philipp","family":"Hanschke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Knut","family":"Hinkelmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"S. Abiteboul and P. C. Kanellakis. Object identity as a query language primitive. In ACM SIGMOD, pages 159\u2013173, 1989.","DOI":"10.1145\/67544.66941"},{"key":"12_CR2","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0743-1066(86)90013-0","volume":"3","author":"H. Ait-Kaci","year":"1986","unstructured":"H. Ait-Kaci and R. Nasr. LOGIN: A logic programming language with built-in inheritance. JLP, 3:185\u2013215, 1986.","journal-title":"JLP"},{"key":"12_CR3","unstructured":"F. Baader, H.-J. B\u00fcrckert, B. Nebel, W. Nutt, and G. Smolka. On the expressivity of feature logics with negation, functional uncertainty, and sort equations. Research Report RR-91-01, DFKI, 1991."},{"key":"12_CR4","unstructured":"F. Baader and Ph. Hanschke. A scheme for integrating concrete domains into concept languages. Research Report RR-91-10, DFKI \/ Kaiserslautern, 1991."},{"key":"12_CR5","unstructured":"F. Baader and Ph. Hanschke. Extensions of concept languages for a mechanical engineering application. In GWAI-92, 1992."},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0743-1066(91)90038-Q","volume":"10","author":"C. Beeri","year":"1991","unstructured":"C. Beeri and R. Ramakrishnan. On the power of magic. Journal of Logic Programming, 10:255\u2013299, 1991.","journal-title":"Journal of Logic Programming"},{"key":"12_CR7","unstructured":"A. Bernardi, H. Boley, K. Hinkelmann, Ph. Hanschke, C. Klauck, O. K\u00fchn, R. Legleitner, M. Meyer, M.M. Richter, G. Schmidt, F. Schmalhofer, and W. Sommer. ARC-TEC: Acquisition, Representation and Compilation of Technical Knowledge. In Expert Systems and their Applications: Tools, Techniques and Methods, Avignon, France, 1991."},{"key":"12_CR8","unstructured":"H. Boley, Ph. Hanschke, K. Hinkelmann, and M. Meyer. COLAB: A hybrid konwoledge compialtion laboratory. submitted for publication, January 1991."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"A. Borgida, J. Mylopoulos, and H. K. T. Wong. Generalization\/spezialization as a basis for software specification. In On Conceptual Modelling. Springer, 1984.","DOI":"10.1007\/978-1-4612-5196-5_4"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"R. Brachman, D. McGuinness, P. Pate-Schneider, and L. Resnick. Living with CLASSIC: When and how to use a Kl-one-like language. In Principles of Semantic Networks. Morgan Kaufmann, 1991.","DOI":"10.1016\/B978-1-4832-0771-1.50022-9"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0004-3702(85)90016-5","volume":"27","author":"J. Clancey","year":"1985","unstructured":"J. Clancey, W. Heuristic classification. Artificial Intelligence, 27:289\u2013350, 1985.","journal-title":"Artificial Intelligence"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"J. Edelmann and B. Owsnicki. Data models in knowledge representation systems: A case study. In GWAI-86 and 2. \u00f6sterreichische Artificial-Intelligence Tagung, pages 69\u201374. Springer, 1986.","DOI":"10.1007\/978-3-642-71385-9_7"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In ACM SIGMOD, pages 134\u2013146, 1989.","DOI":"10.1145\/66926.66939"},{"key":"12_CR14","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, 1991."},{"key":"12_CR15","unstructured":"R. MacGregor. A deductive pattern matcher. In AAAI, pages 403\u2013408, 1988."},{"key":"12_CR16","unstructured":"B. Nebel. Reasoning and Revision in Hybrid Representation Systems. Springer, 1990."},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"A. Nixon, B., L. Chung, K., and D. Lauzon. Design of a compiler for a semantic data model. In Foundations of Knowledge Base Management. Springer, 1989.","DOI":"10.1007\/978-3-642-83397-7_14"},{"key":"12_CR18","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1080\/08839519108927932","volume":"5","author":"F. Schmalhofer","year":"1991","unstructured":"F. Schmalhofer, O. K\u00fchn, and G. Schmidt. Integrated knowledge acquisition from text, previously solved cases, and expert memories. Applied Artificial Intelligence, 5:311\u2013337, 1991.","journal-title":"Applied Artificial Intelligence"}],"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\/BFb0019000.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:41:52Z","timestamp":1607550112000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019000"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540566678"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0019000","relation":{},"subject":[]}}