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.