welcome:

# Search

## Knowledge Management - Academic year 2013/2014

### Course information

Lecturer: Mario Alviano

### Notice board

• Students who have attended at least 70% of the course: download

• Added exercises on Description Logics.

### Course material

#### Programme (in short)

1. Classical Logic
• Propositional logic
• First-order logic
• Calculi
2. Semantic Web
• Description Logics, RDF, RDF-S and OWL
• XML, DTD and XML Schema
• XPath and XSLT

#### Slides

1. Introduction: presentation, handout

2. Propositional Logic - Syntax and Semantics: presentation, handout

3. Propositional Logic - Properties: presentation, handout

4. Propositional Logic - Sequent Calculus: presentation, handout

5. Propositional Logic - Computation and normal forms: presentation, handout

6. Propositional Logic - Resolution, DPLL and tableau: presentation, handout

7. Propositional Logic - Exercises: presentation, handout

8. Propositional Logic - Computer exercises: presentation, handout

9. First-Order Logic - Syntax and semantics: presentation, handout

10. First-Order Logic - Semantic notions and sequent calculus: presentation, handout

11. First-order logic - Normal forms and Herbrand theory: presentation, handout

12. First-Order Logic - Resolution: presentation, handout

13. First-Order Logic - Computer exercises: presentation, handout, examples

14. First-Order Logic - Tableau: presentation, handout

15. Description Logics: presentation, handout

16. XML and DTD: presentation, handout, exercises

17. XML Schema: presentation, handout, exercises

18. XPath: presentation, handout, exercises

19. XSLT (part I): presentation, handout

20. XSLT (part II): presentation, handout, exercises

#### Exercises to Solve at Home

1. Have a look at the end of the slides
2. Exercises to be solved in the classroom (23, 24, 25, 26, 33, 34, 35) and at home by Javier Larrosa: download

3. Nice collection of exercises (with solutions) by Chiara Ghidini and Luciano Seraﬁni: download

#### Books

• Introduction to Knowledge Management, A brief introduction to the basic elements of knowledge management for non-practitioners interested in understanding the subject - Filomon A. Uriarte, Jr. - Asean Foundation, 2008
• Logica a Informatica - Andrea Asperti, Agata Ciabattoni - Mc Graw-Hill, 1997 ISBN: 88-386-0757-5
• Logic for Computer Science: Foundations of Automatic Theorem Proving - Jean Gallier - Wiley, 1986
• Semantic Web for the Working Ontologist - Dean Allemang, Jim Hendler - Morgan Kaufmann, 2008 ISBN: 978-0-123-73556-0
• A Semantic Web Primer - Grigoris Antoniou, Frank van Harmelen - The MIT Press, 2008

#### Web Pages

• Preliminaries
• Propositional Logic
• First-order Logic
• Systems
• XML, OWL etc

### Schedule

Lecture Hall: MT 14, cube 31/b, near the lab

#### Lectures

• 15/10/2014 17:00-19:00 - Introduction
• 16/10/2014 10:30-13:30 - Propositional logic: Syntax and semantics
• 17/10/2014 14:00-17:00 - Propositional logic: Properties
• 22/10/2014 17:00-19:00 - Propositional logic: Sequent calculus
• 23/10/2014 10:30-13:30 - Propositional logic: Computation and normal forms
• 24/10/2014 10:30-13:30 - Propositional logic: Resolution and DPLL
• 29/10/2014 17:00-19:00 - Propositional logic: Exercises
• 30/10/2014 10:30-13:30 - Propositional logic: Student exercises
• 31/10/2014 10:30-13:30 - Propositional logic: Computer exercises
• 05/11/2014 17:00-19:00 - Propositional logic: Propositional tableau and proofs (Monotonicity, Deduction and Contraposition Theorems)
• 06/11/2014 10:30-13:30 - Propositional logic: Finite Completeness, Compactness and Completeness Theorems
• 07/11/2014 10:30-13:30 - Propositional logic: Computer exercises
• 12/11/2014 17:00-19:00 - Propositional logic: Exercises
• 13/11/2014 10:30-13:30 - Propositional logic: Student exercises
• 19/11/2014 17:00-19:00 - First-order logic: Syntax and semantics
• 20/11/2014 10:30-13:30 - First-order logic: Semantic notions
• 21/11/2014 10:30-13:30 - First-order logic: Sequent calculus and exercises
• 26/11/2014 17:00-19:00 - First-order logic: Normal forms and Herbrand theory
• 27/11/2014 10:30-13:30 - First-order logic: Resolution
• 28/11/2014 10:30-13:30 - First-order logic: Computer exercises
• 03/12/2014 17:00-19:00 - First-order logic: Final proofs and theorems
• 04/12/2014 10:30-13:30 - First-order logic: Tableau and exercises
• 05/12/2014 10:30-13:30 - First-order logic: Exercises submitted by students
• 10/12/2014 17:00-19:00 - First-order logic: Student exercises
• 11/12/2014 10:30-13:30 - First-order logic: Student exercises
• 12/12/2014 10:30-13:30 - First-order logic: Student computer exercises
• 17/12/2014 17:00-19:00 - Description logics: ALC and its extension
• 18/12/2014 10:30-13:30 - Description logics: Exercises
• 19/12/2014 10:30-13:30 - Description logics and the Semantic Web
• 07/01/2014 17:00-19:00 - XML and DTD
• 08/01/2014 10:30-13:30 - XML Schema
• 09/01/2014 10:30-13:30 - XPath
• 14/01/2014 17:00-19:00 - XSLT (part I)
• 15/01/2014 10:30-13:30 - XSLT (part II)
• 16/01/2014 10:30-13:30 - Summary exercises
• 22/01/2014 10:30-13:30 - Summary exercises

### Exams

• 17/02/2015 09:00 - Lab 31/B
• 14/07/2015 09:00 - Lab 31/B