welcome:

# Search

## Knowledge Representation and Semantic Web - Academic year 2015/2016

### Course information

Lecturer: Mario Alviano

### Notice board

• 31/01/2016 17:40: Students who have attended at least 70% of the course: download

• 22/12/2015 19:10: Have a look at the fixed encoding of Minesweeper

### Course material

#### Programme (in short)

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

#### Slides

1. Introduction: presentation, handout

2. XML and DTD: presentation, handout, exercises

3. XML Schema: presentation, handout, exercises

4. XPath: presentation, handout, exercises

5. XSLT (part I): presentation, handout

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

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

8. Propositional Logic - Properties: presentation, handout

9. Propositional Logic - Sequent Calculus: presentation, handout

10. Propositional Logic - Exercises: presentation, handout

11. Propositional Logic - Computation and propositional tableau: presentation, handout

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

13. Propositional Logic - Computer exercises: presentation, handout

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

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

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

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

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

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

20. Description Logics: presentation, handout

#### 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: Lab 31/a

#### Lectures

• 06/10/2015 17:00-19:00 - Introduction
• 07/10/2015 09:30-11:30 - Ontologies and Semantic Web with Protégé
• 08/10/2015 11:30-13:30 - XML
• 13/10/2015 17:00-19:00 - DTD
• 14/10/2015 09:30-11:30 - XML Schema
• 15/10/2015 11:30-13:30 - Exercises on DTD and XML Schema
• 20/10/2015 17:00-19:00 - XPath
• 21/10/2015 09:30-11:30 - XSLT (part I)
• 22/10/2015 11:30-13:30 - Exercises on XPath and XSLT
• 27/10/2015 17:00-19:00 - XSLT (part II)
• 29/10/2015 11:30-13:30 - Exercises on XSLT
• 03/11/2015 17:00-19:00 - Propositional logic: Syntax and semantics
• 04/11/2015 09:30-11:30 - Propositional logic: Properties
• 05/11/2015 11:30-13:30 - Propositional logic: Sequent calculus
• 05/11/2015 17:00-19:00 - Propositional logic: Exercises
• 06/11/2015 09:30-11:30 - Propositional logic: Computation and propositional tableau
• 07/11/2015 11:30-13:30 - Propositional logic: Resolution and DPLL
• 12/11/2015 17:00-19:00 - Propositional logic: Exercises
• 13/11/2015 09:30-11:30 - Propositional logic: Computer exercises
• 14/11/2015 11:30-13:30 - Propositional logic: Computer exercises
• 19/11/2015 17:00-19:00 - Propositional logic: Exercises
• 20/11/2015 09:30-11:30 - Propositional logic: Student exercises
• 21/11/2015 11:30-13:30 - Propositional logic: Student exercises
• 01/12/2015 17:00-19:00 - First-order logic: Motivation and Syntax
• 02/12/2015 09:30-11:30 - First-order logic: Semantics
• 03/12/2015 11:30-13:30 - First-order logic: Semantic notions
• 09/12/2015 09:30-11:30 - First-order logic: Sequent calculus and exercises
• 10/12/2015 11:30-13:30 - First-order logic: Computer exercises
• 15/12/2015 17:00-19:00 - First-order logic: Normal forms, Skolemization and Herbrand theory
• 16/12/2015 09:30-11:30 - First-order logic: Exercises
• 17/12/2015 11:30-13:30 - First-order logic: Tableau and exercises
• 22/12/2015 17:00-19:00 - First-order logic: Exercises for the teacher chosen by the students!
• 07/01/2016 11:30-13:30 - First-order logic: Resolution (part 1)
• 12/01/2016 17:00-19:00 - First-order logic: Resolution (part 2)
• 13/01/2016 09:30-11:30 - First-order logic: Exercises
• 14/01/2016 11:30-14:30 - Description logics: ALC and its extension; Exercises
• 21/01/2016 11:30-14:30 - First-order logic: Student exercises
• 22/01/2016 15:00-19:00 - Summary exercises

### Exams

• 06/02/2016 9:00
• 25/02/2016 9:00