WWW 2006 Edinburgh Supported by KnowledgeWeb and REWERSE

Reasoning on the Web

Workshop at WWW2006, Edinburgh, UK.

May 22nd, 2006

The advent of the Semantic Web marks a turning point in the development of the World Wide Web. As Web content is being annotated using ontologies, a huge amount of knowledge will become accessible for intelligent systems and agents on and off the Web. At the core of these developments are reasoning technologies for ontologies, inspired by research and technology stemming from automated deduction, artificial intelligence, and computational logic. While RDF and OWL have been established as standard ontology languages by the W3C, and W3C standardization efforts for a Semantic Web Rules Language are under way, both theory and practice of reasoning on the web are in rapid development. The quest for suitable ontology language paradigms, reasoning systems, and the realization of application scenarios is ongoing and being pursued with frenzy.

With respect to the realization of practical reasoning support on the web, research is currently faced with serous challenges which need to be mastered, including the following.

Schedule (preliminary)

09.00 - 10.00 Keynote by Ian Horrocks: Ontology Reasoning: Why and How
10:00 - 10:30 Stijn Heymans, Davy Van Nieuwenborgh, Dieter Fensel, Dirk Vermeir: Reasoning with the Description Logic DLRO−{<=} using Bound Guarded Programs
coffee break
11:00 - 11:30 Gerd Wagner, Adrian Giurca, Sergey Lukichev: A Usable Interchange Format for Rich Syntax Rules Integrating OCL, RuleML and SWRL
11:30 - 12:00 Richard Waldinger, Jeff Shrager: Deductive Discovery and Composition of Resources
12:00 - 12:30 Alun Preece, Stuart Chalmers, Craig McKenzie, Jeff Z. Pan, Peter Gray: Handling Soft Constraints in the Semantic Web Architecture
lunch break
14.00 - 15.00 Keynote by Ed Barkmeyer
15:00 - 15:30 Bijan Parsia, Christian Halaschek-Wiener, Evren Sirin: Towards Incremental Reasoning Through Updates in OWL DL
coffee break
16:00 - 17:00 Panel on "The Future of Reasoning on the Web". Panelists: Ed Barkmeyer, Ian Horrocks, Gerd Wagner
17:00 - 17:30 Christine Golbreich: Web rules for Health Care and Life Sciences: use cases and requirements
17:30 - 18:00 Frédéric Fürst, Francky Trichet: Reasoning on the Semantic Web needs to reason both on ontology-based assertions and on ontologies themselves

Keynote Speakers

Accepted Papers


Pascal Hitzler, AIFB, Universität Karlsruhe, Germany
Holger Wache, Vrije Universiteit Amsterdam, The Netherlands
Thomas Eiter, Technische Universität Wien, Austria

Programme Committee

Jose Alferes, UN Lisboa, Portugal
Jürgen Angele, ontoprise GmbH, Germany
Anupriya Ankolekar, AIFB Karlsruhe, Germany
Ed Barkmeyer, NIST, USA
Sean Bechhofer, Manchester, UK
Alex Borgida, Rutgers, USA
Jos de Bruijn, DERI Innsbruck, Austria
Francois Bry, LMU Munich, Germany
Francois Fages, INRIA Paris, France
Benjamin Grosof, MIT, USA
Pat Hayes, IHMC Pensacola, USA
Anthony Hunter, London, UK
Giovambattista Ianni, Calabria, Italy
Markus Krötzsch, AIFB Karlsruhe, Germany
Thomas Lukasiewicz, Rome, Italy
Carsten Lutz, TU Dresden, Germany
Deborah McGuinness, Stanford, USA
Ralf Möller, Hamburg, Germany
Boris Motik, FZI Karlsruhe, Germany
Daniel Olmedilla, Hannover, Germany
Jeff Pan, Aberdeen, UK
Bijan Parsia, Mindlab Maryland, USA
Peter Patel-Schneider, Bell Laboratories, USA
Axel Polleres, Innsbruck, Austria
Riccardo Rosati, Rome, Italy
Sebastian Schaffert, Salzburg Research GmbH, Austria
Stefan Schloebach, Amsterdam, The Netherlands
Michael Sintek, DFKI Kaiserslautern, Germany
Giorgos Stamou, Athens, Greece
Umberto Straccia, CNR, Italy
Heiner Stuckenschmidt, Mannheim, Germany
Katia Sycara, CMU Pittsburgh, USA
Hans Tompits, Vienna, Austria
Daniele Turi, Manchester, UK

Contact the organizers at RoW06@aifb.uni-karlsruhe.de for all information on the workshop.