A formal analysis of Identity and Sortality in the Unified Foundational Ontology (UFO)

Página do item simplificado
bibo.pageEnd408
dc.contributor.advisor1Guizzardi, Giancarlo
dc.contributor.advisor1IDhttps://orcid.org/0000-0002-3452-553X
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/5297252436860003
dc.contributor.authorNicola, João Rafael Moraes
dc.contributor.authorIDhttps://orcid.org/0000-0001-8731-291X
dc.contributor.authorLatteshttp://lattes.cnpq.br/7572689551845981
dc.contributor.referee1Almeida, João Paulo Andrade
dc.contributor.referee1IDhttps://orcid.org/0000-0002-9819-3781
dc.contributor.referee1Latteshttp://lattes.cnpq.br/4332944687727598
dc.date.accessioned2024-05-30T00:49:36Z
dc.date.available2024-05-30T00:49:36Z
dc.date.issued2021-04-20
dc.description.abstractThe Unified Foundational Ontology (UFO) is a conceptual framework grounded on principles derived from Ontology discipline of Philosophy, with applications in the field of Software Engineering, specially in Conceptual Modeling, as the semantic reference for the OntoUML modeling language. Among the concepts described in the UFO fragment of endurants (UFO-A), the concept of sortality plays a central role in the classification of UFO substantial universals. However, this concept, and the related concepts of identity and individuality currently lack a systematic formal characterization, hindering their application in the analysis of substantial universals. This research enriches the Unified Foundational Ontology (UFO) literature with a formal specification for a fragment of UFO-A that allows the characterization of these concepts. This specification is presented in Isabelle/HOL, a logical formalism that allows a machine-assisted verification. We construct a formal framework, based on this specification and on categoric-theoretic concepts through which we propose formal definitions for the concepts of individuality and identity, and, from these definitions, we propose a formal characterization of the concept of sortality. Illustrations and the application of the proposed definitions on the domain of conceptual modeling are also presented.
dc.description.resumoA 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.
dc.formatText
dc.identifier.urihttp://repositorio.ufes.br/handle/10/14836
dc.languagepor
dc.publisherUniversidade Federal do Espírito Santo
dc.publisher.countryBR
dc.publisher.courseDoutorado em Ciência da Computação
dc.publisher.departmentCentro Tecnológico
dc.publisher.initialsUFES
dc.publisher.programPrograma de Pós-Graduação em Informática
dc.rightsopen access
dc.subjectOntologia aplicada
dc.subjectmodelagem conceitual
dc.subjectidentidade
dc.subjectindividualidade
dc.subjectsortalidade
dc.subject.br-rjbnsubject.br-rjbn
dc.subject.cnpqCiência da Computação
dc.titleA formal analysis of Identity and Sortality in the Unified Foundational Ontology (UFO)
dc.title.alternativeA formal analysis of Identity and Sortality in the Unified Foundational Ontology (UFO)
dc.typedoctoralThesis
Arquivos
Pacote Original
Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
JoaoRafaelMoraesNicola-2021-tese.pdf
Tamanho:
1.32 MB
Formato:
Adobe Portable Document Format
Descrição:
Baixar
Coleções
Doutorado em Ciência da Computação