| 9 - 9.15 |
Welcome message,
Prof. Bry |
| 9.15 -
10.45 |
Foundations of Semantic Web Reasoning: Invited
Papers |
|
9.15 - 9.45
|
Uwe Aßmann:
Composing Frameworks and Components for Families of Semantic Web
Applications |
|
9.45 - 10.15
|
José J. Alferes,
Carlos V. Damasio, Luis M. Pereira: Semantic Web Logic Programming
Tools |
|
10.15 - 10.45
|
Gerd Wagner: Web
Rules Need Two Kinds of Negation |
| 10.45 - 11.15 |
Coffee break |
| 11.15 - 12.45 |
Reasoning in Practice |
|
11.15 - 11.45
|
Peter Dolog, Nicola
Henze, Wolfgang Nejdl, Michael Sintek: Towards the Adaptive
Semantic Web |
|
11.45 -12.15
|
Francois Bry,
Bernhard Lorenz, Hans Jürgen Ohlbach, Stephanie Spranger: On
Reasoning on Time and Location on the Web |
|
12.15 - 12.45
|
Matteo Baldoni,
Cristina Baroglio, Laura Giordano, Alberto Martelli, Viviana Patti: Reasoning
about Communicating Agents in the Semantic Web |
| 12.45 - 14.00 |
Lunch |
| 14.00 - 16.00 |
Query and Rule Languages |
|
14.00 - 14.30
|
Sascha Berger,
Francois Bry, Sebastian Schaffert: A Visual Language for Web
Querying and Reasoning |
|
14.30 - 15.00
|
Michael Kraus,
Francois Bry, Kazuhiro Kitagawa: XML Document Adaptation Queries
(XDAQ):An Approach to Adaptation Reasoning Using Web Query Languages |
|
15.00 - 15.30
|
Artur Wilk,
Wlodzimierz Drabent: On Types for XML Query Language Xcerpt |
|
15.30 - 16.00
|
Stijn Heymans, Dirk
Vermeir: Integrating Description Logics and Answer Set Programming |
| 16.00 - 16.30 |
Coffee break |
| 16.30 - 18.00 |
Semantics and Knowledge Representation |
|
16.30 - 17.00
|
Jürgen Stuber, Mark
van den Brand: Extracting Mathematical Semantics from LaTeX
Documents |
|
17.00 - 17.30
|
Norbert E. Fuchs,
Uta Schwertel: Reasoning in Attempto Controlled English |
|
17.30 - 18.00
|
Klaus U. Schulz,
Felix Weigel: Systematics and Architecture for a Resource
Representing Knowledge about Named Entities |
| 20.00 |
Social Event |