Skip to main content
SpringerLink
Log in

Making objects more knowledgeable

  • Computational Linguistics
  • Conference paper
  • First Online:
KI-97: Advances in Artificial Intelligence (KI 1997)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1303))

Included in the following conference series:

Abstract

Despite their common roots, the paradigms of object-oriented programming and object-based knowledge representation techniques could not really be joined again. A synthesis of both worlds would allow for the description of complex knowledge-based systems with dynamic behavior in a unified framework. We propose a corresponding model that extends object-oriented programming into the classification-based paradigm of terminological reasoning and consider a natural language understanding task to demonstrate its application.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. Albano, R. Bergamini, G. Ghelli, and R. Orsini. An object data model with roles. In Proceedings of the 19th VLDB Conference, pages 39–51, 1993.

    Google Scholar 

  2. 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–90. Springer, 1990.

    Google Scholar 

  3. 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–44,1995.

    Google Scholar 

  4. Alexander Borgida. On the definition of specialization hierarchies for procedures. In IJCAI '81 — Proc. of the 7th Int'l. Joint Conference on Artificial Intelligence, pages 254–256,1981.

    Google Scholar 

  5. 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–126, 1992.

    Google Scholar 

  6. 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–308,1994.

    Google Scholar 

  7. N. Bröker, 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–125. Westdeutscher Verlag, 1996.

    Google Scholar 

  8. Giuseppe Castagna. Covariance and contravariance: Conflict without a cause. ACM Transactions on Programming Languages and Systems, 17(3):431–447, 1995.

    Google Scholar 

  9. William Cook and Jens Palsberg. A denotational semantics of inheritance and its correctness. In OOPSLA '89 — Proceedings of the Annual Conference on Object-Oriented Programming Systems, Languages and Applications, pages 433–443,1989.

    Google Scholar 

  10. 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–135,1990.

    Google Scholar 

  11. Ole-Johan Dahl and Kristen Nygaard. An Algol-based simulation language. Communications of the ACM, 9(9):671–678,1966.

    Google Scholar 

  12. Jérôme Euzenat. KR and OOL co-operation based on semantics nonreducibility. In ECAI-94 Workshop on Integrating Object-Orientation and Knowledge Representation, 1994.

    Google Scholar 

  13. 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–71, 1989.

    Google Scholar 

  14. Brian R Gaines. Class library implementation of an open architecture knowledge support system. International Journal of Human-Computer Studies, 41(1–2):59–107, 1994.

    Google Scholar 

  15. Jérôme 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–130,1993.

    Google Scholar 

  16. Adele Goldberg and David Robson. Smalltalk-80. The Language and its Implementation. Addison-Wesley, 1983.

    Google Scholar 

  17. Udo Hahn and Martin Romacker. Automatische Erzeugung von medizinischen Wissensbasen durch robustes, partielles Textverstehen: Befundtextanalyse im Syndikate-System. KI — Künstliehe Intelligenz, 11(3), 1997.

    Google Scholar 

  18. 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–496. MIT Press, 1994.

    Google Scholar 

  19. Bill Keller. DATR theories and DATR models. In Proceedings of the 33rd Annual Meeting of the Association for Computational Linguistics, pages 55–62, 1995.

    Google Scholar 

  20. Michael Kifer, Georg Lausen, and James Wu. Logical foundations of object-oriented and frame-based languages. Journal of the ACM, 42(4):741–843,1995.

    Google Scholar 

  21. B. H. Liskov and J. M. Wing. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems, 16(6):1811–1841,1994.

    Google Scholar 

  22. Ralf Möller. A functional layer for description logic: Knowledge representation meets object-oriented programming. In OOPSLA '96 — Proceedings of the Annual Conference on Object-Oriented Programming Systems, Languages and Applications, pages 198–213,1996.

    Google Scholar 

  23. 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–452. Springer, 1991.

    Google Scholar 

  24. Peter Neuhaus and Udo Hahn. Restricted parallelism in object-oriented lexical parsing. In COLING '96 — Proc. 16th Int'l. Conf, on Computational Linguistics, pages 502–507,1996.

    Google Scholar 

  25. Fernando Pereira and Stuart Shieber. The semantics of grammar formalisms seen as computer languages. In COLING '84 — Proceedings of the 10th Int'l. Conference on Computational Linguistics & 22nd Annual Meeting of the ACL, pages 123–129,1984.

    Google Scholar 

  26. Susanne Schacht and Udo Hahn. Temporal reasoning about actor systems. In EPIA '97 — Proceedings of the 8th Portuguese Conference on Artificial Intelligence, Springer, 1997.

    Google Scholar 

  27. 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–563. Morgan Kaufmann, 1991.

    Google Scholar 

  28. 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–244,1995.

    Google Scholar 

  29. Ernest R. Tello. Object-Oriented Programming for Artificial Intelligence. A Guide to Tools and System Design. Addison-Wesley, 1989.

    Google Scholar 

  30. Terry Winograd. Frame representations and the declarative-procedural controversy. In D. G. Bobrow and A. Collins, editors, Representation and Understanding, pages 185–210. Academic Press, 1975.

    Google Scholar 

  31. W. Woods and J. Schmolze. The KL-ONE family. Computers and Mathematics with Applications, 23(2-5):133–177,1992.

    Google Scholar 

  32. 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–32,1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Linguistische Informatik / Computerlinguistik, Universität Freiburg, Werthmannplatz 1, D-79085, Freiburg

    Susanne Schacht & Udo Hahn

Authors
  1. Susanne Schacht
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Udo Hahn
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Gerhard Brewka Christopher Habel Bernhard Nebel

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schacht, S., Hahn, U. (1997). Making objects more knowledgeable. In: Brewka, G., Habel, C., Nebel, B. (eds) KI-97: Advances in Artificial Intelligence. KI 1997. Lecture Notes in Computer Science, vol 1303. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3540634932_19

Download citation

  • DOI: https://doi.org/10.1007/3540634932_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63493-5

  • Online ISBN: 978-3-540-69582-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation