The KIWIS knowledge base management system

  • M. Ahlsen
  • A. D'Atri
  • P. Johannesson
  • E. Laenens
  • N. Leone
  • P. Rullo
  • P. Rossi
  • F. Staes
  • L. Tarantino
  • L. Van Beirendonck
  • F. van Cadsand
  • W. Van Santvliet
  • J. Vanslembrouck
  • B. Verdonk
  • D. Vermeir
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 498)

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).

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abi89a.
    S. Abiteboul, “Towards a deductive object-oriented database language,” in Proceedings DOOD89, Kyoto, pp. 419–438, 1989.Google Scholar
  2. Ahl90a.
    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.Google Scholar
  3. Alo89a.
    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.Google Scholar
  4. Atk89a.
    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.Google Scholar
  5. Che89a.
    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.Google Scholar
  6. Dal89a.
    M. Dalal and D. Gangopadhyay, “OOLP: A translation approach to object-oriented logic programming,” in Proceedings DOOD89, Kyoto, pp. 555–568, 1989.Google Scholar
  7. Hei85a.
    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.CrossRefGoogle Scholar
  8. Hei87a.
    D. Heimbigner, “A federated system for software management,” IEEE Database Engineering Bulletin, vol. 10, no. 3, 1987.Google Scholar
  9. Hew84a.
    C. Hewitt and P. deJong, “Open Systems,” in On Conceptual Modelling, ed. J. Schmidt, pp. 147–164, Springer Verlag, 1984.Google Scholar
  10. Joh88a.
    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, SwedenGoogle Scholar
  11. Kif89a.
    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.Google Scholar
  12. Lae89a.
    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.Google Scholar
  13. Lae89b.
    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.Google Scholar
  14. Lae90b.
    E. Laenens and D. Vermeir, “A Fixpoint Semantics of Ordered Logic,” Journal of Logic and Computation, vol. 1, no. 2, pp. 159–185, 1990.Google Scholar
  15. Lae90c.
    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.Google Scholar
  16. Lae90a.
    E. Laenens, D. Sacca, and D. Vermeir, “Extending logic programming,” in Proceedings of the SIGMOD conference, pp. 184–193, 1990.Google Scholar
  17. Lae91a.
    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 appearGoogle Scholar
  18. Leo90a.
    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.Google Scholar
  19. Lie86a.
    H. Lieberman, “Using Prototypical Objects to Implement Shared Behavior in Object-Oriented Systems,” OOPSLA '86, pp. 214–223, 1986.Google Scholar
  20. McD80a.
    D. McDermott and J. Doyle, “Non-monotonic logic I,” Artificial Intelligence, vol. 13, pp. 41–72, 1980.CrossRefGoogle Scholar
  21. Nut88a.
    D. Nute, “Defeasible reasoning and decision support systems,” Decision support systems, vol. 4, pp. 97–110, 1988.CrossRefGoogle Scholar
  22. Prz89a.
    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.Google Scholar
  23. Rul90a.
    P. Rullo, P. Rossi, and D. Sacca, Revised Specification of BQM, 1990. The KIWIS project, Report D2Google Scholar
  24. Rul90b.
    P. Rullo, P. Rossi, and D. Sacca, BQM: strategies and basic architecture, 1990. The KIWIS project, Report BLM4Google Scholar
  25. Smi80a.
    R.G. Smith, “The Contract Net Protocol: High-Level Communication and Control in a Distrib,” Readings in Distributed Artificial Intelligence, pp. 357–366, 1980.Google Scholar
  26. Sta90a.
    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.Google Scholar
  27. Sta90b.
    F. Staes and L. Tarantino, Report G2: Revised specifications of the User Interface, 1990. Esprit P2424 (KIWIS) Report G2Google Scholar
  28. Ste87a.
    L. Stein, “Delegation is Inheritance,” OOPSLA '87, pp. 138–146, 1987.Google Scholar
  29. The89a.
    The KIWIs Team, “The KIWI(s) projects: past and future,” in Proc. of 6th Esprit Conference, pp. 594–603, 1989.Google Scholar
  30. Tou84a.
    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. GinsbergGoogle Scholar

Copyright information

© Springer-Verlag 1991

Authors and Affiliations

  • M. Ahlsen
    • 1
  • A. D'Atri
    • 4
  • P. Johannesson
    • 1
  • E. Laenens
    • 5
  • N. Leone
    • 3
  • P. Rullo
    • 3
  • P. Rossi
    • 3
  • F. Staes
    • 2
  • L. Tarantino
    • 4
  • L. Van Beirendonck
    • 5
  • F. van Cadsand
    • 2
  • W. Van Santvliet
    • 5
  • J. Vanslembrouck
    • 6
  • B. Verdonk
    • 6
  • D. Vermeir
    • 5
  1. 1.SISUBelgium
  2. 2.ORIGINBelgium
  3. 3.CRAIBelgium
  4. 4.University of LAquilaBelgium
  5. 5.University of Antwerp UIABelgium
  6. 6.Alacatel-BellBelgium

Personalised recommendations