File:Semantification_of_CEUR-WS.pdf load PDF
<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>