The LILOG knowledge representation system

Abstract

The LILOG knowledge representation system is part of LEU/2 - the LILOG Experimentier Umgebung 1 - a natural language understanding system for German. The knowledge representation system comprises a sophisticated knowledge representation system comprises a sophisticated knowledge representation language based on order-sorted predicate logic enriched by a type system of KL-ONE like languages, default reasoning, and the capability to delegate inferences to external deductive components. The inference engine processing L LILOG can be considered as an experimental theorem proving shell since, for example, we are able to exchange inference calculi and search strategies very easily. We sketch the knowledge representation language L LILOG , give an overview of the internal architecture of the LILOG inference engine, and show how the inference engine is embedded into the natural language understanding system LEU/2.