A theory for ontological modeling of events based on systems

Detalhes bibliográficos
Ano de defesa: 2023
Autor(a) principal: Rodrigues, Fabrício Henrique
Orientador(a): Abel, Mara
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: eng
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Palavras-chave em Inglês:
Link de acesso: http://hdl.handle.net/10183/263999
Resumo: Em Informática, uma ontologia é a especificação de um sistema de categorias que representa determinada visão do mundo. Normalmente, uma ontologia inclui categorias para as coisas que existem no tempo, comumente chamadas de continuantes, tais como como uma pessoa, um pedaço de rocha ou uma máquina. Uma ontologia também pode incluir categorias para as coisas que acontecem no tempo na forma de uma transição através de situações sucessivas – ou seja, uma transição através de uma série de configurações instantâneas de parte do mundo. Essas entidades geralmente são chamadas de eventos ou processos e incluem, por exemplo, uma reunião, a erosão de uma montanha ou a fabricação de um produto. Apesar da prioridade usualmente dada aos continuantes, em termos práticos, um bom modelo de eventos pode apoiar várias atividades de raciocínio baseadas em ontologia, tais como a inferência de condições pré e pós-evento ou a inferência de relações temporais. Nesse sentido, as ontologias atualmente disponíveis oferecem construtos de modelagem poderosos, que nos permitem representar uma grande variedade de tipos de eventos. Em contraste, tais ontologias fornecem muito menos restrições sobre os possíveis modelos que podem ser construídos.Em especial, existem deficiências nos critérios atuais para determinar que sequência de situações caracteriza adequadamente o desenrolar de deter minado evento e quais continuantes participam do evento em cada uma dessas situações. Essa falta de restrições claras sobre como modelar eventos compromete a capacidade dessas ontologias em orientar o processo de modelagem e permite um grau maior de am biguidade nos modelos resultantes. Portanto, restrições mais rígidas sobre a noção de eventos podem ser úteis para capacitar os modeladores a transmitir a intenção por trás de seus modelos de forma mais eficaz. Além disso, restrições adicionais também podem ajudar a descobrir novas relações entre eventos e novos tipos de eventos que permitam representar cenários de modelagem relevantes que não são adequadamente tratáveis com os recursos atuais. Diante disso, este trabalho apresenta uma teoria para a análise ontológica e modelagem de eventos baseada na noção de sistema como o elemento invariante que delimita um evento. Sob essa perspectiva, um evento seria uma transição através de diferentes configurações instantâneos de um mesmo sistema. Tal restrição permite captar a coesão que se observa entre as situações que compõem o curso de um evento. Além disso, ela proporciona um critério mais claro para decidir quais objetos podem ser considerados participantes de um evento em cada instante, bem como qual sucessão de situações pode traçar adequadamente o desenrolar de um evento. Assim, este trabalho introduz a noção de eventos de sistema invariante como um tipo de evento cujas instâncias são delimitadas por sistemas. Com base nisso, são derivados subtipos evento de acordo com o tipo do sistema que delimita suas instâncias. Este tra balho também propõe um caracterização ontológica para a noção de eventos auxiliares, i.e., eventos que interferem em outros eventos (e.g., causando a entrada/saída de parti cipantes em/de outro evento ou afetando sua dinâmica) e apresenta uma taxonomia de eventos auxiliares baseada no tipo de efeito que um evento de certo tipo pode ter sobre outros eventos. Por fim, a partir das taxonomias propostas e do princípio de conservação ontológica, este trabalho propõe algumas diretrizes gerais para guiar a tarefa de modela gem conceitual de eventos. A aplicação da teoria proposta é demonstrada em um caso de estudo no domínio de Geologia – mais especificamente, o caso de correntes turbidíticas e seus processos associados, tais como erosão e deposição).