Schedule: XML: Foundations, Techniques, Applications
(for updates see the electronic version in the Web)
www.dfki.uni-kl.de/~boley/lexml/lexml-struc.html
Fridays, 10.00 - 11.30, Building 13, Room 222
-
14-Apr) HTML vs. XML vs. formal modeling languages (address-example.ps, slides 2-22); Problem 1; Schedule; Literature, Exam Issues
21-Apr) Holiday
-
28-Apr) Logic and XML: A comparison (German,English, slides 9-43); Problem 2
-
05-May) Marking up functional-logic programs (rfml-slides.ps, slides 47-65); Problem 3
-
12-May) The Mathematical Markup Language (MathML, Handout Seiten 1-12, 141-145)
15-May, 8.00, 48/419 Special Hands-On Training) Solving Problem 2 (solution2.txt); Trying a validator (http://www.stg.brown.edu/service/xmlvalid/) on variations of an RFML document (http://www.dfki.uni-kl.de/~boley/lexml/sumeven.xml, http://www.dfki.uni-kl.de/~boley/lexml/sumeven.xml.txt) w.r.t. the RFML DTD (http://www.relfun.org/rfml/rfml.dtd); Interacting with RFML (rfml.bat)
-
19-May, 10.00-11.30, 48/419) Madiagne Diallo and Babak Mougouie: Practical aspects of RFML exemplified with an ontology for the Mathematics International study program (http://www.mathematik.uni-kl.de/~ontology/)
-
26-May) Question-and-answer session; Solving Problem 3 (solution3.txt); Problem 4 and Problem 5 (Source: firsthigher.rfp)
-
02-Jun) Solving Problem 4 (solution4.txt); Object-oriented modeling (illustrated by the introductory example of an earlier course's Problem 2); Ontologies in the Web (xol.ps)
-
09-Jun) Problem 6; Information agents (daml-excerpt.ps)
16-Jun) Holiday
-
23-Jun) Problem 7; Resource Description Framework (rdfptalk.ps; rdfp.ps, sections 2, 4, 8)
-
30-Jun) Problem 8; Solving Problem 6 (solution6.txt, solution6.eps); Outlook
-
07-Jul) Solving Problems 5 (solution5.txt), 7 (solution7.txt), and 8 (solution.txt); Question-and-answer session
14-Jul, 10.00-11.00, 46/210) Written Exam
Go back to Main Info Page for this Lecture