Home
separator
University of Trento
Fall 2015

CONTENTS

The course this year is organized into 5 modules:

  • INTRODUCTION: an introduction to logical modeling;
  • DESCRIPTION LOGIC: an overview of the description logic language;
  • APPLICATIONS: applications of description logic;
  • SEMANTIC WEB: a brief overview of the Semantic Web and Web Languages;
  • LANGUAGE AND KNOWLEDGE RESOURCES: will go through some notable examples of vocabularies, ontologies and knowledge bases exploring strengths and weaknesses.
  • DIGITAL UNIVERSITY: an overview of a project aiming to offer online services to university users via the usage of data integration and semantic technologies.

LESSONS

Official Lectures Time and Location:
Tuesdays 09:00 - 11:00, Faculty of Science, room A107
Fridays 11:00 - 13:00, Faculty of Science, room B102

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
Enzo
 Introduction to logics
DESCRIPTION LOGIC
18/09
Fausto
 Propositional DL: syntax and semantics
22/09
Enzo
 Propositional DL: TBOX
25/09
Fausto
 Propositional DL: ABOX
29/09
Fausto
 DL: Family of languages
30/09
Fausto
 DL: Family of languages (cont.)
06/10
Fausto
 DL: Tableaux
09/10
Enzo
 DL exercises (Part I)
16/10
Enzo
 DL exercises (Part II)
APPLICATIONS OF DESCRIPTION LOGIC
20/10
Enzo
 Access Control with RELBAC
23/10
Enzo
 RELBAC exercises; Lightweight Ontologies
27/10
Enzo
 Semantic Matching
THE SEMANTIC WEB
30/10
Enzo
 Introduction to the Semantic Web
03/11
Enzo
 RDF
06/11
Enzo
 SPARQL
10/11
Enzo
 OWL
13/11
Enzo
 Applications: Digital University
LANGUAGE AND KNOWLEDGE RESOURCES
20/11
Fausto
 Introduction: the semantic heterogeneity problem
24/11
Enzo
 Linguistic resources
    Knowledge resources  
    Capturing diversity: the UKC and Entitypedia  
    The DERA methodology  
separator
University of Trento - Master in Computer Science