Teaching
Semantic web: from XML to OWL, Grenoble Universités, 2008-2009, Master recherche 2ème année, first part of the course -- foundations for XML
| Course Introduction | handout |
| Core XML: XML, DTD, XML Schema, XML Parsing | handout |
| Excursion (streaming DTD validation with SAX) | handout |
| XPath | handout |
| XSLT (an example) | handout |
| Foundations of XML Types: An Introduction | handout |
| Tree Grammars | handout |
| Finite Tree Automata | handout |
| First-Order Logic and Monadic Second-Order Logic | handout |
| Introduction to Some Grand Challenges | handout |