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