Curso

Relationships and events: a general theory of reification and truthmaking

Idioma: Inglês

Reification is a standard technique in conceptual modeling and knowledge representation. Classic examples are the reification of relationships and events. But how to decide what should be reified? Recent work on formal ontology offers us a simple answer: put in the domain of discourse those entities that are responsible for the truth of our propositions. These are called truthmakers. In the recent years, with Giancarlo Guizzardi and Daniele Porello we have developed a novel theory of relations and relationships based on a re-visitation of Guizzardi’s relators that builds on the ontological notion of truthmaking. In this tutorial I will illustrate this theory in some detail, presenting several modeling patterns that account for the different ways relationships and events can be considered as truthmakers, and showing how most relationships can be seen as the focus of events, which emerge from the context (the scene) they occur in.

Referências:

Guarino, N., & Guizzardi, G. (2015). We need to discuss the relationship: Re-visiting relationships as modeling constructs. In International conference on advanced information systems engineering, caise 2015 (pp. 279–294).

Guarino, N., & Guizzardi, G. (2016). Relationships and events: Towards a general theory of reification and truthmaking. In AI*IA 2016: Advances in artificial intelligence, Genova, Italy, November 29 – December 1, 2016 (pp. 237–249).

Guarino, N., Sales, T. P., & Guizzardi, G. (2018). Reification and truthmaking patterns. In Conceptual modeling – 37th international conference, ER 2018, Xi’an, China, October 22-25, 2018. (pp. 151–165).

Palestra

Events and their context

Idioma: Inglês

Sobre o palestrante

Nicola Guarino é pesquisador no Instituto de Ciências Cognitivas e Tecnologias do Conselho Nacional de Pesquisa da Itália, liderando o Laboratório de Ontologia Aplicada (LOA) localizado em Trento, Itália. Graduado em engenharia eletrônica na Universidade de Pádua em 1978, desde 1991 desempenha um papel de liderança no campo da ontologia, desenvolvendo uma abordagem fortemente interdisciplinar que combina Ciência da Computação, Filosofia e Lingüística. Entre os resultados mais conhecidos de seu laboratório, estão a metodologia OntoClean e a ontologia fundacional DOLCE. Ele é fundador e ex-editor-chefe da revista Applied Ontology, fundador e ex-presidente da Associação Internacional de Ontologia e suas Aplicações (IAOA), ex-presidente geral da conferência internacional de Ontologia Formal em Sistemas de Informação (FOIS) e membro do conselho editorial do Journal of Data Semantics. Tem publicado dezenas de artigos, listados entre os mais referenciados nos trabalhos de pesquisa em ontologias.