Semantic web (2016/2017)

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 sem. dal Mar 1, 2017 al Jun 9, 2017.

Lesson timetable

II sem.
Day Time Type Place Note
Wednesday 2:30 PM - 5:30 PM lesson Lecture Hall C  
Friday 2:30 PM - 4:30 PM lesson Lecture Hall I  

Learning outcomes

The course's purpose is the introduction of the techniques for designing a terminology in Description Logic, and the applications of Description Logic to Natural Language Processing and Social Networks. At the end of the course, students will be able to devise an ontology in Protégé, and to apply techniques of social network analysis and Information Extraction to the understanding and mark-up of a web section.

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è/OWL
6. Natural Language Processing
7. Social network analysis and techniques of social network mining

Reference books
Author Title Publisher Year ISBN Note
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider The Description Logic Handbook Theory, Implementation and Applications (Edizione 1) Cambridge University Press 2003 0521781760

Assessment methods and criteria

The exam consists in the preparation of a homework and in the oral discussion of that. The homework shall consist in the implementation of one of the techniques presented in the lectures.

STUDENT MODULE EVALUATION - 2016/2017