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}
}
BibTeX 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 ... BibTeX

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) BibTeX
[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 BibTeX
[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) BibTeX
[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 BibTeX
[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) BibTeX
[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 BibTeX
[14]
Ronald J. Brachman, James G. Schmolze: An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9(2): 171-216(1985) BibTeX
[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 BibTeX
[28]
...
[29]
...
[30]
...
[31]
Udo Pletat, Kai von Luck: Knowledge Representation in LILOG. Sorts and Types in Artificial Intelligence 1989: 140-164 BibTeX
[32]
Simone Pribbenow: Verträglichkeitsprüfungen für die Verarbeitung räumlichen Wissens. GWAI 1988: 226-235 BibTeX
[33]
Raymond Reiter: A Logic for Default Reasoning. Artif. Intell. 13(1-2): 81-132(1980) BibTeX
[34]
...
[35]
...
[36]
...
[37]
Gert Smolka, Hassan Aït-Kaci: Inheritance Hierarchies: Semantics and Unification. J. Symb. Comput. 7(3/4): 343-370(1989) BibTeX
[38]
Mark E. Stickel: Automated Deduction by Theory Resolution. J. Autom. Reasoning 1(4): 333-355(1985) BibTeX
[39]
David S. Touretzky: The Mathematics of Inheritance Systems. Morgan Kaufmann 1986, ISBN 0-934613-06-0
BibTeX
[40]
...
[41]
Marc B. Vilain: The Restricted Language Architecture of a Hybrid Representation System. IJCAI 1985: 547-551 BibTeX
[42]
...
[43]
Christoph Walther: Many-sorted unification. J. ACM 35(1): 1-17(1988) BibTeX
[44]
Christoph Walther: A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution. Artif. Intell. 26(2): 217-224(1985) BibTeX
[45]
...
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
IEEE Transactions on Data and Knowledge Engineering: Copyright © by IEEE,
Joint ACM SIGMOD / IEEE Computer Society Anthology: Copyright © by ACM (info@acm.org) and IEEE, Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sun May 17 00:27:45 2009