Schedule: Practical Semantics: Transformations, Models, and Metadata for the Web

(for updates see the electronic version in the Web)

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

 

Fridays, 10.00 - 11.30, Building 13, Room 222

 
 

  1. 20-Apr) Overview of Practical Semantics I (slides 1-12); Exam Issues
  2. 27-Apr) Overview of Practical Semantics II (slides 13-26); Distributing Problem 1 and Problem 2
  3. 04-May) XML as the syntactic basis (XML part of Tutorial on Knowledge Markup Techniques, slides 5-22); Literature
  4. 11-May) Solving (parts of) Problem 1; Implication rules and their models (HornML part of Tutorial on Knowledge Markup Techniques, I slides 32-57); Schedule; Distributing Problem 3 and Problem 4 (omit MathML questions)
  5. 18-May) Implication rules and their models (HornML part of Tutorial on Knowledge Markup Techniques, II slides 32-57)
  6. 25-May) Solving (rest of) Problem 1; Solving Problem 2 (solution2.txt); Solving Problem 3 (solution3.txt); Distributing Assignment 1
  7. 1-Jun) Functional-logic programs and their models (RFML part of Tutorial on Knowledge Markup Techniques, slides 47-65; A Functional-Logic Language Kernel Exemplified, slides 24-26)

  8. 8-Jun) Holiday
  9. 15-Jun) (with Markus Perling) XML stylesheets (XSLT) for XML-to-XML and XML-to-HTML transformation (XSLT and XQL parts of Tutorial, slides 95-102); 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); Background reading: Chapter 14 of Elliotte Rusty Harold's "XML Bible"; Distributing Exercise 1 and Exercise 2
  10. 22-Jun) Question-and-answer session; Solving Problem 4 (solution4.txt); Solving Exercise 2 (solex2.html)
  11. 29-Jun) Solving Assignment 1 (assignment1.dialog, assignment1.rfp, assignment1.rfml); Rescuing XSLT from Niche Status; Solving Exercise 1 (solex1.html)
  12. 6-Jul) Distributing Problem 5 and Problem 8 (skipping 6 and 7); Introduction to the Resource Description Framework (RDF part of Tutorial on Knowledge Markup Techniques, slides 118-154)
  13. 13-Jul) RDF and LP (rdfptalk.ps, slides 8-14, 21-26, 42-47; rdfp.ps, sections 2, 4, 8)
  14. 20-Jul) Solving Problem 5 and Problem 8; Question-and-answer session


  15. 27-Jul, 10.00-11.00, 13/222) Written Exam

 
Start page for functional-logic programming, RFML markup, and Relfun sources: http://www.dfki.uni-kl.de/~vega/relfun.html

Go back to Main Info Page for this Lecture