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

References:

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

Syntax

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

References

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, aaai.org 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

References

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