of Semantic Web Reasoning
at The 20th International Conference on Logic Programming (ICLP)
Supported by the REWERSE Network of Excellence and the CoLogNet Network of Excellence
St Malo, France, Sept. 8-9, 2004
The Semantic Web is a major endeavor 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 with context-awareness and decision support.
The advanced capabilities striven for in most Semantic Web application scenarii primarily call for reasoning. Reasoning capabilities are offered by Semantic Web languages currently developped 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.
Like the current Web is inherently heterogeneous in data formats and data semantics, the Semantic Web will be inherently heterogeneous in its reasoning forms. Indeed, any single form of reasoning turns out irrealistic in the Semantic Web. E.g. 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 (for one would not specify in a railways timetable non-existing trains); 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 (for views i.e. virtual data can be derived from actual data by operations such as join and projections).
The workshop on "Principle 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.
|Submission deadline:||May 15, 2004|
|Notification to authors:||June 12, 2004|
|Camera-ready version:||June 26, 2004|
|Workshop date:||8th and 9th of September|
The proceedings of PPSWR'04 will be published by Springer in the Lecture Notes in Computer Science (LNCS). For instructions on the LNCS format, see
Submissions must be formatted according to LNCS rules, and submitted electronically as PDF or Postscript at the submission system at https://lehre.pms.ifi.lmu.de/ppswr04/
Two submission categories are accepted for the PPSWR'04: