Semantic web (2010/2011)

Course code
4S02793
Name of lecturer
Matteo Cristani
Coordinator
Matteo Cristani
Number of ECTS credits allocated
6
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Period
II semestre dal Mar 1, 2011 al Jun 15, 2011.

Lesson timetable

II semestre
Day Time Type Place Note
Monday 10:30 AM - 12:30 PM lesson Lecture Hall G  
Wednesday 8:30 AM - 10:30 AM laboratorio Laboratory Gamma  

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.