PPSWR2006                     supported by         REWERSE

Fourth Workshop on Principles and Practice of Semantic Web Reasoning

Colocated Workshop to ESWC 2006 supported by the REWERSE Network of Excellence

Budva, Montenegro, June 10-11, 2006

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. Specialized Reasoning capabilities are already offered by Semantic Web languages currently being developed such as the OWL family together with Triple, RDQL, SPARQL, or ontology-based application-specific languages and tools like BPEL. 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. Moreover, there is the general reasoning underlying the Semantic Web technologies, such as Description Logics, Hybrid Logics, and others like F-Logic and LP semantics. The workshop is devoted to such perspectives.

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 (since 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 took place in Dagstuhl, Germany, within a one week Dagstuhl Seminar. All three PPSWR editions have been published by Springer in the Lecture Notes in Computer Science (LNCS) series.

The fourth workshop has been colocated with the European Semantic Web Conference (ESWC) as a major Semantic Web event. Pre-proceedings have been available at the time of the the conference. Additional post-proceedings have been published by Springer LNCS as volume 4187 [Springer Online].

Topics of interest include:

Important dates:

Abstract Submission deadline: March 22, 2006
Paper Submission deadline: March 29, 2006
Notification to authors: April 20, 2006
Camera-ready version: May 1st, 2006
Workshop date: June 10-11, 2006
Camera-ready version (final post-proceedings):   late June/early July (to appear then in early September)

Note that at least one author of each accepted submission must attend the workshop and that all workshop participants must register for the ESWC 2006 conference.

Workshop Coordination:

Programme Committee

Program and Proceedings

The program and the slides of the talks can be found here. Post-proceedings have been published by Springer LNCS as volume 4187 [Springer Online].