ACM SIGMOD Anthology TKDE dblp.uni-trier.de

Knowledge Representation for Natural Language Understanding: The LLILOG Approach.

Christoph Beierle, Udo Pletat, Rudi Studer: Knowledge Representation for Natural Language Understanding: The LLILOG Approach. IEEE Trans. Knowl. Data Eng. 5(3): 386-401(1993)
@article{DBLP:journals/tkde/BeierlePS93,
  author    = {Christoph Beierle and
               Udo Pletat and
               Rudi Studer},
  title     = {Knowledge Representation for Natural Language Understanding:
               The L$_{\mbox{LILOG}}$ Approach},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {5},
  number    = {3},
  year      = {1993},
  pages     = {386-401},
  ee        = {db/journals/tkde/BeierlePS93.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
The logic-based knowledge representation language LLILOG, which is used to represent both the semantic background knowledge as well as the information extracted from German texts within the LLILOG project, is discussed. LLILOG integrates frame-like feature-value descriptions used in computational linguistics into an order-sorted predicate logic framework. The basic design principles of LLILOG and examples of how LLILOG it is used to model real world knowledge are presented. The implementation of the first LLILOG prototype is described. A formal semantics definition is provided.

Abstract

Copyright © 1993 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.


Joint ACM SIGMOD / IEEE Computer Society Anthology

CDROM Version: Load the CDROM "Volume 3 Issue 3, TKDE 1993-1995" and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...

References

[1]
...
[2]
Hassan Aït-Kaci, Roger Nasr: LOGIN: A Logic Programming Language with Built-In Inheritance. J. Log. Program. 3(3): 185-215(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[3]
Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer: The Knowledge Representation Language LLILOG. CSL 1988: 14-51 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[4]
Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann: An Order-Sorted Logic for Knowledge Representation Systems. Artif. Intell. 55(2): 149-191(1992) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[5]
...
[6]
...
[7]
Karl-Hans Bläsius, Ulrich Hedtstück, Claus-Rainer Rollinger (Eds.): Sorts and Types in Artificial Intelligence, Workshop, Eringerfeld, FRG, April 24-26, 1989, Proceedings. Lecture Notes in Computer Science 418 Springer 1989, ISBN 3-540-52337-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[8]
...
[9]
...
[10]
...
[11]
Gosse Bouma, Esther König, Hans Uszkoreit: A Flexible Graph-Unification Formalism and Its Application to Natural-Language Processing. IBM Journal of Research and Development 32(2): 170-184(1988) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[12]
...
[13]
Ronald J. Brachman, Victoria P. Gilbert, Hector J. Levesque: An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON. IJCAI 1985: 532-539 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[14]
Ronald J. Brachman, James G. Schmolze: An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9(2): 171-216(1985) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[15]
...
[16]
...
[17]
...
[18]
...
[19]
...
[20]
...
[21]
...
[22]
...
[23]
...
[24]
...
[25]
...
[26]
...
[27]
Thomas Ludwig, Bernd Walter, Michael Ley, Albert Maier, Erich Gehlen: LILOG-DB: Database Support for Knowledge-Based Systems. BTW 1989: 176-195 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[28]
...
[29]
...
[30]
...
[31]
Udo Pletat, Kai von Luck: Knowledge Representation in LILOG. Sorts and Types in Artificial Intelligence 1989: 140-164 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[32]
Simone Pribbenow: Verträglichkeitsprüfungen für die Verarbeitung räumlichen Wissens. GWAI 1988: 226-235 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[33]
Raymond Reiter: A Logic for Default Reasoning. Artif. Intell. 13(1-2): 81-132(1980) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[34]
...
[35]
...
[36]
...
[37]
Gert Smolka, Hassan Aït-Kaci: Inheritance Hierarchies: Semantics and Unification. J. Symb. Comput. 7(3/4): 343-370(1989) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[38]
Mark E. Stickel: Automated Deduction by Theory Resolution. J. Autom. Reasoning 1(4): 333-355(1985) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[39]
David S. Touretzky: The Mathematics of Inheritance Systems. Morgan Kaufmann 1986, ISBN 0-934613-06-0
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[40]
...
[41]
Marc B. Vilain: The Restricted Language Architecture of a Hybrid Representation System. IJCAI 1985: 547-551 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[42]
...
[43]
Christoph Walther: Many-sorted unification. J. ACM 35(1): 1-17(1988) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[44]
Christoph Walther: A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution. Artif. Intell. 26(2): 217-224(1985) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[45]
...

Copyright © Fri Mar 12 17:33:37 2010 by Michael Ley (ley@uni-trier.de)