From Semantic Web Technologies

Ontology Modeling Languages

A Logic and Computation foundational course at European Summer School on Logic, Language, and Information (ESSLLI) 2009 in Bordeaux.

Ontologies are currently becoming the major paradigm for knowledge representation and reasoning. Their success is driven by the Semantic Web effort, but there is also considerable use outside the Web context, e.g. in information integration or life sciences. In this course, we will present an in-depth treatment of the ontology representation languages RDF and OWL, which are recommended standards by the World Wide Web consortium. The outline of the course is as follows:

• RDF and RDF Schema
• OWL: Syntax, Semantics and Reasoning
• Query languages
• Rules

Teachers:

• Markus Krötzsch (mak@aifb.uni-karlsruhe.de)
• Sebastian Rudolph (sru@aifb.uni-karlsruhe.de)

Time: 9:00, July, 21st -- 25th, 2009

Room: Amphithéâtre Gintrac

Slides

All slides will be made available before the respective lecture. Source files (office formats) will be provided later.

• Lecture I: Resource Description Framework RDF (PDF)
• Lecture 2: Web Ontology Language OWL (PDF)
• Lecture 3: OWL Advanced Features
• Lecture 4: Querying Ontologies: SPARQL and Beyond (PDF)
• Lecture 3: Rules for the Semantic Web