| Day | Time | Type | Place | Note |
|---|---|---|---|---|
| Monday | 9:30 AM - 11:30 AM | lesson | Lecture Hall G | |
| Thursday | 8:30 AM - 9:30 AM | lesson | Lecture Hall B | |
| Friday | 8:30 AM - 10:30 AM | lesson | Lecture Hall C |
The course's purpose is the introduction of the techniques for designing a terminology in Description Logic.
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
The exam consists in the preparation of a homework and in the oral discussion of that.
