<HTML>
<! Meta tags for document classification>
<META name="descripton" content="CEUR Workshop Proceedings KRDB'94">
<META name="keywords" content="computer.science
database
artificial.intelligence
knowledge.representation">
<HEAD>
<LINK rel="stylesheet" type="text/css" href="../ceur-ws.css">
<TITLE>CEUR-WS.org/Vol-1</TITLE>
<BASE href="http://CEUR-WS.org/Vol-1/index.html">
</HEAD>
<BODY>
<! ------------------------------------------------------------------------------ >
<table border=0 cellpadding=0 cellspacing=5 width=95%>
<tr>
<td align=left valign=center>
<a href="http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/"><img SRC="http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/CEUR-WS-logo.png" ALT="[CEUR Workshop Proceedings]" BORDER=0></a>
</td>
<td align=right valign=center>
<font face="ARIAL,HELVETICA,VERDANA">
<b><font size=5 color="#0F0FF0">Vol-1</font></b>
<p align="justify"><font size =-2 color="#777777">© 1994 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.</font></p>
</font>
</td>
</tr>
</table>
<hr>
<! ------------------------------------------------------------------------------ >
<br>
<H1>
Reasoning about Structured Objects:<BR>
Knowledge Representation Meets Databases (KRDB '94)
</H1>
<H3>
Proceedings of 1st Workshop KRDB'94<BR>
Saarbrücken, Germany, September 20-22, 1994.
</H3>
<B> Edited by </B>
<P>
<H3>
Franz Baader *<BR>
Martin Buchheit +<BR>
Manfred A. Jeusfeld *<BR>
Werner Nutt +
</H3>
<B>
* RWTH Aachen, Informatik, Ahornstr. 55, 52056 Aachen, Germany<BR>
+ DFKI GmbH, Stuhlsatzenhausweg 3, 66123 Saarbrücken, Germany
</B>
<HR>
<H2> Table of Contents </H2>
<H3> Introduction </H3>
<UL>
<LI> <A HREF="krdb94-overview.html">Overview</A>
<BR>F. Baader, M. Buchheit, M.A. Jeusfeld, W. Nutt
</UL>
<H3> Invited Talks </H3>
<UL>
<LI> <A HREF="lenzerini.pdf">Description logics for schema level reasoning
in databases</A>
<BR>M. Lenzerini
<LI> <A HREF="scholl.pdf">Database views on KR classification</A>
<BR>M. Scholl
</UL>
<H3> Session 1: Schema design for data and knowledge bases </H3>
<UL>
<LI> <A HREF="vossen-long.pdf">Formalization of OODB models</A>
<BR>G. Vossen
<LI> <A HREF="buchheit-et-al-long.pdf">Terminological systems revisited:
terminology = schema + views</A>
<BR>M. Buchheit, F.M. Donini, W. Nutt, A. Schaerf
<LI> <A HREF="buchholz-et-al-long.pdf">Using natural language for database
design</A>
<BR>E. Buchholz, A. Düsterhöft
<LI> <A HREF="benn-long.pdf">What's in a federation? Extending data
dictionaries with knowledge representation techniques</A>
<BR>W. Benn
</UL>
<H3> Session 2: Knowledge representation languages as query languages </H3>
<UL>
<LI> <A HREF="hustadt-long.pdf">Do we need the closed world assumption
in knowledge representation?</A>
<BR>U. Hustadt
<LI> <A HREF="schild-long.pdf">Tractable reasoning in a universal
description logic</A>
<BR>K. Schild
<LI> <A HREF="jeusfeld-long.pdf">Generating queries from complex type
definitions</A>
<BR>M.A. Jeusfeld
<LI> <A HREF="beneventano-et-al-long.pdf">Terminological logics for
schema design and query processing in OODBs</A>
<BR>D. Beneventano, S. Bergamaschi, S. Lodi, C. Sartori
<LI> <A HREF="schmiedel-long.pdf">Semantic indexing based on
description logics</A>
<BR>A. Schmiedel
</UL>
<H3> Session 3: Techniques for modeling business data </H3>
<UL>
<LI> <A HREF="huber-long.pdf">The problems of data modeling in
software practice</A>
<BR>H. Huber
<LI> <A HREF="guetari-et-al-long.pdf">OLSEN: an object-oriented formalism
for information and decision system design</A>
<BR>R. Guetari, F. Piard, B. Schweyer
</UL>
<H3> Session 4: Database implementation of KR systems </H3>
<UL>
<LI> <A HREF="norrie-et-al-long.pdf">Frames, objects and relations:
three semantic levels for knowledge base systems</A>
<BR>M.C. Norrie, U. Reimer, P. Lippuner, M. Rys, H.-J. Schek
<LI> <A HREF="bresciani-long.pdf">Uniformly querying knowledge bases
and data bases</A>
<BR>P. Bresciani
</UL>
<HR>
submitted by M. Jeusfeld, 6-Apr-1995<br>
included pdf versions of papers supplementing the postscript originals, M. Jeusfeld, 13-Dec-2007
</BODY>
</HTML>