The LILOG knowledge representation system

Abstract

The LILOG knowledge representation system is part of LBU/2 -the LILOG Experimentier Umgebung J -a naturM language understanding system for German. The 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 capalfility to delegate inferences to external deductive components. Tile inference engine processing Ltu.oc can be considered as an experimental theorem proving shell since, h~r example, we are able to exchange inference calculi and search strategies very easily. We sketch the knowledge representation language LHLOG, give an overview of the internal architecture of tile LILOG inference engine, and show how tile inference engine is embedded into the naturM language understanding system LEU/2.

A model of multimedia information retrieval

“…DLs have an "object-oriented" character that makes them especially suitable for reasoning about hierarchies of structured objects. DL systems have been used for building a variety of applications including systems supporting configuration management [McGuinness and Wright 1998], software management [Devanbu et al 1991], browsing and querying of networked information sources [Duschka and Levy 1997], data archaeology [Brachman et al 1992], plan recognition [Weida and Litman 1992], natural language understanding [Bollinger and Pletat 1991] and multimedia data description and classification [Goble et al 1996]. The grandfather of DL systems was KL-ONE [Brachman and Schmolze 1985].…”

An empirical analysis of terminological representation systems

“…There are a large number of systems which could have been included in an empirical analysis, e.g., I<L-ONE [8], LILOG [5], NIKL [29], K-REP [19], KRS [14], KRYPTON [7], YAK [9]. However, we concentrated on a relatively small number of systems.…”