Knowledge Representation for Natural Language Understanding: The L_LILOG Approach

Authors:
C. Beierle;U. Pletat;R. Studer
Affiliations:
-;-;-
Venue:
IEEE Transactions on Knowledge and Data Engineering
Year:
1993

Citing 18
Cited 0

A mechanical solution of Schubert's steamroller by many-sorted resolution

Artificial Intelligence
Automated deduction by theory resolution

Journal of Automated Reasoning
Login: A logic programming language with built-in inheritance

Journal of Logic Programming
A note on a study of cases

Computational Linguistics
The mathematics of inheritance systems

The mathematics of inheritance systems
Many-sorted unification

Journal of the ACM (JACM)
A flexible graph-unification formalism and its application to natural-language processing

IBM Journal of Research and Development
From feature bundles to abstract data types: new directions in the representation and processing of linguistic knowledge

Scientific Symposium on Syntax and Semantics on Natural Language at the Computer
Inheritance hierarchies: Semantics and unification

Journal of Symbolic Computation
Knowledge representation in LILOG

Proceedings of the workshop on Sorts and types in artificial intelligence
An order-sorted logic for knowledge representation systems

Artificial Intelligence
Naive Semantics for Natural Language Understanding

Naive Semantics for Natural Language Understanding
Fundamentals of Algebraic Specification I

Fundamentals of Algebraic Specification I
An Algebraic Characterization of STUF

Computerlinguistik und ihre theoretischen Grundlagen, Symposium
Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype

GWAI '89 Proceedings of the 13th German Workshop on Artificial Intelligence
The Knowledge Representation Language LLILOG

CSL '88 Proceedings of the 2nd Workshop on Computer Science Logic
A lattice theoretic approach to computation based on a calculus of partially ordered type structures (property inheritance, semantic nets, graph unification)

A lattice theoretic approach to computation based on a calculus of partially ordered type structures (property inheritance, semantic nets, graph unification)
Feature graphs and abstract data types: a unifying approach

COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

The logic-based knowledge representation language L_LILOG, which is used to represent both the semantic background knowledge as well as the information extracted from German texts within the LILOG project, is discussed. L_LILOG integrates frame-like features-value descriptions used in computational linguistics into an order-sorted predicated logic framework. The basis design principles of L_LILOG and examples of how L_LILOG is used to model real world knowledge are presented. The implementation of the first LILOG prototype is described. A formal semantics definition is provided.