Workshop "Model Checking and Semantic Web Rule Languages"
27-28 October 2006

Graduate School "Mathematical Logic and Applications" and Institute of Computer Science University of Freiburg

sponsored by:

Program

Friday, October 27th: Model Checking

• 14.15 - 15.45: Georg Gottlob (TU Wien): Data Exchange


• 15.45 - 16.00: Coffee Break


• 16:00 - 17:30:
  • Jochen Eisinger (University of Freiburg): Don't Care Words with Application to the Automata-based Approach for Real Addition [Slides]
  • Stefan Wölfl (University of Freiburg): Spatial Planning in ATL
  • Sebastian Kupferschmid (University of Freiburg): Adapting an AI Planning Heuristic for Direct Model Checking [Slides]

Saturday, October 28th: Rule-languages for the Semantic Web

• 9:30 - 10:30: Michael Kifer (SUNY at Stony Brook): Towards a Practical Rule Language [Slides]


• 10.30 - 10.45: Coffee Break


• 10:45 - 11:45:
  • Jürgen Angele (Ontoprise GmbH Karlsruhe): F-logic @ Work [Slides]
  • Walter Waterfeld (Software AG Darmstadt): Experiences with F-Logic in a Semantic Information Integration Product [Slides]
• 11.45 - 13.00: Lunch Break


• 13:00 - 14:00:
  • Thomas Hornung (University of Freiburg): Learning Rules to Pre-process Web Data for Automatic Integration [Slides]
  • Livia Predoiu (Universität Mannheim): G-hybrid Knowledge Bases [Slides]
• 14.00 - 14.15: Coffee Break


• 14:15 - 15:15:
  • Boris Motik (University of Manchester): Integrating DLs with Logic Programming [Slides]
  • Jos de Bruijn (DERI Innsbruck): Expressive Languages for the Semantic Web [Slides]
• 15.15 - 15.30: Coffee Break


• 15:30 - 16:30:
  • Martin Weindel (Ontoprise GmbH Karlsruhe): F-Logic Forum: Results and Open Issues left [Slides]
  • Discussion: A Logic for the Semantic Web: Do we have what we need?

Location

The workshop takes place at Fakultät für Angewandte Wissenschaften, Universitätsgelände am Flugplatz, Georges-Köhler-Allee, Geb. 101, 79110 Freiburg i. Br. in room 02-016/18 (Friday) and HS 00-036 (Saturday).

Organisation and Registration

There are no fees required for attending the workshop. However, in order to ease our organisation please contact Thomas Hornung via e-mail before October 20th, if you plan to attend.

For any further questions feel free to contact Georg Lausen.

Recommended transportation to Workshop location:

Friday, October 27th

Train departing 13.36 from Freiburg central station (Hbf), track 5 and arriving 13:39 at Freiburg Messe/Universtität
Train departing 14:08 from Freiburg central station (Hbf), track 5 and arriving 14:11 at Freiburg Messe/Universtität

Saturday, October 28th

Train departing 8.55 from Freiburg central station (Hbf), track 5 and arriving 8:57 at Freiburg Messe/Universtität
Train departing 9:24 from Freiburg central station (Hbf), track 5 and arriving 9:27 at Freiburg Messe/Universtität

Have a look at this page for other alternatives.