Logo Università degli Studi di Milano


20 marzo 2019: Daniele Porello: Social Mechanisms for Aggregating Ontologies

Social Mechanisms for Aggregating Ontologies

" Seminari di Logica" a cura del Logic Group del Dipartimento di Filosofia "Piero Martinetti"

Daniele Porello - Institute for Cognitive Sciences and Technologies CNR

Social Mechanisms for Aggregating Ontologies

20 marzo 2019, ore 16:30-18:30.

Sala Enzo Paci, Direzione del Dipartimento di Filosofia, Universita' degli Studi di Milano, Via Festa del Perdono 7.


We present a methodology for integrating formal ontologies developed by dierent agents based on Social Choice Theory (SCT). SCT studies the procedures for aggregating individual stances into a collectively fair stance and applies to problems such as voting, resource allocation and negotiation, judgment aggregation. We view the problem of aggregating ontologies as a form of voting on the axioms and statements of the ontology, then we are interested in obtaining a collective ontology that re
ects the agents' views as much as possible. Naive merging of ontologies is of course prone to inconsistency, therefore we need to balance the individual contributions with the consistency of the resulting collective ontology. We develop this approach as follows. Firstly, we discuss the suitable procedures for integrating ontologies and we study their social choice theoretic properties. Secondly, we discuss the computational complexity of the problems involved (e.g. winner determination, manipulation, safety). Finally, we instantiate this view by a concrete methodology for developing (and possibly repairing) collective ontologies.

The Logic Group, Department of Philosophy, University of Milan

marcello.dagostino@unimi.it - www.filosofia.unimi.it/dagostino

L'incontro si terrrà in inglese.

La partecipazione alla conferenza è fortemente consigliata agli allievi della Scuola di Dottorato in Filosofia e Scienze dell’U omo.

La partecipazione è aperta a tutti gli interessati.

20 marzo 2019
Torna ad inizio pagina