 |
supported by |  |
Fourth Workshop
on Principles
and Practice
of Semantic
Web
Reasoning
http://rewerse.net/PPSWR06/
Colocated Workshop to ESWC 2006
supported by the REWERSE
Network of Excellence
Budva, Montenegro,
June 10-11, 2006
|
supported by | |
Fourth Workshop
on Principles
and Practice
of Semantic
Web
Reasoning
http://rewerse.net/PPSWR06/
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].
| 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.