Semantic web (2014/2015)

  1. Home
  2. Teaching
  3. Master's degrees
  4. Master's degree in Computer Science and Engineering
  5. Insegnamenti
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
Location
VERONA
Period
II sem. dal Mar 2, 2015 al Jun 12, 2015.
Course news Seminars related to the course

Lesson timetable

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.