Abstract
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).
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
S. Abiteboul, “Towards a deductive object-oriented database language,” in Proceedings DOOD89, Kyoto, pp. 419–438, 1989.
M. Ahlsen and P. Johannesson, Contracts in Database Federations, SISU — Swedish Institute for Systems Development, Stockholm, Oct 1990. Presented at Conference on Cooperating Knowledge Based Systems, Keele, Oct 1990.
R. Alonso and D. Barbara, “Negotiating Data Access in Federated Database Systems,” Proc. Fifth International Conference on Data Engineering, pp. 56–65, Los Angeles, Feb. 1989.
M. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier, and S. Zdonik, “The object-oriented database system manifesto,” in Proceedings DOOD89, Kyoto, pp. 40–57, 1989.
W. Chen and D. S. Warren, “C-Logic of Complex Objects,” in Proc. of the Eight Symposium on Principles of Database Systems, pp. 369–378, 1989.
M. Dalal and D. Gangopadhyay, “OOLP: A translation approach to object-oriented logic programming,” in Proceedings DOOD89, Kyoto, pp. 555–568, 1989.
D. Heimbigner and D. McLeod, “A Federated Architecture for Information Management,” ACM Transactions on Office Information Systems, vol. 3, no. 3, pp. 253–278, 1985.
D. Heimbigner, “A federated system for software management,” IEEE Database Engineering Bulletin, vol. 10, no. 3, 1987.
C. Hewitt and P. deJong, “Open Systems,” in On Conceptual Modelling, ed. J. Schmidt, pp. 147–164, Springer Verlag, 1984.
P. Johannesson and B. Wangler, The Negotiation Mechanism in a Decentralized Autonomous Cooperating Information Systems Architecture, 1988. Tech. Report Nr. 62, SYSLAB, University of Stockholm, S-10691 Stocholm, Sweden
M. Kifer and G. Lausen, “F-Logic: A Higher-Order Language for Reasoning About Objects, Inheritance and Scheme,” in Proc. of SIGMOD, pp. 134–146, 1989.
E. Laenens, D. Vermeir, and B. Verdonk, “LOCO, a logic-based language for complex objects,” in Proceedings of the Esprit conference, pp. 604–616, 1989.
E. Laenens, F. Staes, and D. Vermeir, “A Customizable Window-Interface to Object-Oriented Databases,” in Proc. of the ECOOP conference, pp. 367–382, 1989.
E. Laenens and D. Vermeir, “A Fixpoint Semantics of Ordered Logic,” Journal of Logic and Computation, vol. 1, no. 2, pp. 159–185, 1990.
E. Laenens, B. Verdonk, D. Vermeir, and D. Sacca, “The LOCO language: towards an integration of logic and object oriented progra mming,” Proceedings of the Workshop on Logic Programming and Non-Monotonic Reasoning, Austin, Texas, 1990.
E. Laenens, D. Sacca, and D. Vermeir, “Extending logic programming,” in Proceedings of the SIGMOD conference, pp. 184–193, 1990.
E. Laenens and D. Vermeir, On the Relationship between Well-Founded and Stable Partial Models, 1991. Proc. of the Mathematical Fundamentals of Database and Knowledge Base Systems,to appear
N. Leone, A. Mecchia, M. Romeo, G. Rossi, and P. Rullo, “From DATALOG to Ordered Logic Programming,” in Proc. of the 13th Int. Seminar on DBMS, Romania, 1990.
H. Lieberman, “Using Prototypical Objects to Implement Shared Behavior in Object-Oriented Systems,” OOPSLA '86, pp. 214–223, 1986.
D. McDermott and J. Doyle, “Non-monotonic logic I,” Artificial Intelligence, vol. 13, pp. 41–72, 1980.
D. Nute, “Defeasible reasoning and decision support systems,” Decision support systems, vol. 4, pp. 97–110, 1988.
T. C. Przymusinski, “Every logic program has a natural stratification and an iterated fixed point model,” in Proc. of the Symposium on Principles Of Database Systems, pp. 11–21, 1989.
P. Rullo, P. Rossi, and D. Sacca, Revised Specification of BQM, 1990. The KIWIS project, Report D2
P. Rullo, P. Rossi, and D. Sacca, BQM: strategies and basic architecture, 1990. The KIWIS project, Report BLM4
R.G. Smith, “The Contract Net Protocol: High-Level Communication and Control in a Distrib,” Readings in Distributed Artificial Intelligence, pp. 357–366, 1980.
F. Staes, E. Laenens, L. Tarantino, and D. Vermeir, “A seamless integration of graphics and dialogues within a logic based object-oriented language,” Journal of Visual Languages and Computing, p. to appear, 1990.
F. Staes and L. Tarantino, Report G2: Revised specifications of the User Interface, 1990. Esprit P2424 (KIWIS) Report G2
L. Stein, “Delegation is Inheritance,” OOPSLA '87, pp. 138–146, 1987.
The KIWIs Team, “The KIWI(s) projects: past and future,” in Proc. of 6th Esprit Conference, pp. 594–603, 1989.
D.S. Touretzky, “Implicit ordering of defaults in inheritance systems,” in Proceedings 5th National Conference on Artificial Intelligence (AAAI), pp. 322–325, Austin, TX, 1984. Also in ‘Readings in nonmonotonic reasoning', M.L. Ginsberg
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ahlsen, M. et al. (1991). The KIWIS knowledge base management system. In: Andersen, R., Bubenko, J.A., Sølvberg, A. (eds) Advanced Information Systems Engineering. CAiSE 1991. Lecture Notes in Computer Science, vol 498. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54059-8_81
Download citation
DOI: https://doi.org/10.1007/3-540-54059-8_81
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54059-5
Online ISBN: 978-3-540-47378-7
eBook Packages: Springer Book Archive