Skip to main content

Knowledge-Based User-Friendly System For the Utilisation of Information Bases

Objective

The objective of KIWI was to develop a knowledge-based user-friendly system for managing access to external information bases. Four aspects were emphasised:
-a knowledge representation formalism, through the development and use of the OOPS language, based on an object-oriented approach
-an Advanced Database Environment (ADE), based on the combination of logic programming and databases
-the integration of the knowledge representation formalism and ADE within a single concept
-an intelligent interface between the end-user and the system, based on graphics.
The objective was to develop a knowledge based user friendly system for managing access to external information bases. Four aspects were emphasised: a knowledge representation formalism, through the development and use of the OOPS language, based on an object oriented approach; an advanced database environment (ADE), based on the combination of logic programming and databases; the integration of the knowledge representation formalism and ADE within a single concept; an intelligent interface between the end user and the system, based on graphics. The definition of the OOPS language and its prototype implementation, together with specification of the architecture of the global system, are available. The architecture of the ADE layer has also been achieved, and theoretical work on the concept of the bottom up execution of Prolog programs was performed. State of the art results in the handling of recursive queries were achieved. Demonstrations have been given of the user interface (UI), the knowledge handler (KH) and the advanced database environment (ADE), which are the three main modules, and of the full system. A tight integration between the UI and KH was achieved and shown to be possible between KH and ADE. A final prototype including all the modules of the system (loosely integrated in what concerns KH and ADE) was successfully demonstrated.
The definition of the OOPS language, and its prototype implementation together with specification of the architecture of the global system, are available.
The architecture of the ADE layer has also been achieved, and theoretical work on the concept of the bottom-up execution of Prolog programs was performed.
State-of-the-art results in what concerns the handling of recursive queries were achieved.
Demonstrations have been given of the User Interface (UI), the Knowledge Handler (KH) and the Advanced Database Environment (ADE), which are the three main KIWI modules, and of the full KIWI system. A tight integration between the UI and KH was achieved and shown to be possible between KH and ADE.
A final prototype including all the modules of the KIWI system (loosely integrated in what concerns KH and ADE) was successfully demonstrated.
Exploitation
The combination of the deductive powers of logic programming with the data management capabilities of large relational databases will result in powerful computing environments, which will dominate computing in the 1990s.
KIWI will contribute substantially to meeting the key requirements for establishing such environments in a multi-paradigm way using object-oriented techniques, logic programming, rule-based formalisms, etc. It will do this especially in the areas of knowledge representation formalisms, recursive queries handling, and the execution of Prolog programs.
The results of KIWI constitute the basis for the ESPRIT II project KIWIS (2424).

Coordinator

Consorzio per la Ricerca e le Applicazioni di Informatica
Address
Località Santo Stefano
87036 Rende
Italy

Participants (6)

CRI - DDC
Denmark
Enidata SpA
Italy
Address
Via Paolo Di Dona 3/A
00100 Roma
Institut National de Recherche en Informatique et en Automatique - INRIA
France
Address
Domaine De Voluceau-rocquencourt
78153 Le Chesnay
PHILIPS GLOEILAMPENFABRIEKEN NV
Netherlands
UNIVERSITAIRE INSTELLING ANTWERPEN
Belgium
Address
Universiteitsplein 1
2610 Wilrijk
Università degli Studi di Roma 'La Sapienza'
Italy
Address
Via Eudossiana
00184 Roma