Zur Homepage      Studium Forschung Organisation/Struktur English
Kontakt Suche Aktuelles Kurzdarstellung
 Studium, Lehrveranstaltungen


Studienführer

Lehrveranstaltungen

Prüfungsordnungen

Anfängerinfos

Weiterbildung

E-Mail

Auszug Vorlesungsverzeichnis Informatik  

Sommer 2002  

Hauptstudium



89-137

Rule Markup Languages

Boley

2 Std. Vorlesung
Fr. 10.00 - 11.30 Uhr, 13-222
Beginn: 26.4.
A)Rule efforts at ANSI, DARPA, and W3C: Overview of techniques and standards. XML with Document Type Definitions and Schemas. Transformation rules as XSLT stylesheets. Language hierarchy of inference rules in RuleML. Comparison with MathML and Knowledge Interchange Format (KIF) subsets. Event-Condition-Action (ECA) framework. Taxonomy uses within rules: RDFS-RuleML and DAML-Rules. Rule applications in e-business: price discounts, insurance premiums, and purchasing guidelines.
B)Elliotte Rusty Harold: XML Bible, 2nd Edition. Hungry Minds, New York, NY 2001; ISBN: 0-7645-4760-7. http://www.ibiblio.org/xml/books/bible2/.
Knowledge Interchange Format - draft proposed American National Standard (dpANS).
NCITS.T2/98-004. http://logic.stanford.edu/kif/dpans.html.
Rule Markup Language. http://www.dfki.uni-kl.de/ruleml/.
C)Logic skills and interest in Web languages.
D)Oral or written examination.
E)Questions and discussions may be in English or German. Please look at http://www.dfki.uni-kl.de/~boley/rml/ for updates.
  
  

Schedule: Course material will be reachable from the schedule page at http://www.dfki.uni-kl.de/~boley/rml/rml-struc.html.

See also: Related courses can be found on my homepage, at http://www.dfki.uni-kl.de/~boley/#TEA.

Problems and Solutions: See related material of course XML: Foundations, Techniques, Applications and Knowledge Markup Techniques.