A formal analysis of Identity and Sortality in the Unified Foundational Ontology (UFO)
Nome: JOÃO RAFAEL MORAES NICOLA
Tipo: Tese de doutorado
Data de publicação: 20/04/2021
Orientador:
Nome |
Papel |
|---|---|
| GIANCARLO GUIZZARDI | Orientador |
Banca:
| Nome |
Papel |
|---|---|
| JOÃO PAULO ANDRADE ALMEIDA | Examinador Interno |
| GIANCARLO GUIZZARDI | Orientador |
Resumo: A Ontologia de Fundamentação Unificada (UFO) é um arcabouço conceitual firmado em
princípios derivados da disciplina de Ontologia da Filosofia, com aplicações no campo
de Engenharia de Software, especificamente em Modelagem Conceitual, servindo como
fundamento semântico para a linguagem de modelagem OntoUML. Entre os conceitos
descritos no fragmento de endurantes da UFO (UFO-A), o conceito de sortalidade desempenha
um papel central na classificação dos universais de substâncias. Contudo, esse
conceito e os conceitos conexos de identidade e individualidade carecem atualmente de
uma formalização sistemática, o que dificulta suas aplicações na análise e modelagem dos
universais de substância. Esta pesquisa enriquece a literatura da UFO com uma especificação
formal para um fragmento de UFO-A que permite a caracterização destes conceitos.
Esta especificação é apresentada em Isabelle/HOL, um formalismo lógico que permite
uma verificação auxiliada por máquina. Construímos um arcabouço formal com base nesta
especificação e em conceitos da Teoria de Categorias, através dos quais propomos definições
formais para os conceitos de individualidade e identidade, e, a partir destas, propomos
também uma caracterização formal do conceito de sortalidade. São também apresentados
exemplos das aplicações das definições propostas na atividade de modelagem conceitual.
Palavras-chave: ontologia aplicada, modelagem conceitual, identidade, individualidade,
sortalidade.
