LOKI aimed at the creation of a system that supported a natural language dialogue between its users and knowledge and data bases. We developed a formalism for the human-oriented representation of knowledge and the language βCMLβ (Conceptual Modeling Language), which was based on the conceptual model and had the special characteristics of powerful abstraction and organization mechanisms, exception handling and time treatment.
