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

Edited by

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

* RWTH Aachen, Informatik, Ahornstr. 55, 52056 Aachen, Germany
+ DFKI GmbH, Stuhlsatzenhausweg 3, 66123 Saarbrücken, Germany

## 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

submitted by M. Jeusfeld, 6-Apr-1995