of Semantic Web Reasoning
Dagstuhl seminar supported by the REWERSE Network of Excellence
Dagstuhl, Germany, Sept. 11-16, 2005
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.
|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|
The proceedings of PPSWR'05 will be published by Springer in Lecture Notes in Computer Science (LNCS). For instructions on the LNCS format, see