{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:26:19Z","timestamp":1725636379006},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540531326"},{"type":"electronic","value":"9783642760716"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/978-3-642-76071-6_6","type":"book-chapter","created":{"date-parts":[[2011,11,22]],"date-time":"2011-11-22T18:16:55Z","timestamp":1321985815000},"page":"48-57","source":"Crossref","is-referenced-by-count":1,"title":["Class Instances in a Terminological Framework"],"prefix":"10.1007","author":[{"given":"Carsten","family":"Kindermann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","first-page":"59","volume-title":"Resnick. CLASSIC: A Structural Data Model for Objects","author":"A Borgida","year":"1989","unstructured":"Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, and Lori Alperin Resnick. CLASSIC: A Structural Data Model for Objects. InProceedings of the 1989 ACM SIGMOD International Conference on Management of Data,pages 59\u201367, Portland, Oreg., June 1989."},{"issue":"10","key":"6_CR2","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1109\/MC.1983.1654200","volume":"16","author":"RJ Brachman","year":"1983","unstructured":"Ronald J. Brachman, Richard E. Fikes, and Hector J. Levesque. KRYPTON: A Functional Approach to Knowledge Representation. IEEE Computer, 16(10):67\u201373, October 1983.","journal-title":"IEEE Computer"},{"key":"6_CR3","volume-title":"KIT IAB","author":"O Bittkau","year":"1987","unstructured":"Oliver Bittkau, Christian Haider, and J\u00f6rg-Uwe Kietz. Kit\u2014Core Prolog. KIT IAB 17, Technische Universit\u00e4t Berlin, February 1987."},{"key":"6_CR4","first-page":"3","volume-title":"Tales from the far side of KRYPTON","author":"RJ Brachman","year":"1987","unstructured":"Ronald J. Brachman and Hector J. Levesque. Tales from the far side of KRYPTON. In L. Kerschberg, editor, Expert Database Systems\u2014Proceedings From the 1st International Conference, pages 3\u201343. Benjamin\/Cummings, Menlo Park, Cal., 1987."},{"key":"6_CR5","volume-title":"Deliverable 2 Amendment Phase ESPRIT Project","author":"E Bertino","year":"1990","unstructured":"E. Bertino and P. Randi. Task 5.4.2: Mapping AQL into SQL Programs. Deliverable 2 Amendment Phase ESPRIT Project 311, Datamont SpA, Milano, May 1990."},{"issue":"2","key":"6_CR6","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","volume":"9","author":"RJ Brachman","year":"1985","unstructured":"Ronald J. Brachman and James G. Schm\u00f6lze. An Overview of the KL-ONE Knowledge Representation System. Cognitive Science, 9(2): 171\u2013216, April 1985.","journal-title":"Cognitive Science"},{"key":"6_CR7","volume-title":"Terminological Information Management in ADKMS. Draft Paper","author":"M Damiani","year":"1990","unstructured":"M. Damiani, S. Bottarelli, and C. Peltason. Terminological Information Management in ADKMS. Draft Paper, Datamont SpA, Milano, and Technische \u00dcnivresit\u00e4t Berlin, May 1990."},{"issue":"2","key":"6_CR8","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1145\/356924.356929","volume":"16","author":"H Gallaire","year":"1984","unstructured":"Herv\u00e9 Gallaire, Jack Minker, and Jean-Marie Nicolas. Logic and Databases: A Deductive Approach. ACM Computing Surveys, 16(2):153\u2013185, 1984.","journal-title":"ACM Computing Surveys"},{"key":"6_CR9","first-page":"403","volume-title":"A Deductive Pattern Matcher","author":"R MacGregor","year":"1988","unstructured":"Robert MacGregor. A Deductive Pattern Matcher. In Proceedings of the 7th National Conference of the American Association for Artificial Intelligence, pages 403\u2013408, Saint Paul, Minn., August 1988."},{"key":"6_CR10","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/978-3-642-73005-4_12","volume-title":"11th German Workshop on Artificial Intelligence","author":"B Nebelr","year":"1987","unstructured":"Bernhard Nebel and Kai von Luck. Issues of Integration and Balancing in Hybrid Knowledge Representation Systems. In K. Morik, editor, GWAI-87. 11th German Workshop on Artificial Intelligence, pages 114\u2013123. Springer-Verlag, Berlin, 1987."},{"key":"6_CR11","first-page":"77","volume-title":"WAI-88. 12th German Workshop on Artificial Intelligence","author":"B Owsnicki-Klewer","year":"1988","unstructured":"Bernd Owsnicki-Klewe. Configuration as a Consistency Maintenance Task. In W. Hoeppner, editor, GWAI-88. 12th German Workshop on Artificial Intelligence, pages 77\u201387, Springer-Verlag, Berlin, 1988."},{"key":"6_CR12","unstructured":"Christof Peltason. Wissensrepr\u00e4sentation und Entwurfs wis sen. PhD thesis, Technische Universit\u00e4t Berlin, 1989."},{"key":"6_CR13","first-page":"280","volume-title":"ARGON: Knowledge Representation Meets Information Retrieval","author":"PF Patel-Schneider","year":"1984","unstructured":"Peter F. Patel-Schneider, Ronald J. Brachman, and Hector J. Levesque. ARGON: Knowledge Representation Meets Information Retrieval. In Proceedings of the 1st Conference on Artificial Intelligence Applications, pages 280\u2013286, Denver, Col., 1984."},{"key":"6_CR14","volume-title":"KIT Report","author":"C Peltason","year":"1989","unstructured":"Christof Peltason, Albrecht Schmiedel, Carsten Kindermann, and Joachim Quantz. The BACK System Revisited. KIT Report 75, Technische Universit\u00e4t Berlin, September 1989."},{"issue":"2","key":"6_CR15","first-page":"16","volume":"11","author":"PF Patel-Schneider","year":"1990","unstructured":"P.F. Patel-Schneider, B. Owsnicki-Klewe, A. Kobsa, N. Guarino, R. MacGregor, W.S. Mark, D.L. McGuinness, B. Nebel, A. Schmiedel, J. Yen. Term Subsumption Languages in Knowledge Representation. AI Magazine11(2):16\u201323, Summer 1990.","journal-title":"AI Magazine"},{"key":"6_CR16","unstructured":"Joachim Quantz and Carsten Kindermann. The BACK System Implementation. KIT Report 78, Technische Universit\u00e4t Berlin, to appear September 1990."},{"key":"6_CR17","volume-title":"Towards a Theory of Frames and Rules","author":"K Schild","year":"1989","unstructured":"Klaus Schild. Towards a Theory of Frames and Rules. KIT Report 76, Technische Universit\u00e4t Berlin, December 1989."},{"key":"6_CR18","unstructured":"Marc B. Vilain. The Restricted Language Architecture of a Hybrid Representation System. In Proceedings of the 9th International Joint Conference on Artificial Intelligence, pages 547\u2013551, Los Angeles, Cal., August 1985"}],"container-title":["Informatik-Fachberichte","GWAI-90 14th German Workshop on Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-76071-6_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T03:03:13Z","timestamp":1606273393000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-76071-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540531326","9783642760716"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-76071-6_6","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1990]]}}}