Program of Dagstuhl-Seminar 02061

Title: Rule Markup Techniques Date: 03 FEB 2002 - 08 FEB 2002 Organizers: H. Boley (DFKI Kaiserslautern, D),
             B. Grosof (MIT Cambridge, USA),
             S. Tabet (Nisus Inc., USA),
             G. Wagner (Eindhoven Univ. of Technology, NL)


Dagstuhl and this Seminar in the News:
http://idw-online.de/public/zeige_pm?pmid=43985
http://xml.coverpages.org/ni2002-01-25-a.html
http://www.w3.org/2001/sw/EO/talks
http://www.daml.org/listarchive/joint-committee/1062.html

Draft of Official Report on this Seminar:
http://www.ruleml.org/rmt/Dagstuhl_report.doc



Sunday

12:00 - 14:00 Lunch with Early Arrivals a 5-minute walk from Dagstuhl
                at Hotel-Restaurant Steil (http://www.hotelsteil.de/),
                Wadern-Lockweiler, Schlo▀-Stra▀e, Tel: +49-6871-90 17 0

15:00 - 18:00   Dagstuhl Registration, Get-Together, Coffee/Tea & Cake

Snacks



Monday

Session: Introductions; Chair: Harold Boley 09:00 - 10:15 Introduction of participants; Introduction by organizers Coffee/Tea 10:30 - 11:30 Eric Prud'hommeaux
                  Pitfalls and Practicalities of Reasoning on the Web
                  http://www.w3.org/2001/Talks/1130-dagstuhl-webrules/
11:30 - 12:15   Nenad Stojanovic
                  On the Role of Rule Markup Techniques in
                  Ontology-based Knowledge Management
                  http://www.aifb.uni-karlsruhe.de/WBS/nst/docs/RuleInKMv1.ppt

Lunch

Session: Fuzziness and Ontologies; Chair: Said Tabet
13:45 - 14:30   Michael Schroeder
                  Arguments and Misunderstandings:
                  A Fuzzy Approach to Conflict Resolution in Open Systems
                  http://www.soi.city.ac.uk/~msch/talks/fuzarg
14:30 - 15:15   Mustafa Jarrar
                  Decomposing Ontology into an Ontology Base and
                  its Interpretation Layer
                  http://www.starlab.vub.ac.be/staff/mustafa/publications/Decomposing_Ontology-Dagstuhl02061.ppt
Coffee/Tea
Session:  Ontology Principles; Chair: Gerd Wagner
15:45 - 16:45   Heinrich Herre
                  The Project GOL: A General Ontological Language
16:45 - 17:00   Discussion on Ontology Principles
17:00 - 18:00   Leon Sterling
                  Ontology Reconciliation

Dinner

19:30 - 20:15   Dieter Fensel
                  Ontoweb News: Workshops, projects, etc.
                  http://www.cs.vu.nl/~dieter/ftp/slides/OntoWeb.Dagstuhl.ppt

20:30 - 21:30   Steve Ross-Talbot
                  RuleML: What can Reactive Rules do for me?



Tuesday

Session: Business, Rules, and Negation; Chair: Bernhard Thalheim 09:00 - 10:00 Dieter Fensel
                  Scalable E-Commerce must be based on
                  Semantic Web Technology
                  http://www.cs.vu.nl/~dieter/wsmf/wsmf.long.pdf
Coffee/Tea
10:15 - 11:00   Borys Omelayenko
                  Mapping technology for business integration
                  http://www.cs.vu.nl/~borys/presentations/dagstuhl0202web.pdf
11:00 - 11:30   Discussion on Business Rules and the Semantic Web
11:30 - 12:15   Carlos Viegas Damßsio
                  W^4: Well-founded Semantics for the World Wide Web
                  http://centria.di.fct.unl.pt/~cd/projectos/w4/overviewW4.htm

Lunch

Session: Rule Engines and OOP; Chair: Dietmar Seipel
13:45 - 14:30   Bruce E. Spencer
                  The Design of j-DREW:
                  a Deductive Reasoning Engine for the Semantic Web
                  http://www.cs.unb.ca/~bspencer/dagstuhl-jdrew.pdf
14:30 - 15:15   Jens Dietrich
                  RuleML and OO - Concepts and Implementation Issues
                  http://www.mandarax.org/docs/dagstuhl.pdf
Coffee/Tea
15:45 - 16:30   Demo j-DREW
16:30 - 17:15   Demo Mandarax
17:15 - 18:00   Demo URML

Nisus Inc Conference Banquet

20:00 - 21:00   David Pearce
                  Report on the EU/NSF Workshop

21:00 - 21:15   Jan Maluszynski
                  Current and planned rule projects

21:15 - 21:30   Bruce E. Spencer
                  ISTEC Workshops



Wednesday

Session: XML, Databases, and Patterns; Chair: Franšois Bry 09:00 - 10:00 Dietmar Seipel
                  Deductive Databases and XML
                  http://www1.informatik.uni-wuerzburg.de/databases/talks/seipel/dagstuhl_2002_02061.pdf
Coffee/Tea
10:15 - 11:00   Bernhard Thalheim
                  ER Modelling and XML Modelling
                  http://www.informatik.tu-cottbus.de/~thalheim/Beta2rules.pdf.gz
11:00 - 11:30   Discussion on RuleML: Should RuleML rules directly access XML data or not?
11:30 - 12:15   Steffen Staab
                  Semantic Patterns
                  http://www.aifb.uni-karlsruhe.de/WBS/sst/presentations/SemanticPatterns.pdf

Lunch

Excursion to the city of Trier: Group photo of those who made it to the Roman "Porta Nigra"

Dinner
  
19:30 - 20:15 Working session 1:
Candidate extensions To the Rule Markup Language
  
20:15 - 21:00 Working session 2:
Getting serious with Trigger/Active/Reaction/Situated/ECA Rule Markup



Thursday

Session: Description Logics, Rules, and Information Integration; Chair: Mike Dean 09:00 - 10:00 Ian Horrocks
                  Rules and Axioms
                  http://www.cs.man.ac.uk/~horrocks/Slides/dagstuhlP070202.pdf
Coffee/Tea
10:15 - 11:15   Stefan Decker
                  TRIPLE: A Query, Inference, and Transformation Language for
                  the Semantic Web
                  http://triple.semanticweb.org/
11:15 - 12:15   Wolfgang May
                  XML Data Integration using XPathLog and LoPiX
                  http://www.informatik.uni-freiburg.de/~may/Publics/02/Dagstuhl-Feb-2002.pdf

Lunch

Session: Mathematics, XML, and Semistructured Data; Chair: Ian Horrocks
13:45 - 14:30   Paul Libbrecht
                  Semantic Representation of Math Content
                  http://www.activemath.org/~paul/copy_left/DagStuhlRuleMLworkshop/
14:30 - 15:15   Franšois Bry
                  Grouping Constructs for Semistructured Data
                  http://www.pms.informatik.uni-muenchen.de/publikationen/PMS-FB/PMS-FB-2001-7/slides.pdf
Coffee/Tea
Session: DAML, Rules, and XML; Chair: Jan Maluszynski
15:45 - 16:30   Dan-Alexandru Olteanu
                  Rules for Efficient XPath Evaluation
                  http://www.pms.informatik.uni-muenchen.de/publikationen/PMS-FB/PMS-FB-2001-16/slides_dagstuhl_2002.pdf
16:30 - 17:15   Demo DAML
                  http://www.daml.org/2002/02/dagstuhl-demo/Overview.html
17:15 - 18:00   Sebastian Schaffert
                  A Rule-based Language for Querying and Transforming XML Data
                  http://www.pms.informatik.uni-muenchen.de/publikationen/PMS-FB/PMS-FB-2002-2/Slides-Dagstuhl.pdf

Dinner

19:30 - 20:15   Grigoris Antoniou
                  Efficient Defeasible Reasoning
                  http://www.informatik.uni-bremen.de/~ga/research/ruleml.html

20:15 - 20:30   Demo XL

20:30 -         Open discussion on possible projects



Friday

Session: Rules, Agents, and the Future; Chair: Leon Sterling 09:00 - 10:00 Mike Dean
                  Experiences Using Rules with DAML and OIL
                  http://www.daml.org/2002/02/dagstuhl-rules/Overview.html 
Coffee/Tea
10:15 - 11:00   Grit Denker
                  Security Markup and Rules
                  http://www.csl.sri.com/users/denker/slides/DagstuhlRuleMLFeb2002.pdf
11:00 - 12:00   Michael M. Richter
                  Logic, Approximation and Similarity
                  http://wwwagr.informatik.uni-kl.de/~richter/Talks/LogicApproximationDagstuhl.pdf
12:00 - 12:15   Discussion on Follow-Up Events

Lunch