Skip to main content
SpringerLink
Log in

The knowledge representation language LLILOG

  • Conference paper
  • First Online:
CSL '88 (CSL 1988)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 385))

Included in the following conference series:

  • 148 Accesses

Abstract

LLILOG is the knowledge representation language that is used in the LILOG project, a research project in the area of natural language understanding. LLILOG is based on full first order predicate logic and incorporates a powerful sort mechanism. Besides having a set of sorts together with an order relation on them sorts may also be defined by attribute-value pairs. Further concepts which have been included in LLILOG are reference objects for representing real world objects as well as knowledge packets for structuring knowledge bases.

This paper describes the evolution of LLILOG and its basic design decisions, gives a complete abstract syntax, and provides a model theoretic semantics for the logical kernel of the language. A definition of the concrete syntax which is used in the first LILOG prototype is given in Appendix 1.

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ït Kaci, H. & Nasr, R.: LOGIN: A Logic Programming Language with Built in Inheritance, in: Journal of Logic Programming, Vol. 3, 1986, pp. 185–215.

    Article  Google Scholar 

  2. Brachmann, R.J. & Gilbert, V.P. & Levesque, H.J.: An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON, in: Proc. IJCAI, Los Angles 1985.

    Google Scholar 

  3. Bollinger, T. & Hedtstück, U. & Rollinger, C.-R. & Studer, R.: Text Understanding in LILOG, to appear in: Schmitz & Kunz (eds): Linguistic Approaches to AI, Peter Lang, Frankfurt, 1988.

    Google Scholar 

  4. Bjørner, D. & Jones, C.B.: The Vienna Development Method: The Meta Language, LNCS 61, Springer-Verlag, 1978.

    Google Scholar 

  5. Bouma, G. & König, E. & Uszkoreit, H.: The Application of the Stuttgart Type Unification Formalism to Syntactic and Semantic Processing, in: IBM Journal of Research and Development, March 1988.

    Google Scholar 

  6. Beierle, C. & Pletat, U.: Feature Graphs and Abstract Data Types: A Unifying Approach, LILOG Report 39, IBM Germany, Stuttgart 1988, to appear in: Proc. COLING, Budapest, 1988.

    Google Scholar 

  7. Beierle, C. & Pletat, U. & Uszkoreit, H.: An Algebraic Characterization of STUF, in: Proc. Symposium on Computer Linguistics and its Theoretical Foundations, Saarbrücken, March 1988, to appear in Springer Verlag

    Google Scholar 

  8. Di Primio, F. & Bewka, G.: Babylon: Kernel System of an Integrated Environment for Expert System Development and Operation, in: Proc. 5th. Internat. Workshop on Expert Systems and their Applications, Avignon, 1985.

    Google Scholar 

  9. Ehrig, H. & Mahr, B.: Fundamentals of Algebraic Specification 1, Springer 1985.

    Google Scholar 

  10. Fenstad, J.E. & Halvorsen, P. K. & Langholm, T. & van Benthem, J.: Equations, Schemata and Situations: A Framework for Linguistic Semantics. CSLI Report No. 29, Stanford, 1985.

    Google Scholar 

  11. Fikes, R. & Kehler, T.: The Role of Frame-Based Representation in Reasoning, in: CACM 28/9, pp. 904–920, 1985.

    Google Scholar 

  12. Goguen, J.A. & Burstall, R.M.: Institutions: Abstract Model Theory for Computer Science, CSLI Report No. 30, Stanford, 1985.

    Google Scholar 

  13. Goguen, J.A. & Meseguer, J.: Order-Sorted Algebra I: Partial and Overloaded Operators, Errors and Inheritance, Computer Science Lab, SRI International, 1987.

    Google Scholar 

  14. Goguen, J.A. & Thatcher, J.W. & Wagner, E.G.: An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types, in: Current Trends in Programming Methodology IV: Data Structuring (R. Yeh (ed)), Prentice Hall, pp. 80–144, 1978.

    Google Scholar 

  15. Habel, Ch.: Prinzipien der Referentialität, Informatik Fachberichte 122, Springer Verlag, 1985.

    Google Scholar 

  16. Herzog, O. et al.: LILOG — Linguistic and Logic Methods for the Computational Understanding of German, LILOG Report 1b, IBM Germany, Stuttgart 1986.

    Google Scholar 

  17. Kamp, H.: A Theory of Truth and Semantic Representation, in: J. A. Groenendijk et al. (eds.): Formal Methods in the Study of Natural Language, Vol. 1, Amsterdam, 1981.

    Google Scholar 

  18. von Luck, K.: Semantic Networks with Number Restricted Roles or Another Story about Clyde, in: Proc. GWAI 1986, Springer Verlag.

    Google Scholar 

  19. Maier, J.: Design and Implementation of a Knowledge Structuring Concept for LLILOG, Master Thesis, University of Stuttgart, Institut für Informatik, 1988.

    Google Scholar 

  20. Moser, M.G.: An Overview of NIKL — the New Implementation of KL-ONE, in: Bolt, Beranek and Newmann Inc. Report No. 5421, Research in Knowledge Representation, 1983.

    Google Scholar 

  21. Oberschelp, A.: Untersuchungen zur mehrsortigen Quantorenlogik, in: Mathematische Annalen 145, 297–333, 1962.

    Article  Google Scholar 

  22. Rollinger, C.-R. & Studer, R. & Uszkoreit, H. & Wachsmuth, I.: Textunderstanding in LILOG — Sorts and Reference Objects, in: Brauer & Wahlster (eds): Knowledge Based Systems, Informatik Fachberichte 155, Springer-Verlag, 1987.

    Google Scholar 

  23. Smolka, G. & Ait-Kaci, H.: Inheritance Hierarchies: Semantics and Unification, MCC Tech. Report AI-057-87, 1987, to appear in: Journal of Symbolic Computation.

    Google Scholar 

  24. Stefik, M. & Bobrow, D.G.: Object-oriented Programming: Themes and Variations, in: AI Magazine, 6/4, 1986.

    Google Scholar 

  25. Sowa, J., Foo, N.Y.: Conceptual Graphs for Knowledge Systems, in preparation.

    Google Scholar 

  26. Schmolze, J.G. & Lipkis, T.A.: Classification in the KL-ONE Knowledge Representation System, in: Proc. of IJCAI 1983, Karlsruhe.

    Google Scholar 

  27. Sowa, J.: Conceptual Structures: Information Processing in Mind and Machine, Addison Wesley, Reading, Mass, 1984.

    Google Scholar 

  28. Shieber, S.M. & Uszkoreit, H. & Pereira, F. & Robinson, J. & Tyson, M.: The Formalism and Implementation of PATR-II. In: B. Grosz and M. Stickel (eds.) Research on Interactive Aquisition and Use of Knowledge, SRI International, Menlo Park, Ca., 1986.

    Google Scholar 

  29. Touretzky, D.: The Mathematics of Inheritance Systems, Morgan Kaufmann Publ., Inc., Los Altos, 1986.

    Google Scholar 

  30. Uszkoreit, H.: From Feature Bundles to Abstract Data Types: New Directions in the Representation and Processing of Linguistic Knowledge, in: Blaser (ed): Natural Language at the Computer — Contributions to Syntax and Semantics for Text Processing and Man-Machine-Communication, IBM Germany, Science Center Heidelberg, TR 88.02.002, 1988.

    Google Scholar 

  31. Vilain, M.: The Restricted Language Architecture of a Hybrid Representation System, in: Proc. IJCAI 1985, Los Angeles.

    Google Scholar 

  32. Wachsmuth, I.: On Structuring Domain Specific Knowledge, LILOG-Report 12, IBM Germany, Stuttgart, 1987.

    Google Scholar 

  33. Walther, C.: Many-Sorted Unification, in: Journal of the ACM, Vol. 35, No. 1, January, pp. 1–17, 1988.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IBM Deutschland GmbH, WT LILOG, P.O. Box 80 08 80, D-7000, Stuttgart 80, West Germany

    Christoph Beierle, Jochen Dörre, Udo Pletat, Claus Rollinger, Peter H. Schmitt & Rudi Studer

  2. Institut für Maschinelle Sprachverarbeitung, Universität Stuttgart, Keplerstr. 17, D-7000, Stuttgart 1, West Germany

    Jochen Dörre

  3. Institut für Logik, Komplexität und Deduktionssysteme, Universität Karlsruhe, P.O. Box 6980, 7500, Karlsruhe, West Germany

    Peter H. Schmitt

Authors
  1. Christoph Beierle
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jochen Dörre
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Udo Pletat
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Claus Rollinger
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Peter H. Schmitt
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Rudi Studer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Egon Börger Hans Kleine Büning Michael M. Richter

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Beierle, C., Dörre, J., Pletat, U., Rollinger, C., Schmitt, P.H., Studer, R. (1989). The knowledge representation language LLILOG . In: Börger, E., Büning, H.K., Richter, M.M. (eds) CSL '88. CSL 1988. Lecture Notes in Computer Science, vol 385. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026293

Download citation

  • DOI: https://doi.org/10.1007/BFb0026293

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51659-0

  • Online ISBN: 978-3-540-46736-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation