Difference between revisions of "SoC"
Jump to navigation
Jump to search
(→Links) |
|||
| Line 5: | Line 5: | ||
* https://ceur-ws.org/ | * https://ceur-ws.org/ | ||
* https://ceur-ws.org/Vol-1/ | * https://ceur-ws.org/Vol-1/ | ||
| + | <source lang='html'> | ||
| + | <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> | ||
| + | </source> | ||
<headertabs/> | <headertabs/> | ||