Schedule: Rule Markup Languages

(for updates see the electronic version in the Web)

www.dfki.uni-kl.de/~boley/rml/rml-struc.html

 

Fridays, 10.00 - 11.30, Building 13, Room 222

 
 

  1. 26-Apr) "Mind map" of the course (1-page copy); Rules in the context of the Semantic Web (ccsw-strategy.ppt)
  2. 03-May) Schedule; Introducing XML, the eXtensible Markup Language (XML part of Tutorial on Knowledge Markup and Resource Semantics, slides 11-31); Distributing Lars Marius Garshol's An Introduction to XML as well as Problem 1 and Problem 2; Literature; Exam Issues
  3. 10-May) Solving (parts of) Problem 1; Introducing PROLOG, a classical rule language for PROgramming in LOGic, via Tamsin Treasure-Jones' Short Prolog Tutorial
  4. 17-May) Solving Problem 2 (solution2.txt); Bringing XML and Prolog together (HornML part of Tutorial on Knowledge Markup and Resource Semantics, slides 32-57); Distributing Problem 3 and Problem 4 (omit MathML questions)

  5. 24-May) Holidays
  6. 31-May exceptionally in terminal room 48/562) (with Elina Hotman) Practical aspects of Rule Markup Languages exemplified with ONTOMathInt, an ontology for the Mathematics International study program (http://www.mathematik.uni-kl.de/~ontology/)
  7. 7-Jun) The Rule Markup Language I (RuleML part of Tutorial on Knowledge Markup and Resource Semantics, slides 58-79)
  8. 14-Jun) Solving Problems 3 (solution3.txt) and 4 (solution4.txt); Possibly coming back to Problems 1 and 2
  9. 21-Jun) The Rule Markup Language II (RuleML part of Tutorial on Knowledge Markup and Resource Semantics, slides 58-79); Functional RuleML; Distributing Challenge 1 and Assignment 1
  10. 28-Jun) David Jacobs' Rescuing XSLT from Niche Status; XSLT for XML-to-XML and XML-to-HTML transformation (XSLT and XQL parts of Tutorial, slides 95-102); Distributing Exercise 1 and Exercise 2; Background reading: Chapter 17 of Elliotte Rusty Harold's "XML Bible"
  11. 5-Jul) Solving Exercise 2 (solex2.html); Named XSLT templates; Partially solving Exercise 1 (solex1.html) - Recursive factorial function as XSLT stylesheet: factorial.xsl (factorial.xsl.txt), its application argument via XML document: factorial-main.xml (factorial-main.xml.txt), its application value as HTML document: factorial-main.html (factorial-screenshot.gif); Practical aspects of XSLT for generating HTML pages like index.html from XML pages like index.xml (index.xml.txt) via XSLT stylesheets like homepage.xsl/slixhtml.xsl powered by engines like Cocoon; Distributing Problem 5 (omit MathML parts)
  12. 12-Jul) Solving Problem 5 (solution5.txt), Challenge 1 (challenge1.sol or challenge1.solong), Assignment 1 (assignment1.dialog, assignment1.rfp, assignment1.rfml), and possibly other ones
  13. 19-Jul) Question-and-answer session


  14. 26-Jul, 10.00-11.00, 13/222) Written Exam

 
Home page of the proposed standard Rule Markup Language, RuleML: http://www.dfki.de/ruleml
Home page of the Prolog-extending Relational-Functional programming language, Relfun: http://www.dfki.uni-kl.de/~vega/relfun.html

Go back to Main Info Page for this Lecture