FW: [RuleML-all] Fwd: CFP Principles and Practice of Semantic Web Reasoning at ICLP: PPSWR 04

Apologies for cross-posting.


-----Original Message-----
From: ruleml-all-bounces@ruleml.org
[mailto:ruleml-all-bounces@ruleml.org] On Behalf Of
ruleml-all@ruleml.org
Sent: Tuesday, April 13, 2004 12:34 PM
To: ruleml-all@ruleml.org
Subject: [RuleML-all] Fwd: CFP Principles and Practice of Semantic Web
Reasoning at ICLP: PPSWR 04


>X-Sieve: CMU Sieve 2.2
>Date: Tue, 13 Apr 2004 16:44:13 +0200
>From: Hans-Juergen Ohlbach <ohlbach@pms.ifi.lmu.de>
>User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6)
Gecko/20040113
>X-Accept-Language: en-us, en
>To: Francois Fages <Francois.Fages@inria.fr>,
>    Benjamin Grosof <bgrosof@mit.edu>, Enrico Franconi 
> <franconi@inf.unibz.it>,
>    Georg Gottlob <gottlob@dbai.tuwien.ac.at>,
>    Carsten Lutz <clu@tcs.inf.tu-dresden.de>,
>    Nicola Henze <henze@learninglab.de>, Massimo Marchiori
<massimo@w3.org>,
>    Michael Schroeder <msch@soi.city.ac.uk>, Gerd Wagner 
> <G.R.Wagner@tm.tue.nl>,
>    gzyang@cse.Buffalo.EDU, bry@pms.ifi.lmu.de, ohlbach@lmu.de
>Subject: PPSWR 04
>X-Spam-Score: -4.432
>X-Spam-Flag: NO
>X-Scanned-By: MIMEDefang 2.28 (www . roaringpenguin . com / mimedefang)
>
>Dear PPSWR04 PC member,
>please notice the PPSWR 04 call for papers
>and distribute it as widely as possible.
>The URL is
>
>http://www.pms.informatik.uni-muenchen.de/PPSWR04
>
>    Thanks very much
>     H. J. Ohlbach
>
>
><http://www.pms.informatik.uni-muenchen.de/PPSWR04/main.html>
>
>--
>Prof. Dr. Hans Juergen Ohlbach
>Ludwig-Maximilians-Universitaet Muenchen,
>Institut fuer Informatik    Phone: ..49 89 2180 9300
>Oettingenstr. 67            Fax:   ..49 89 2180 9311
>D-80538 Muenchen, Germany
>mailto:ohlbach@pms.ifi.lmu.de
>
>
>
>a531d888.jpg         PPSWR 2004         a531d9fb.jpg
>
>Workshop on Principles and Practice of Semantic Web Reasoning
>
>at <http://www.irisa.fr/manifestations/2004/ICLP04/>The 20th
International 
>Conference on Logic Programming (ICLP)
>
>Supported by the <http://www.rewerse.net>REWERSE Network of Excellence
and 
>the <http://www.colognet.net>CoLogNet Network of Excellence
>
>St Malo, France, Sept. 6-10., 2004
>http://www.pms.informatik.uni-muenchen.de/PPSWR04
>
>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 <http://www.kbs.uni-hannover.de/~henze/ppswr03>first workshop in
this 
>series took place in 2003 in Mumbai.
>
>
>Topics of interest include:
>
>
>    * Rule markup languages
>    * Constraint reasoning on the Semantic Web
>    * Default reasoning on the Semantic Web
>    * Fuzzy reasoning on the Semantic Web
>    * Inconsistency-tolerant reasoning on the Semantic Web
>    * Reasoning and querying on the Web
>    * Reasoning methods for Adaptive Web systems and applications
>    * Reasoning methods for Web-based decision support
>    * Reasoning methods for policy specification and conformance
>
>
>Important dates:
>
>
>
>Submission deadline:  May 15, 2004
>Notification to authors:  June 12, 2004
>Camera-ready version:  June 26, 2004
>Workshop date:
>
>
>Workshop Coordination
>
>
>    *
<http://www.pms.informatik.uni-muenchen.de/mitarbeiter/ohlbach>Hans 
> Jürgen Ohlbach, (program chair) 
>
<mailto:ohlbach@informatik.uni-muenchen.de>ohlbach@informatik.uni-muench
en.de
>    * <http://www.wastl.net>Sebastian Schaffert, (proceedings chair) 
>
<mailto:schaffert@informatik.uni-muenchen.de>schaffert@informatik.uni-mu
enchen.de 
>
>
>
>Programm committee:
>
>    * <http://www.informatik.uni-muenchen.de/%7Ebry/>François Bry, 
> University of Munich, Germany
>    * <http://contraintes.inria.fr/~fages/>François Fages, INRIA 
> Rocquencourt, France
>    * <http://www.inf.unibz.it/~franconi/>Enrico Franconi, Free
University 
> of Bozen-Bolzano, Italy
>    * <http://www.dbai.tuwien.ac.at/staff/gottlob/>Georg Gottlob, 
> University of Vienna, Austria
>    * <http://ebusiness.mit.edu/bgrosof>Benjamin Grosof, University of 
> Vienna, Austria
>    * <http://lat.inf.tu-dresden.de/~clu/>Carsten Lutz, Dresden
University 
> of Technology, Germany
>    * <http://www.kbs.uni-hannover.de/%7Ehenze/>Nicola Henze,
University 
> of Hannover, Germany
>    * <http://www.w3.org/People/Massimo/>Massimo Marchiori, W3C and 
> University of Venice, Italy
>    *
<http://www.pms.informatik.uni-muenchen.de/mitarbeiter/ohlbach>Hans 
> Jürgen Ohlbach, University of Munich, Germany
>    * <http://www.wastl.net>Sebastian Schaffert, University of Munich, 
> Germany
>    * <http://www.soi.city.ac.uk/~msch/>Michael Schröder, Dresden 
> University of Technology, Germany
>    * <http://tmitwww.tm.tue.nl/staff/gwagner/>Gerd Wagner, Eindhoven 
> University of Technology, Netherlands
>    * <http://www.cee.hw.ac.uk/Databases/people/mhw.html>Howard
Williams, 
> Heriot-Watt University, Edinburgh, Scotland
>    * <http://www.cse.buffalo.edu/faculty/gzyang>Guizhen Yang,
University 
> at Buffalo, New York, USA
>
>
>Proceedings
>
>
>
><http://www.springer.de/comp/lncs/>a531da19.jpg
>
>The proceedings of PPSWR'04 will be published by Springer in the
Lecture 
>Notes in Computer Science (<http://www.springer.de/comp/lncs/>LNCS).
For 
>instructions on the LNCS format, see
>
> 
><http://www.springer.de/comp/lncs/authors.html>http://www.springer.de/c
omp/lncs/authors.html.
>
>
>Submission Guidelines:
>
>
>
>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/>https://lehre.pms.ifi.lmu.de/pps
wr04/
>
>Two submission categories are accepted for the PPSWR'04:
>    * Full papers:     10 - 15 pages
>    * Short papers:    3 - 5   pages
>
>----------
>
>Questions, comments, problems, help? Please do not hesitate to ask 
><mailto:ohlbach@lmu.de>Hans Jürgen Ohlbach.

________________________________________________________________________
________________________
Prof. Benjamin Grosof
Web Technologies for E-Commerce, Business Policies, E-Contracting,
Rules, 
XML, Agents, Semantic Web Services
MIT Sloan School of Management, Information Technology group
http://ebusiness.mit.edu/bgrosof or http://www.mit.edu/~bgrosof