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.docSunday
12:00 - 14:00 Lunch with Early Arrivals a 5-minute walk from Dagstuhlat 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 SnacksMonday
Session: Introductions; Chair: Harold Boley 09:00 - 10:15 Introduction of participants; Introduction by organizers Coffee/Tea 10:30 - 11:30 Eric Prud'hommeauxPitfalls 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 SchroederArguments 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 FenselOntoweb 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 FenselScalable 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 OmelayenkoMapping 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ásioW^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. SpencerThe 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 WorkshopsWednesday
Session: XML, Databases, and Patterns; Chair: François Bry 09:00 - 10:00 Dietmar SeipelDeductive Databases and XML http://www1.informatik.uni-wuerzburg.de/databases/talks/seipel/dagstuhl_2002_02061.pdf Coffee/Tea 10:15 - 11:00 Bernhard ThalheimER 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 StaabSemantic 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 MarkupThursday
Session: Description Logics, Rules, and Information Integration; Chair: Mike Dean 09:00 - 10:00 Ian HorrocksRules and Axioms http://www.cs.man.ac.uk/~horrocks/Slides/dagstuhlP070202.pdf Coffee/Tea 10:15 - 11:15 Stefan DeckerTRIPLE: 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 LibbrechtSemantic 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 OlteanuRules 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 AntoniouEfficient Defeasible Reasoning http://www.informatik.uni-bremen.de/~ga/research/ruleml.html 20:15 - 20:30 Demo XL 20:30 - Open discussion on possible projectsFriday
Session: Rules, Agents, and the Future; Chair: Leon Sterling 09:00 - 10:00 Mike DeanExperiences Using Rules with DAML and OIL http://www.daml.org/2002/02/dagstuhl-rules/Overview.html Coffee/Tea 10:15 - 11:00 Grit DenkerSecurity 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