CONTENTS
The course this year is organized into 5 modules:
(a) The INTRODUCTION module will provide an introduction to logical modeling;
(b) The DESCRIPTION LOGIC module will give an overview of the description logic language;
(c) The SEMANTIC WEB module will provide a brief overview of the Web Languages and the Semantic Web;
(d) The APPLICATIONS module will cover a broad range of applications, from databases to ontologies, access control, and media;
(e) With the LANGUAGE AND KNOWLEDGE RESOURCES module we will go through some notable examples of vocabularies, ontologies and knowledge bases exploring strengths and weaknesses.
LESSONS
Official Lectures Time and Location:
Mondays 15:00 - 17:00, Faculty of Science, room B103
Wednesdays 09:00 - 11:00, Faculty of Science, room A212
Please always check latest news in home page!
There might be some variations.
SYLLABIUS
Slides and handouts will be put
online some days after each lesson.
Date
|
Lecturer
|
Topic
|
Slides
|
INTRODUCTION
|
15/09
|
Fausto
|
Introduction to logics
|
|
DESCRIPTION
LOGIC
|
17/09
|
Fausto
|
Propositional DL: syntax
and semantics |
|
22/09
|
Fausto
|
Propositional DL: TBox |
|
24/09
|
Fausto
|
Propositional DL: ABox |
|
29/09
|
Enzo
|
Propositional DL: exercises |
|
01/10
|
Enzo
|
Propositional DL: exercises
(cont.) |
|
08/10
|
Fausto
|
DL family of languages |
|
10/10
|
Enzo
|
DL: exercises |
|
SEMANTIC WEB
|
13/10
|
Feroz
|
Introduction to the semantic
web |
|
15/10
|
Feroz
|
RDF |
|
20/10
|
Feroz
|
SPARQL |
|
22/10
|
Feroz
|
OWL |
|
APPLICATIONS
|
27/10
|
Fausto
|
DL tableaux |
|
29/10
|
Fausto
|
DL as query language |
|
03/11
|
Fausto
|
Lightweight Ontologies |
|
05/11
|
Ronald
|
Access Control with Relbak |
|
10/11
|
Ivan
|
Semantics and media |
|
12/11
|
Aliaksandr
|
Semantic Matching |
|
17/11
|
Aliaksandr
|
Semantic Matching LAB |
|
LANGUAGE AND KNOWLEDGE RESOURCES
|
24/11
|
Enzo
|
Introduction: the semantic
heterogeneity problem |
|
01/12
|
Enzo
|
Linguistic resources |
|
05/12
|
Enzo
|
Knowledge resources |
|
15/12
|
Enzo
|
Capturing diversity: the
UKC and Entitypedia |
|
17/12
|
Enzo
|
The DERA methodology |
|
|
|
|
|
|