The KIWIS Knowledge Base Management System

This report describes the functionality and architecture of the KIWI system, an advanced knowledge-base environment for large database systems, which is currently being developed within the framework of the ESPRIT programme (P2424) by a consortium of industrial and research organizations consisting of Alacatel-Bell Tel. (BE), CRAI (I), Enidata (I), FORTH (GR), ORIGIN (NL), SISU (SE), the universities of Antwerp UIA (BE, Coordinating Contractor), Calabria (I), and LAquila (I).

[1]  Gary J. Nutt,et al.  Open Systems , 2019 .

[2]  Michael Kifer,et al.  F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989, SIGMOD '89.

[3]  Paul Johannesson,et al.  The Negotiation Mechanism in a Decentralized Autonomous Cooperating Information Systems Architecture , 1989, IFIP Congress.

[4]  David S. Touretzky,et al.  Implicit Ordering of Defaults in Inheritance Systems , 1984, AAAI.

[5]  David J. DeWitt,et al.  The Object-Oriented Database System Manifesto , 1994, Building an Object-Oriented Database System, The Story of O2.

[6]  Domenico Saccà,et al.  Extending logic programming , 1990, SIGMOD '90.

[7]  David Scott Warren,et al.  C-logic of complex objects , 1989, PODS '89.

[8]  Rafael Alonso,et al.  Negotiating data access in federated database systems , 1989, [1989] Proceedings. Fifth International Conference on Data Engineering.

[9]  Dirk Vermeir,et al.  A Fixpoint Semantics for Ordered Logic , 1990, J. Log. Comput..

[10]  Domenico Saccà,et al.  The KIWI(s) projects : past and future , 1989 .

[11]  Lynn Andrea Stein.  Delegation is inheritance , 1987, OOPSLA 1987.

[12]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[13]  Henry Lieberman,et al.  Using Prototypical Objects to Implement Shared Behavior in Object Oriented Systems , 1986, OOPSLA.

[14]  Teodor C. Przymusinski.  Every logic program has a natural stratification and an iterated least fixed point model , 1989, PODS.

[15]  Dirk Vermeir,et al.  A Customizable Window-Interface to Object-Oriented Databases , 1989, European Conference on Object-Oriented Programming.

[16]  Dirk Vermeir,et al.  On the Relationship between Well-Founded and Stable Partial Models , 1991, MFDBS.

[17]  Donald Nute,et al.  Defeasible reasoning and decision support systems , 1988, Decis. Support Syst..

[18]  Dirk Vermeir,et al.  A seamless integration of graphics and dialogues within a logic based object-oriented language , 1990, J. Vis. Lang. Comput..

[19]  Serge Abiteboul,et al.  Towards a Deductive Object-Oriented Database Language , 1990, Data Knowl. Eng..

[20]  Dennis McLeod,et al.  A federated architecture for information management , 1985, TOIS.

[21]  Mukesh Dalal,et al.  OOLP: A Translation Approach to Object-Oriented Logic Programming , 1989, DOOD.

[22]  Dirk Vermeir,et al.  Loco, a Logic-based Language for Complex Objects , 1989 .