Vol. CEUR-WS-1

Reasoning about Structured Objects:
Knowledge Representation Meets Databases (KRDB '94)

Proceedings of 1st Workshop KRDB'94
Saarbrücken, Germany, September 20-22, 1994.

Franz Baader *
Martin Buchheit +
Manfred A. Jeusfeld *
Werner Nutt +

Table of Contents

Introduction

• Overview
  F. Baader, M. Buchheit, M.A. Jeusfeld, W. Nutt

Invited Talks

• Description logics for schema level reasoning in databases
  M. Lenzerini
• Database views on KR classification
  M. Scholl

Session 1: Schema design for data and knowledge bases

• Formalization of OODB models
  G. Vossen
• Terminological systems revisited: terminology = schema + views
  M. Buchheit, F.M. Donini, W. Nutt, A. Schaerf
• Using natural language for database design
  E. Buchholz, A. Düsterhöft
• What's in a federation? Extending data dictionaries with knowledge representation techniques
  W. Benn

Session 2: Knowledge representation languages as query languages

• Do we need the closed world assumption in knowledge representation?
  U. Hustadt
• Tractable reasoning in a universal description logic
  K. Schild
• Generating queries from complex type definitions
  M.A. Jeusfeld
• Terminological logics for schema design and query processing in OODBs
  D. Beneventano, S. Bergamaschi, S. Lodi, C. Sartori
• Semantic indexing based on description logics
  A. Schmiedel

Session 3: Techniques for modeling business data

• The problems of data modeling in software practice
  H. Huber
• OLSEN: an object-oriented formalism for information and decision system design
  R. Guetari, F. Piard, B. Schweyer

Session 4: Database implementation of KR systems

• Frames, objects and relations: three semantic levels for knowledge base systems
  M.C. Norrie, U. Reimer, P. Lippuner, M. Rys, H.-J. Schek
• Uniformly querying knowledge bases and data bases
  P. Bresciani