logo-polimi
Loading...
Risorse bibliografiche
Risorsa bibliografica obbligatoria
Risorsa bibliografica facoltativa
Scheda Riassuntiva
Anno Accademico 2017/2018
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*AZZZZ089012 - KNOWLEDGE ENGINEERING
089178 - INGEGNERIA DELLA CONOSCENZA: MODELLI SEMANTICI
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

Programma dettagliato e risultati di apprendimento attesi

The course provides an introduction to the Knowledge Engineering (KE), and in particular to the KE concepts, models, and techniques adopted in the area of the Semantic Web.

The course consists of three parts: an introduction to Knowledge Based Systems and to the Semantic Web; an introduction to the specification of ontologies using Description Logic; a presentation of technologies and tools for the Semantic Web.

KNOWLEDGE BASED SYSTEMS AND THE SEMANTIC WEB

Knowledge and its representation in computer systems. Declarative and procedural representations. Types of inference: deduction, abduction, induction. The role of logic.

Knowledge bases and knowledge based systems. Ontologies and the Semantic Web..

DESCRIPTION LOGIC

Description logics as systems for the specification of ontologies.

The description logic SROIQ(D) and its relationship with the Web Ontology Language OWL 2.

Reasoning in description logic.

Specifying ontologies in SROIQ(D).

TECNOLOGIES AND TOOLS

Semantic Web technologies according to W3C recommendations: XML, RDF, RDFS, SPARQL, OWL 2.

Tools for the implementation and use of ontologies (ontology editors, ontology management systems, automatic reasoners).

Prerequisites

Important prerequisites are Basic Computing, Naive Set Theory, and First Order Logic.

Software Engineering, Databases, and Theoretical Computer Science are relevant and useful, but not mandatory.


Note Sulla Modalità di valutazione

A 2-hour written test with theoretical questions and exercises.


Bibliografia
Risorsa bibliografica obbligatoriaKnowledge Engineering: Lecture Notes http://home.deib.polimi.it/colombet/KE/
Note:

The 2016-17 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

Mix Forme Didattiche
Tipo Forma Didattica Ore didattiche
lezione
32.0
esercitazione
16.0
laboratorio informatico
0.0
laboratorio sperimentale
0.0
progetto
0.0
laboratorio di progetto
0.0

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.2 / 1.6.2
Area Servizi ICT
04/06/2020