Skip to Content

Computer Vision Meets Formal Ontology: advanced methods, recent applications and perspectives

Teachers: Roberta FerrarioMarco Cristani,

Daniele Porello, Davide Conigliaro


Monday, May 4, Room Garda, Povo 1

10.30 – 12.30 (Ferrario)

Introduction to the course

Introduction to Ontological Modeling in Information Science

The semantic dimension: from form to content

What are ontologies

What are ontologies for

14.00 – 16.00 (Ferrario)

Formal ontology and the bases for ontological analysis

Ontology-driven information systems

The general vision behind DOLCE


N. Guarino, D. Oberle, S. Staab, “What is an Ontology?”, Handbook on ontologies, Springer 2009

N. Guarino, “The ontological level: Revisiting 30 years of knowledge representation”, Conceptual modeling: Foundations and applications, Springer 2009

Slides can be downloaded here

Tuesday, May 5, Room Garda, Povo 1

10.00 – 12.00 (Porello)

Ontologies as axiomatic theories

Introduction to first order logic


Semantics and models

Slides can be downloaded here

14.00 – 16.00 (Porello)

FOL as a language for Knowledge representation.

Slides can be downloaded here

Wednesday, May 6, Room Garda, Povo 1

10.30 – 12.30 (Porello)

Example of the use of Logic in Knowledge representation

Slides can be downloaded here

14.00 – 16.00 (Ferrario and Porello)

DOLCE: an example of reference ontology and why it is relevant for computer vision

Slides can be downloaded here

The general structure of DOLCE: basic categories, basic relations

An interesting case for computer vision: conceptual spaces and qualities

An interesting case for visual inference: roles and concepts

Implementation issues

Slides can be downloaded here

Trade off between expressivity and complexity

FOL is undecidable

Restricting FOL: description logics, KIF, OWL


C. Masolo, S. Borgo, A. Gangemi, N. Guarino, A. Oltramari, “WonderWeb DeliverableD18 Ontology Library (final) (ver. 1.0, 31-12-2003)

C. Masolo, L. Vieu, E. Bottazzi, C. Catenacci, R. Ferrario, A. Gangemi, N. Guarino, “Social Roles and their Descriptions”, KR, 2004

S. Borgo, C. Masolo, “Foundational choices in DOLCE”, Handbook on ontologies, Springer 2009

D. Porello, F. Setti, R. Ferrario, M. Cristani, “Multiagent socio-technical systems: An ontological approach, Communication, Organizations, Institutions and Norms in Agent Systems IX, Springer 2014


Thursday, May 7, Room Garda, Povo 1

10.00 – 12.00 (Porello)

An introduction to Protégé, a set of tools to build, visualize and reason on simple ontologies

A guide of OWL-Protégé can be downloaded here

The pizza.owl file can be downloaded here

14.00 – 16.00 (Cristani and Conigliaro)

Connecting Java with Matlab

ONTOLOGY and CV (overview)

Hands-on, toy examples for integration

Exercises here


S. A. Abdulhak, W. Riviera, N. Zeni, R. Ferrario, M. Cristani, “Semantic-Analysis Object Recognition: Automatic Training Set Generation Using Textual Tags”, Computer Vision-ECCV 2014 Workshops

D. S. Cheng, F. Setti, N. Zeni, R. Ferrario, M. Cristani, “Semantically-driven automatic creation of training sets for object recognition”, Computer Vision and Image Understanding, 131, 56-71

C. Town, “Ontological inference for image and video analysis”, Machine Vision and Applications, Springer 2006


Friday, May 8, Room Garda, Povo 1

10.00 – 12.00 (Cristani and Conigliaro)

Hands-on (continued)


Slides can be downloaded here


14.00 – 16.00 (Cristani and Porello)

Hands-on (continued)

NEW!!! Exercises and report for the exam are due on October 11, 2015. Instructions are available here

about seo | page