Some Aspects of Knowledge Base Management Systems

  • Kai v. Luck
  • Bernhard Nebel
  • H.-J. Schneider
Conference paper
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 172)


Knowledge representation and the development of suitable formalisms has always been a majorconcern in the history of Artificial Intelligence (AI). In the last years, the focus on this subject hasincreased even more, since efficient utilization of large quantities of world knowledge is regarded as the key to building intelligent systems. Knowledge-based system has almost become a synonym for AI system. In this paper some results are reported obtained by the construction of the integrated hybrid system BACK, which in some aspect is based on KL-ONE.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Brachman 77]
    R.J. Brachman What’s in a Concept: Structural foundations for Semantic Networks Int. Journal of Man-Machine Studies Vol 9 1977 127–152CrossRefGoogle Scholar
  2. [Brachman 79]
    Brachman 79] R.J. Brachman On the Epistomological Status of Semantic Networks In: Associative Networks Findler (ed.) Academic Press 1979 3–50Google Scholar
  3. [Brachman, Levesque 84]
    R.J. Brachman, H.J. Levesque The Tractability of Subsumption in Frame-Based Description Languages Proc. AAAI-8 4 1984 34–37Google Scholar
  4. [Brachman, Schmolze 85]
    R.J. Brachman, J.G. Schmolze An Overview of the KL-ONE Knowledge Representation System Cognitive Science Vol 9 1985Google Scholar
  5. [Brachman et al. 85]
    R.J. Brachman, V. Plgman Gilbert, H.J.Levesque An Essential Hybrid System Proc. of IJCAI-85 1985 532–539Google Scholar
  6. [MacGregor 86]
    B. MacGregor Personal Communication 1986Google Scholar
  7. [Levesque 82]
    H.J. Levesque A Formal Treatment of Incomplete Knowledge Bases Univ. of Toronto, Tech. Report CSRG-139 1982Google Scholar
  8. [Levesque 86]
    H.J. Levesque Making Believers out of Computers Artificial Intelligence Vol 30 1986 81–108MathSciNetGoogle Scholar
  9. [Lipkis 82]
    T. Lipkis A KL-ONE Classifier In: Proc. of the 1981 KL-ONE Workshop Brachman, Schmolze (eds.) BBN-Report No 484-2 1982 128–145Google Scholar
  10. [Luck et al. 85]
    K. v. Luck, B. Nebel, C. Peltason, A. Schmledel The BACK-System TU-Berlin KIT-Report No 29 1985Google Scholar
  11. [Luck 86]
    K. v. Luck Semantic Networks with Number Restricted Roles In: Proc. of GWAI-86 Rollinger, Horn (eds.) Springer 1986Google Scholar
  12. [Luck et al. 87]
    K. v. Luck, B. Nebel, A. Schmledel, C. Peltason The Anatomy of the BACK-System TU-Berlin KIT Report No 41 1987Google Scholar
  13. [Moore 86]
    J. Moore NIKL Workshop Summary Boston (MA) USC/ISI Draft July 1986Google Scholar
  14. [Neweli 82]
    A. Newell The Knowledge Level Artificial Intelligence Vol 18 1982 87–127CrossRefGoogle Scholar
  15. [Patel-Schneider 84]
    P.F. Patel-Schnelder Small can be Beautiful in Knowledge Representation Proc. of the IEEE Workshop on Principles of Knowledge-Based Systems 1984 11–19Google Scholar
  16. [Patel-Schneider 86]
    P.F. Patel-Schnelder A Four-Valued Semantics for Frame-Based Description Languages Proc. AAAI-86 1986 344–348Google Scholar
  17. Schlumberger 85] The Knowledge Representation Group What Is a TBox ? Schlumberger Palo Alto Research, Draft 1985Google Scholar
  18. [SchmoIze, Israel 83]
    J.G. Schmolze, D. Israel KL-ONE: Semantics and Classification BBN Anual Report, BBN-Report No 5421 1983 27–39Google Scholar
  19. [SchmoIze 85]
    J.G. Schmolze The Language and Semantics of NIKL BBN Draft 1985Google Scholar
  20. [Vilain 85]
    M. Vilain The Restricted Language Architecture of a Hybrid Representation System Proc. of IJCAI-85 1985 547–551Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Kai v. Luck
    • 1
  • Bernhard Nebel
    • 1
  • H.-J. Schneider
    • 1
  1. 1.Technische Universität BerlinGermany

Personalised recommendations