Semantic web (2013/2014)

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 3, 2014 al Jun 13, 2014.

Lesson timetable

II semestre
Day Time Type Place Note
Monday 9:30 AM - 11:30 AM lesson Lecture Hall C  
Wednesday 10:30 AM - 11:30 AM lesson Lecture Hall C  
Friday 8:30 AM - 10:30 AM lesson Lecture Hall C  

Learning outcomes

The course's purpose is the introduction of the techniques for designing a terminology in Description Logic.

Syllabus

1. Elements of Logic
a. Propositional languages
b. First order languages
c. Second order Languages
2. Introduction to computational logic
a. Reasoning tasks
b. Subsumption, satisfiability, consistency, disjointness
3. Structural description logic
a. The FL- language
i. Syntax
ii. Semantics
b. The AL Logic
i. Syntax and semantics
ii. Structural subsumption algorithm
c. ALU, ALE
d. ALN
4. Propositional description logics
a. ALC, ALCN
i. Syntax and semantics
ii. Tableau for ALCN
b. ALCI
c. ALCQIreg
i. Tableau inapplicability
ii. Two-ways alternate automata on infinite trees
5. Description logic systems
a. Protegè
6. Ontology design laboratory

Assessment methods and criteria

The exam consists in the preparation of a homework and in the oral discussion of that.