REWERSE          PPSWR 2005        

Third Workshop on Principles and Practice of Semantic Web Reasoning

Dagstuhl seminar supported by the REWERSE Network of Excellence

Dagstuhl, Germany, Sept. 11-16, 2005

New: Proceedings of PPSWR'05.

New: Proceedings of the Dagstuhl seminar. and Complete program of the Dagstuhl seminar.

The Semantic Web is a major endeavour aiming at enriching the existing Web with meta-data and processing methods so as to provide web-based systems with advanced (so-called "intelligent") capabilities, in particular context-awareness and decision support.

The advanced capabilities striven for in most Semantic Web application scenarios primarily call for reasoning. Reasoning capabilities are offered by Semantic Web languages currently being developed such as BPEL4WS, BPML, ConsVISor, DAML-S,  JTP, Triple, and others. These languages, however, are developed mostly from functionality-centered (e.g. ontology reasoning or access validation) or application centered (e.g. Web service retrieval and composition) perspectives. A perspective centered on the reasoning techniques (e.g. forward or backward chaining, tableau-like methods, constraint reasoning, etc.) complementing the above-mentioned activities appears desirable for Semantic Web systems and applications. The workshop is devoted to such a perspective.

Just as the current Web is inherently heterogeneous in data formats and data semantics, the Semantic Web will be inherently heterogeneous in its reasoning forms. Indeed, no single form of reasoning is adequate for all applications in the Semantic Web. For example, ontology reasoning in general relies on monotonic negation (for the meta-data often can be fully specified), while databases, Web databases, and Web-based information systems call for non-monotonic reasoning (e.g. one would not specify non-existing trains in a railway timetable); constraint reasoning is needed in dealing with time (for time intervals are to be dealt with), while (forward and/or backward) chaining is the reasoning of choice in coping with database-like views (where virtual data can be derived from actual data by operations such as join and projections).

The workshop on "Principles and Practice of Semantic Web Reasoning'' will be a forum for discussing various forms of reasoning that are or can be used on the Semantic Web. The workshop will address both, reasoning methods for the Semantic Web and Semantic Web applications relying upon various forms of reasoning.

The first workshop in this series took place in 2003 in Mumbai, India, co-located with ASIAN, ICLP and FSTTCS. The second workshop took place in 2004 in St.Malo, France, in conjunction with ICLP'04. The third workshop PPSWR'05 will consist of a regular Dagstuhl Seminar including the conference of peer reviewed papers. Workshop attendants are invited and expected to actively participate in the whole week where REWERSE related results will be demonstrated and discussed.

Topics of interest include:

Important dates:

Extended submission deadline:  May 31st, 2005 (title and abstract: May 27th)
Notification to authors:  June 17th, 2005
Camera-ready version:  July 1st, 2005
Workshop date: September 11-16th, 2005

Registration and Accommodation

  The authors of accepted papers will receive an invitation. Those who already received an invitation are automatically registered. Other registrations will not be possible.

Workshop Coordination

Programme Committee:



The proceedings of PPSWR'05 will be published by Springer in Lecture Notes in Computer Science (LNCS). For instructions on the LNCS format, see


Questions, comments, problems, help? Please do not hesitate to ask François Fages.