Studying at the University of Verona
Here you can find information on the organisational aspects of the Programme, lecture timetables, learning activities and useful contact details for your time at the University, from enrolment to graduation.
Study Plan
This information is intended exclusively for students already enrolled in this course.If you are a new student interested in enrolling, you can find information about the course of study on the course page:
Laurea magistrale in Ingegneria e scienze informatiche - Enrollment from 2025/2026The Study Plan includes all modules, teaching and learning activities that each student will need to undertake during their time at the University.
Please select your Study Plan based on your enrollment year.
1° Year
| Modules | Credits | TAF | SSD |
|---|
2° Year activated in the A.Y. 2016/2017
| Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
Due insegnamenti a sceltaLegend | Type of training activity (TTA)
TAF (Type of Educational Activity) All courses and activities are classified into different types of educational activities, indicated by a letter.
Semantic web (2016/2017)
Teaching code
4S02793
Teacher
Coordinator
Credits
6
Language
Italian
Scientific Disciplinary Sector (SSD)
INF/01 - INFORMATICS
Period
II sem. dal Mar 1, 2017 al Jun 9, 2017.
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.
Program
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
| Author | Title | Publishing house | Year | ISBN | Notes |
|---|---|---|---|---|---|
| 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 |
Examination Methods
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.
