Preliminary Report on Dagstuhl Seminar on Rule Markup Techniques

From: Harold Boley ([email protected])
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