Pierre Geneves Pierre Genevès


Master of Science in Informatics at Grenoble, Option Artificial Intelligence and the Web

"The semantic web: from XML to OWL - Foundations for XML" is a course on the foundations for processing tree-shaped data given in the Master of Science in Informatics at Grenoble at the University Grenoble Alpes. This course aims at introducing languages, algorithms and tools for processing trees, and for the analysis of queries and programs that manipulate tree-structured information. A description presents the course contents and outline. Pointers to teaching material can be found below:

Course Introduction
Core XML: XML, DTD, XML Schema, XML Parsing slides
Excursion (streaming DTD validation with SAX) slides
XPath slides
XQuery and Static Type-Checking slides
Foundations of XML Types: An Introduction slides
Tree Grammars slides
Finite Tree Automata (inspired by W. Martens and T. Schwentick) slides
First-Order Logic and Monadic Second-Order Logic slides
Advanced Static Analysis for XML/XPath slides

A few sample questions and suggested answers of a course exam given at EPFL.

You may also want to have a look at some other recommended reading material prepared by colleagues.

Other Courses