Knowledge representation and semantic technologies, 2017/2018 (prof. Riccardo Rosati)
Lectures
The lecture contents refer to the following course material:
- Description Logics
- Exercises on Description Logics
- Datalog and Answer Set Programming
- Exercises on Datalog and Answer Set Programming
- SQL, DLs, Datalog and ASP: comparison
- Introduction to the Semantic Web
- The RDF layer
- Exercises on RDF, RDFS, and SPARQL
- Ontologies and OWL
- OWL 2
- Exercises on OWL
- Exercises on OWL 2 profiles
- Final exercises on Knowledge Representation
- Representing and reasoning about actions in the Situation Calculus
- Exercises on representing and reasoning about actions
Lectures:
-
Wed 28/2/2018 [1]
Course overview. Introduction to knowledge representation. Class-based formalisms. Description Logics (DL).
-
Wed 7/3/2018 [1]
Description Logics. Syntax and semantics of Description Logics. The DL ALC. Semantics of ALC.
-
Mon 12/3/2018 [1]
Semantics of ALC. Reasoning tasks.
-
Wed 14/3/2018 [1]
Reasoning in ALC: unfoldable TBoxes, negation normal form. The tableau algorithm for ALC KBs with unfoldable TBoxes.
-
Mon 19/3/2018 [1]
The tableau algorithm for ALC KBs with unfoldable TBoxes.
-
Wed 21/3/2018 [1]
The tableau algorithm for ALC KBs with general concept inclusions.
-
Mon 26/3/2018 [2,3]
Esercises on DL.
Rule-based formalisms: brief history. Logic programming.
Positive Datalog. Syntax and semantics.
-
Wed 28/3/2018 [3]
Reasoning in positive Datalog: naive and semi-naive bottom-up evaluation.
Constraints in Datalog.
-
Mon 9/4/2018 [3]
Negation in datalog.
Stratified negation.
Bottom-up evaluation for stratified Datalog.
Answer Set Programming (ASP).
-
Wed 11/4/2018 [3]
Answer Set Programming (ASP).
Recursive negation. Disjunction in rule heads.
Stable model semantics.
Reasoning in ASP.
ASP tools.
-
Mon 16/4/2018 [5]
Complexity of reasoning in Datalog and ASP.
Comparison among SQL, DL, Datalog, and ASP.
-
Wed 18/4/2018 [4]
Exercises on Datalog and ASP.
-
Mon 23/4/2018 [6]
The Semantic Web.
-
Wed 2/5/2018 [7]
RDF and RDFS.
-
Mon 7/5/2018 [7]
SPARQL. Linked data.
-
Wed 9/5/2018 [9]
Ontologies. OWL. Reasoning in OWL.
-
Mon 14/5/2018 [9]
Query answering in OWL. SPARQL 1.1. Protege.
-
Wed 16/5/2018 [10,8]
OWL 2, OWL 2 profiles. Reasoning in OWL 2 profiles: query rewriting, first-order rewritability. Esercises on RDF and SPARQL.
-
Mon 21/5/2018 [10,11]
Reasoning in OWL 2 profiles: ABox materialization. Comparison with query rewriting. The combined approach. Exercises on OWL.
-
Wed 23/5/2018 [12,13]
Exercises on OWL 2 profiles. Exercises on Knowledge Representation.
-
Mon 28/5/2018 [14,15]
The Situation Calculus. Modeling actions in the Situation Calculus. The frame problem. The regression theorem. Executability and projection. Exercises on formalizing and reasoning about actions in the Situation Calculus.
-
Wed 30/5/2018
Example of a written exam. Presentation of projects (homework).