logo-polimi
Loading...
Risorse bibliografiche
Risorsa bibliografica obbligatoria
Risorsa bibliografica facoltativa
Scheda Riassuntiva
Anno Accademico 2018/2019
Scuola Scuola di Ingegneria Industriale e dell'Informazione
Insegnamento 089012 - KNOWLEDGE ENGINEERING
Docente Colombetti Marco
Cfu 5.00 Tipo insegnamento Monodisciplinare

Corso di Studi Codice Piano di Studio preventivamente approvato Da (compreso) A (escluso) Insegnamento
Ing - Civ (Mag.)(ord. 270) - MI (495) GEOINFORMATICS ENGINEERING - INGEGNERIA GEOINFORMATICA*AZZZZ089012 - KNOWLEDGE ENGINEERING
Ing Ind - Inf (1 liv.)(ord. 270) - MI (358) INGEGNERIA INFORMATICA*AZZZZ089178 - INGEGNERIA DELLA CONOSCENZA: MODELLI SEMANTICI
089012 - KNOWLEDGE ENGINEERING
Ing Ind - Inf (Mag.)(ord. 270) - MI (263) MUSIC AND ACOUSTIC ENGINEERING*AZZZZ089012 - KNOWLEDGE ENGINEERING
Ing Ind - Inf (Mag.)(ord. 270) - MI (471) BIOMEDICAL ENGINEERING - INGEGNERIA BIOMEDICA*AZZZZ089012 - KNOWLEDGE ENGINEERING
Ing Ind - Inf (Mag.)(ord. 270) - MI (481) COMPUTER SCIENCE AND ENGINEERING - INGEGNERIA INFORMATICA*AZZZZ089012 - KNOWLEDGE ENGINEERING

Obiettivi dell'insegnamento

The goal of the course is to enable students to design, specify and implement a knowledge-based system. The course covers fundamental concepts, representation frameworks, and methods and tools of knowledge engineering (KE), with a bias towards ontology engineering and semantic web technology. The teaching method is traditional (classroom lessons), but students can volunteer to carry out an optional KE project under the supervision of a tutor.

 


Risultati di apprendimento attesi

Dublin Descriptors

Expected learning outcomes

Knowledge and understanding

Students will become acquainted to:

·    different types of knowledge and knowledge representation methods

·    the use of logic (in particular description logic) to specify declarative knowledge

·    the role of reasoning in a knowledge-based system

·    relevant W3C recommendations concerning semantic web technology

Applying knowledge and understanding

Students will learn to:

·     identify and solve specific knowledge representation issues

·     specify a knowledge base in OWL 2 and RDFS

Making judgements

Students will be able to:

·     analyse and understand the logical relationships holding between different types of concepts

·     identify possible problems related to the representability of certain types of knowledge elements

·     choose between different representation frameworks based on criteria of representability, clarity, and efficiency of reasoning

Communication

·    Students will improve their ability to explain difficult concepts and to justify formal representations of complex statements

·    The students who choose to carry out an optional project will learn how to document and present a knowledge-based system

Lifelong learning skills

·    Students will become able to appreciate the relevance and possible applications of logic-based representations and of semantic web technology

·    The students who choose to carry out an optional project will learn how to design and develop a knowledge-based system


Argomenti trattati

Knowledge-Based Systems

  • the concept of knowledge; knowing that and knowing how; the role of reasoning
  • knowledge representation in computers; knowledge bases and knowledge-based systems
  • ontologies and the Semantic Web

Knowledge Representation in Logic

  • representing declarative knowledge in logic
  • deductive reasoning; soundness and completeness; decidability and complexity
  • description logic for the specification of knowledge bases

Formal specification of knowledge bases

  • the SROIQ(D) description logic
  • extending SROIQ(D) with SWRL rules
  • solving KE problems in SROIQ(D) and SWRL

Implementing knowledge bases

  • the W3C recommendations for the Semantic Web: RDF, RDFS, SPARQL, OWL 2, OWL 2 Profiles
  • tools: ontology editors (e.g., Protege), reasoners (e.g., Pellet, Fact++, HermiT), platforms for Semantic Web applications (e.g., Apache Jena)

Students can choose to carry out an optional project (including both conceptual analysis and implementation issues) under the supervision of a tutor. In such a case the evaluation of the project (based on a software product, its documentation, and an oral presentation) will be added to the score of the final test.  


Prerequisiti

Basic knowledge of Set Theory, First Order Logic, and Object Oriented Programming is a prerequisite. Basic knowledge of Software Engineering, Databases, and Theoretical Computer Science is relevant and useful, but not mandatory.


Modalità di valutazione

The assessment is based on a written test at the end of the course, which can be partially replaced by the development and presentation of a project. The test is closed book (with the exception of some consultation material provided by the examiners) and lasts two hours. It typically consists of four questions, covering: theoretical concepts of KE; the development of a toy ontology in SROIQ(D); issues concerning RDF/RDFS. The test assigns a maximum of 32 points (30 cum laude is achieved when the total score is 31 or higher). Projects are also evaluated on a scale of 32 points and contribute to the final grade in proportion to the questions of the written exam that they replace.

Type of assessment

Description

Dublin descriptor

Written test

Solution of numerical problems

·     exercises concerning the representation of different types of statements in different knowledge representation languages

Exercises focusing on design aspects

·     questions involving the development of a toy ontology (in SROIQ(D), possibly also in RDFS)

Theoretical questions on all course topics with open answer:

·     questions concerning fundamental conceptual aspects of KE

 

1,2

 

 

 

1, 2, 5

 

 

 

1, 5

Assessment of laboratorial artefacts (optional)

Assessment of the design and implementation work developed by students in small teams or individually

2, 3, 5

Oral presentation (compulsory if an optional project is carried out)

Assessment of the presentation of the design and implementation work developed by students in small teams or individually

2, 4, 5

 


Bibliografia
Risorsa bibliografica obbligatoriaM. Colombetti, Knowledge Engineering: Lecture Notes, Anno edizione: 2019 http://home.deib.polimi.it/colombet/KE/
Note:

The 2019 edition of the Lecture Notes will be made available during the course.

Risorsa bibliografica facoltativaHitzler, P., Krötzsch, M., and Rudolph, S., Foundations of Semantic Web Technologies, Editore: Chapman & Hall/CRC, Anno edizione: 2009, ISBN: 978-1420090505

Forme didattiche
Tipo Forma Didattica Ore di attività svolte in aula
(hh:mm)
Ore di studio autonome
(hh:mm)
Lezione
30:00
45:00
Esercitazione
20:00
30:00
Laboratorio Informatico
0:00
0:00
Laboratorio Sperimentale
0:00
0:00
Laboratorio Di Progetto
0:00
0:00
Totale 50:00 75:00

Informazioni in lingua inglese a supporto dell'internazionalizzazione
Insegnamento erogato in lingua Inglese
Disponibilità di materiale didattico/slides in lingua inglese
Disponibilità di libri di testo/bibliografia in lingua inglese
Possibilità di sostenere l'esame in lingua inglese
Disponibilità di supporto didattico in lingua inglese
schedaincarico v. 1.6.1 / 1.6.1
Area Servizi ICT
08/12/2019