Semantic web (2009/2010)

Course code
4S02793
Name of lecturer
Matteo Cristani
Coordinator
Matteo Cristani
Number of ECTS credits allocated
6
Other available courses
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Period
2nd Semester dal Mar 1, 2010 al Jun 15, 2010.

Lesson timetable

2nd Semester
Day Time Type Place Note
Tuesday 8:30 AM - 10:30 AM lesson Laboratory Gamma  
Thursday 2:30 PM - 4:30 PM lesson Lecture Hall C  

Learning outcomes

Goal of the course is to teach tecniques of design of knowledge bases that can be deployed on the web and the integration of explicit knowledge on the web.

Syllabus

Logic fundamentals
Propositional logic
First order logic
Deduction in propositional logic
Deduction in FOL
Description logics
Structural Description logics
Propositional description logics
Knowledge bases
Concept representation
ISA Relation
Attributes and constraints
The AL Family
Concepts
Roles and attributes
Syntax and semantics of ALC
Syntax and semantics of ALCQIreg
SHF
SHIQ
Protege-2000
SHF implementation
SHIQ implementation
Formal ontologies
Top-Level Ontologies
Domain Ontologies
Task ontologies

Assessment methods and criteria

The exam is written with possible oral integration.