Difference between revisions of "SoC"

Revision as of 05:11, 29 May 2023

CEUR-WS

<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">&copy; 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&uuml;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&uuml;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&uuml;sterh&ouml;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>
@@ Line 1: / Line 1: @@
+= Content =
+__TOC__
 = Presentation =
 [[:File:Semantification_of_CEUR-WS.pdf]]
 <pdf>Semantification_of_CEUR-WS.pdf</pdf>
 = Links =
+== CEUR-WS ==
 * https://ceur-ws.org/
 * https://ceur-ws.org/Vol-1/
Difference between revisions of "SoC"

Revision as of 05:11, 29 May 2023

Contents

CEUR-WS

Navigation menu

Search
