[CEUR Workshop Proceedings] Vol-21

© 1999 for the individual papers by the papers' authors. Copying permitted for private and scientific purposes. Re-publication of material on this page requires permission by the copyright owners.

Proceedings of the


6th International Workshop on
Knowledge Representation meets Databases

Linköping Sweden
July 29-30, 1999

Edited by:
Enrico Franconi, University of Manchester, UK (franconi@cs.man.ac.uk)
Michael Kifer, University at Stony Brook, USA (kifer@cs.sunysb.edu)

A hard copy of these proceedings is available as Linköpings universitet Technical Report on demand.
KRDB'99 is an affiliate event with the International Joint Conference on Artificial Intelligence (IJCAI'99, Stockholm, 3-6 August 1999), and the International Workshop on Description Logics (DL'99, Linköping, July 30 - August 1 1999).
KRDB'99 is sponsored by the European ESPRIT Compulog Network of Excellence in Computational Logic, and by the European ESPRIT Foundations on Data Warehouse Quality (DWQ) Long Term Research project.

Table of Contents


Reasoning with enhanced Temporal Entity-Relationship Models
Alessandro Artale, Enrico Franconi

Answering Queries Using Views in Description Logics
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini

Database validity and completeness: another approach and its formalisation in modal logic
Robert Demolombe

Incompletely and Imprecisely Speaking: Using Dynamic Ontologies for Representing and Retrieving Information
Chung Hee Hwang

Incomplete Answers for Queries over Semistructured Data
Yaron Kanza, Werner Nutt, Yehoshua Sagiv

Efficient Algorithms for Approximating Answers to Queries Against Incomplete Relational Databases
Hans-Joachim Klein

View Updates in Disjunctive Deductive Databases Based on SLD-resolution
Wenjin Lu

Case-Based Query Answering: A Model Using Cognitive Similarity
Agenor Martins, Edilson Ferneda

Incremental Update of Decision Trees for Temporal Objects
Takao Miura, Isamu Shioya

Theory-driven Logical Scaling: conceptual information systems meet description logics
Susanne Prediger, Gerd Stumme

Backward Reasoning in Aboxes for Query Answering
Marie-Christine Rousset

submitted to CEUR-WS by Enrico Franconi, July 6, 1999