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