{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:20:33Z","timestamp":1742617233131,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634935"},{"type":"electronic","value":"9783540695820"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3540634932_19","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:26:56Z","timestamp":1330298816000},"page":"243-254","source":"Crossref","is-referenced-by-count":1,"title":["Making objects more knowledgeable"],"prefix":"10.1007","author":[{"given":"Susanne","family":"Schacht","sequence":"first","affiliation":[]},{"given":"Udo","family":"Hahn","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,8]]},"reference":[{"key":"19_CR1","unstructured":"A. Albano, R. Bergamini, G. Ghelli, and R. Orsini. An object data model with roles. In Proceedings of the 19th VLDB Conference, pages 39\u201351, 1993."},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Pierre America. Designing an object-oriented programming language with behavioural subtyping. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Foundations of Object-Oriented Languages, pages 59\u201390. Springer, 1990.","DOI":"10.1007\/BFb0019440"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Patrick Blackburn and Claire Gardent. A specification language for lexical functional grammars. In Proc. of the 7th Conf of the European Chapter of the ACL, pages 39\u201344,1995.","DOI":"10.3115\/976973.976980"},{"key":"19_CR4","unstructured":"Alexander Borgida. On the definition of specialization hierarchies for procedures. In IJCAI '81 \u2014 Proc. of the 7th Int'l. Joint Conference on Artificial Intelligence, pages 254\u2013256,1981."},{"issue":"1","key":"19_CR5","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1142\/S0218215792000052","volume":"1","author":"A. Borgida","year":"1992","unstructured":"Alexander Borgida. From type systems to knowledge representation: Natural semantics specifications for description logics. International Journal of Intelligent and Cooperative Information Systems, 1(1):93\u2013126, 1992.","journal-title":"International Journal of Intelligent and Cooperative Information Systems"},{"key":"19_CR6","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1613\/jair.56","volume":"1","author":"A. Borgida","year":"1994","unstructured":"Alexander Borgida and Peter F. Patel-Schneider. A semantics and complete algorithm for subsumption in the CLASSIC description logic. Journal of Artificial Intelligence Research, 1:277\u2013308,1994.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"N. Br\u00f6ker, S. Schacht, P. Neuhaus, and U. Hahn. Performanzorientiertes Parsing und Grammatik-Design: das ParseTalk-System. In C. Habel et al., editors, Perspektiven der Kognitiven Linguistik. Modelle und Methoden, pages 79\u2013125. Westdeutscher Verlag, 1996.","DOI":"10.1007\/978-3-663-07678-0_5"},{"issue":"3","key":"19_CR8","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1145\/203095.203096","volume":"17","author":"G. Castagna","year":"1995","unstructured":"Giuseppe Castagna. Covariance and contravariance: Conflict without a cause. ACM Transactions on Programming Languages and Systems, 17(3):431\u2013447, 1995.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"William Cook and Jens Palsberg. A denotational semantics of inheritance and its correctness. In OOPSLA '89 \u2014 Proceedings of the Annual Conference on Object-Oriented Programming Systems, Languages and Applications, pages 433\u2013443,1989.","DOI":"10.1145\/74877.74922"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"W. R. Cook, W. L. Hill, and P S. Canning. Inheritance is not subtyping. In Conf Record 17th ACM Symposium on Principles of Programming Languages, pages 125\u2013135,1990.","DOI":"10.1145\/96709.96721"},{"issue":"9","key":"19_CR11","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1145\/365813.365819","volume":"9","author":"O. Dahl","year":"1966","unstructured":"Ole-Johan Dahl and Kristen Nygaard. An Algol-based simulation language. Communications of the ACM, 9(9):671\u2013678,1966.","journal-title":"Communications of the ACM"},{"key":"19_CR12","unstructured":"J\u00e9r\u00f4me Euzenat. KR and OOL co-operation based on semantics nonreducibility. In ECAI-94 Workshop on Integrating Object-Orientation and Knowledge Representation, 1994."},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Roger Evans and Gerald Gazdar. Inference in DATR. In Proc. of the 4th Conference of the European Chapter of the Association for Computational Linguistics, pages 66\u201371, 1989.","DOI":"10.3115\/976815.976824"},{"issue":"1\u20132","key":"19_CR14","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1006\/ijhc.1994.1053","volume":"41","author":"B. R. Gaines","year":"1994","unstructured":"Brian R Gaines. Class library implementation of an open architecture knowledge support system. International Journal of Human-Computer Studies, 41(1\u20132):59\u2013107, 1994.","journal-title":"International Journal of Human-Computer Studies"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"J\u00e9r\u00f4me Gensel, Pierre Girard, and Olivier Schmeltzer. Integrating constraints, composite objects and tasks in a knowledge representation system. In Proceedings of the 5th International Conference on Tools with Artificial Intelligence, pages 127\u2013130,1993.","DOI":"10.1109\/TAI.1993.633947"},{"key":"19_CR16","unstructured":"Adele Goldberg and David Robson. Smalltalk-80. The Language and its Implementation. Addison-Wesley, 1983."},{"key":"19_CR17","unstructured":"Udo Hahn and Martin Romacker. Automatische Erzeugung von medizinischen Wissensbasen durch robustes, partielles Textverstehen: Befundtextanalyse im Syndikate-System. KI \u2014 K\u00fcnstliehe Intelligenz, 11(3), 1997."},{"key":"19_CR18","unstructured":"S. N. Kamin and U. S. Reddy. Two semantic models of object-oriented languages. In C. A. Gunter and J. C. Mitchell, editors, Theoretical Aspects of Object-Oriented Programming, pages 463\u2013496. MIT Press, 1994."},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Bill Keller. DATR theories and DATR models. In Proceedings of the 33rd Annual Meeting of the Association for Computational Linguistics, pages 55\u201362, 1995.","DOI":"10.3115\/981658.981666"},{"issue":"4","key":"19_CR20","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M. Kifer","year":"1995","unstructured":"Michael Kifer, Georg Lausen, and James Wu. Logical foundations of object-oriented and frame-based languages. Journal of the ACM, 42(4):741\u2013843,1995.","journal-title":"Journal of the ACM"},{"issue":"6","key":"19_CR21","doi-asserted-by":"crossref","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B. H. Liskov","year":"1994","unstructured":"B. H. Liskov and J. M. Wing. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems, 16(6):1811\u20131841,1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"Ralf M\u00f6ller. A functional layer for description logic: Knowledge representation meets object-oriented programming. In OOPSLA '96 \u2014 Proceedings of the Annual Conference on Object-Oriented Programming Systems, Languages and Applications, pages 198\u2013213,1996.","DOI":"10.1145\/236338.236357"},{"key":"19_CR23","doi-asserted-by":"crossref","unstructured":"Bernhard Nebel and Gert Smolka. Attributive description formalisms ... and the rest of the world. In O. Herzog and C.-R. Rollinger, editors, Text Understanding in LILOG, pages 439\u2013452. Springer, 1991.","DOI":"10.1007\/3-540-54594-8_74"},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"Peter Neuhaus and Udo Hahn. Restricted parallelism in object-oriented lexical parsing. In COLING '96 \u2014 Proc. 16th Int'l. Conf, on Computational Linguistics, pages 502\u2013507,1996.","DOI":"10.3115\/992628.992715"},{"key":"19_CR25","doi-asserted-by":"crossref","unstructured":"Fernando Pereira and Stuart Shieber. The semantics of grammar formalisms seen as computer languages. In COLING '84 \u2014 Proceedings of the 10th Int'l. Conference on Computational Linguistics & 22nd Annual Meeting of the ACL, pages 123\u2013129,1984.","DOI":"10.3115\/980431.980518"},{"key":"19_CR26","doi-asserted-by":"crossref","unstructured":"Susanne Schacht and Udo Hahn. Temporal reasoning about actor systems. In EPIA '97 \u2014 Proceedings of the 8th Portuguese Conference on Artificial Intelligence, Springer, 1997.","DOI":"10.1007\/BFb0023929"},{"key":"19_CR27","doi-asserted-by":"crossref","unstructured":"Douglas Skuce. A frame-like knowledge representation integrating abstract data types and logic. In J. F. Sowa, editor, Principles of Semantic Networks. Explorations in the Representation of Knowledge, pages 543\u2013563. Morgan Kaufmann, 1991.","DOI":"10.1016\/B978-1-4832-0771-1.50027-8"},{"key":"19_CR28","doi-asserted-by":"crossref","unstructured":"Michael Strube and Udo Hahn, PARSETALK about sentence-and text-level anaphora. In Proc. of the 7th Conference of the European Chapter of the ACL, pages 237\u2013244,1995.","DOI":"10.3115\/976973.977007"},{"key":"19_CR29","unstructured":"Ernest R. Tello. Object-Oriented Programming for Artificial Intelligence. A Guide to Tools and System Design. Addison-Wesley, 1989."},{"key":"19_CR30","doi-asserted-by":"crossref","unstructured":"Terry Winograd. Frame representations and the declarative-procedural controversy. In D. G. Bobrow and A. Collins, editors, Representation and Understanding, pages 185\u2013210. Academic Press, 1975.","DOI":"10.1016\/B978-0-12-108550-6.50012-4"},{"issue":"2-5","key":"19_CR31","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0898-1221(92)90139-9","volume":"23","author":"W. Woods","year":"1992","unstructured":"W. Woods and J. Schmolze. The KL-ONE family. Computers and Mathematics with Applications, 23(2-5):133\u2013177,1992.","journal-title":"Computers and Mathematics with Applications"},{"issue":"1","key":"19_CR32","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/69.75885","volume":"3","author":"J. Yen","year":"1991","unstructured":"J. Yen, R. Neches, and R. MacGregor. CLASP: Integrating term subsumption systems and production systems. IEEE Trans. on Knowledge and Data Engineering, 3(1):25\u201332,1991.","journal-title":"IEEE Trans. on Knowledge and Data Engineering"}],"container-title":["Lecture Notes in Computer Science","KI-97: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540634932_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:42:32Z","timestamp":1742600552000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540634932_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634935","9783540695820"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3540634932_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}