Semantic web (2015/2016)

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, 2016 al Jun 10, 2016.

Lesson timetable

II semestre
Day Time Type Place Note
Thursday 2:30 PM - 5:30 PM lesson Lecture Hall C  
Friday 11:30 AM - 1:30 PM 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.

STUDENT MODULE EVALUATION - 2015/2016