From: Harold Boley (boley@informatik.uni-kl.de)
Date: 02/19/02
Hi all, the focus here is on aspects potentially relevant to the Joint Committee. A more complete report will be accessible from a link to the left of the 'Topics' link at http://www.dagstuhl.de/DATA/Seminars/02/#02061 in future. The final version of the program already links to most presentation slides: http://www.dfki.uni-kl.de/ruleml/rmt/program/ Here is a run through some of the highlights of some of the talks: Eric Prud'hommeaux, W3C: The ACLs system does access control and administration for the W3C website and demonstrates key Semantic Web components (slide 19): Logic, Proof, Trust (http://www.w3.org/2001/Talks/1130-dagstuhl-webrules/) Dieter Fensel, Vrije Universiteit Amsterdam: The Web Service Modeling Framework (WSMF) provides a maximally de-coupled, scalably mediated model for developing/describing Web services & composition (http://www.cs.vu.nl/~dieter/wsmf/) Ian Horrocks, University of Manchester: Introduction to Semantic Web, DAML+OIL, Description Logics, and (starting at p. 32) possible combinations with Axioms and Rules, incl. "discount" example (http://www.cs.man.ac.uk/~horrocks/Slides/dagstuhlP070202.pdf) Stefan Decker, Stanford University: TRIPLE: A Query, Inference, and Transformation Language for the Semantic Web (http://triple.semanticweb.org/) Wolfgang May, Universität Freiburg: >From F-Logic (Frame-based data model) to XPathLog (XPath + variable bindings) (http://www.informatik.uni-freiburg.de/~may/Publics/02/Dagstuhl-Feb-2002.pdf) François Bry, Universität München: Grouping constructs (such as and/or/xor, ordered/unordered, n to m, ...) can express more semantics for semistructured data like XML, incl. schema/query (http://www.pms.informatik.uni-muenchen.de/publikationen/PMS-FB/PMS-FB-2001-7/slides.pdf) Grigoris Antoniou, Universität Bremen: Efficient defeasible reasoning needs only explicit negation and simulates naf (http://www.informatik.uni-bremen.de/~ga/research/ruleml.html) Mike Dean, BBN Technologies: Visual DAML+OIL demonstration & Report on experiences using rules with DAML+OIL (http://www.daml.org/2002/02/dagstuhl-demo/Overview.html, http://www.daml.org/2002/02/dagstuhl-rules/Overview.html) Follow-up event: We plan to hold a workshop on "Rule Markup Languages for Business Rules in the Semantic Web" emphasizing both reaction rules (contact: Gerd Wagner) and defeasible rules (contact: Michael Schroeder), collocated with the International Semantic Web Conference (ISWC2002), June 10-12, 2002, as part of the OntoWeb SIG meetings, June 12-14, 2002, Sardinia, Italy (http://iswc.semanticweb.org/). Also, there will be an AI-2002 Workshop on "Business Agents and the Semantic Web" (http://www.cs.unb.ca/ai2002/BASeWEB.html) Kind regards, Harold Boley
This archive was generated by hypermail 2.1.4 : 04/02/02 EST