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:

Nomeordem decrescente Papel
Giancarlo Guizzardi Orientador

Banca:

Nomeordem decrescente Papel
Giancarlo Guizzardi Orientador
João Paulo Andrade Almeida Examinador Interno

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.

Acesso ao documento

Acesso à informação
Transparência Pública

© 2013 Universidade Federal do Espírito Santo. Todos os direitos reservados.
Av. Fernando Ferrari, 514 - Goiabeiras, Vitória - ES | CEP 29075-910