- Previous message: Mike Dean: "Joint Committee telecon tomorrow 13 April"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
- Mail actions: [ respond to this message ] [ mail a new topic ]
fyi; I'm on the PC for it. -- Benjamin >>Date: Tue, 13 Apr 2004 10:05:06 -0500 (CDT) >>From: "Hans Juergen Ohlbach" <ohlbach@lmu.de> >>Subject: (DBWORLD) Workshop on Principles and Practice of Semantic Web >>Reasoning >>X-DBWorld-Message-Type: conference/announcement >>X-DBWorld-Name: PPSWR04 >>X-DBWorld-Start-Date: 6-Sep-2004 >>X-DBWorld-Location: Saint-Malo; France; Europe >>X-DBWorld-Deadline: 15-May-2004 >>X-DBWorld-Call-For: participation, papers, >>X-DBWorld-Web-Page: http://www.pms.informatik.uni-muenchen.de/PPSWR04/ >>Sender: owner-dbworld@cs.wisc.edu >>To: ;@undisclosed-recipients >> >> >>a5df64fd.jpg PPSWR 2004 a5df6507.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 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-muenchen.de >> * <http://www.wastl.net>Sebastian Schaffert, (proceedings chair) >> <mailto:schaffert@informatik.uni-muenchen.de>schaffert@informatik.uni-muenchen.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 >> >> >> >>Submission Guidelines: >> >> >> >> >> >>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/comp/lncs/authors.html. >> >> >>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/ppswr04/ >>Two submission categories are accepted for the PPSWR'04: >> * Full papers: 10 - 15 pages >> * Short papers: 3 - 5 pages >>-------------------------------------------------------------------------- >>To subscribe or unsubscribe yourself from dbworld, send a msg to >>majordomo@cs.wisc.edu with one of these lines: subscribe dbworld OR >>unsubscribe dbworld To find out more options send a msg with the line: >>help To post messages, go to URL www.cs.wisc.edu/dbworld >>-------------------------------------------------------------------------- > > >________________________________________________________________ >Stuart Madnick (smadnick@mit.edu)L; Tel: +1 617/253-6671; FAX: +1 617/253-3321 >http://web.mit.edu/smadnick/www/home.html > John Norris Maguire Professor of Information Technology / Sloan School > of Management > & Professor of Engineering Systems / School of Engineering >Massachusetts Institute of Technology >30 Wadsworth Street; Room E53-321; Cambridge, MA 02142; USA > >_______________________________________________ >Context mailing list >Context@mit.edu >http://mailman.mit.edu/mailman/listinfo/context ________________________________________________________________________________________________ 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
- Next message: Mike Dean: "www.daml.org offline"
- Previous message: Mike Dean: "Joint Committee telecon tomorrow 13 April"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
- Mail actions: [ respond to this message ] [ mail a new topic ]
This archive was generated by hypermail 2.1.4 : 04/13/04 EST