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

### 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, Normal Forms, Computation: presentation, handout

4. Propositional Logic - Exercises: presentation, handout

5. Propositional Logic - Computer exercises: presentation, handout

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

7. Propositional Logic - Propositional Tableau and Sequent Calculus: presentation, handout

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

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

10. First-Order Logic - Normal forms: presentation, handout

11. First-Order Logic - Computer exercises: presentation, handout

12. First-Order Logic - Herbrand interpretations and resolution: presentation, handout

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

14. Description Logics: presentation, handout

15. XML and DTD: presentation, handout, exercises

16. XML Schema: presentation, handout, exercises

17. XPath: presentation, handout, exercises

18. XSLT (part I): presentation, handout

19. 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

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

### Schedule

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

#### Lectures

• 16/10/2013 11:30-13:30 - Introduction
• 17/10/2013 10:30-13:30 - Propositional logic: Syntax and semantics
• 18/10/2013 11:30-13:30 - Propositional logic: Properties, normal forms, computation
• 23/10/2013 11:30-13:30 - Propositional logic: Exercises
• 24/10/2013 10:30-13:30 - Propositional logic: Computer exercises
• 25/10/2013 11:30-13:30 - Propositional logic: Student exercises
• 30/10/2013 11:30-13:30 - Propositional logic: Resolution
• 31/10/2013 10:30-13:30 - Propositional logic: DPLL, exercises
• 04/11/2013 15:00-18:00 - Propositional logic: Student exercises
• 11/11/2013 15:00-18:00 - Propositional logic: Exercises submitted by students
• 14/11/2013 10:30-13:30 - Propositional logic: Computer exercises
• 15/11/2013 11:30-13:30 - Propositional logic: Propositional Tableau and Sequent Calculus
• 20/11/2013 11:30-13:30 - Propositional logic: Student exercises
• 21/11/2013 10:30-13:30 - Propositional logic: Computer exercises
• 22/11/2013 11:30-13:30 - Propositional logic: Student exercises
• 27/11/2013 11:30-13:30 - First-order logic: Syntax and semantics
• 28/11/2013 10:30-13:30 - First-order logic: Semantic notions and Sequent Calculus
• 29/11/2013 11:30-13:30 - First-order logic: Exercises
• 04/12/2013 11:30-13:30 - First-order logic: Normal forms
• 05/12/2013 10:30-13:30 - First-order logic: Computer exercises
• 06/12/2013 11:30-13:30 - First-order logic: Student exercises
• 11/12/2013 11:30-13:30 - First-order logic: Exercises submitted by students
• 12/12/2013 10:30-13:30 - First-order logic: Herbrand structures and resolution
• 13/12/2013 11:30-13:30 - First-order logic: Exercises
• 19/12/2013 10:30-13:30 - First-order logic: Exercises
• 20/12/2013 11:30-13:30 - First-order logic: Tableau
• 08/01/2014 11:30-13:30 - First-order logic: Student exercises
• 09/01/2014 10:30-13:30 - First-order logic: Exercises submitted by students
• 10/01/2014 11:30-13:30 - First-order logic: Exercises
• 15/01/2014 11:30-13:30 - Description logics: ALC and its extension
• 16/01/2014 10:30-13:30 - Description logics: Exercises
• 17/01/2014 11:30-13:30 - Description logics and the Semantic Web
• 22/01/2014 11:30-13:30 - XML and DTD
• 23/01/2014 10:30-13:30 - XML Schema
• 24/01/2014 09:30-11:30 - XPath
• 29/01/2014 11:30-13:30 - XSLT (part I)
• 30/01/2014 10:30-13:30 - XSLT (part II)
• 31/01/2014 09:30-11:30 - Conclusion

### Exams

• 21/02/2014 9:00, lab 31/b
• 12/07/2014 9:00, lab 31/b
• 06/09/2014 9:00, lab 31/b