Knowledge representation for natural language understanding: the L/sub LILOG/ approach

The logic-based knowledge representation language L/sub 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/sub LILOG/ integrates frame-like features-value descriptions used in computational linguistics into an order-sorted predicated logic framework. The basis design principles of L/sub LILOG/ and examples of how L/sub 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.<
>