Modularity in belief change of description logic bases (2020)
- Authors:
- Autor USP: GUIMARÃES, RICARDO FERREIRA - IME
- Unidade: IME
- Sigla do Departamento: MAC
- Assunto: CIENCIA DA COMPUTACAO
- Keywords: Belief change; Modularisação de ontologias; Ontology modularisation; Ontology repair; Reparo de ontologias; Revisão de crenças
- Agências de fomento:
- Language: Inglês
- Abstract: Ontologias escritas em OWL e OWL 2 são uma das ferramentas mais importantes em Representação do Conhecimento atualmente. Elas permitem o compartilhamento de conhecimento de um domínio sem ambiguidade e operar com conhecimento implícito usando motores de inferência. No entanto, as ontologias podem se tornar grandes e muito complexas, dificultando sua manutenção e evolução. Um fator complicador é que uma pequena mudança pode desencadear consequências inesperadas e indesejadas. Soluções para manutenção correta surgiram paralelamente em Revisão de Crenças e em Reparo de Ontologias. Apesar de terem visões distintas, as propostas em ambos os campos se baseiam nas Lógicas de Descrição, que sustentam OWL e OWL 2. Portanto, as abordagens de ambos os campos para reparar ontologias são muito semelhantes no nível algorítmico. Consequentemente, ambas as áreas precisam lidar com a alta complexidade do problema de depuração e com o número exponencial de resultados válidos. Há estudos em Reparo de Ontologias que usam técnicas de modularisação para extrair subconjuntos menores da ontologia, suficientes para corrigir uma consequência específica. Ainda assim, os efeitos dos módulos no arcabouço de Revisão de Crenças são pouco estudados: tanto os postulados quanto os mecanismos que selecionam o resultado final podem mudar quando um módulo substitui a entrada. Além disso, o impacto no desempenho computacional foi avaliado apenas em corpora pequenos e com pouca variação de parâmetros. E mais, onúmero de resultados ainda é exponencial e as soluções existentes raramente fornecem meios para mitigar esse problema. Nesse sentido, esta tese provê uma visão mais clara dos efeitos da modularidade no arcabouço teórico que garante mudanças racionais (consistentes). Também avalia-se empiricamente o impacto da modularidade no desempenho usando módulos baseados em localidade em um cenário mais amplo. Adicionalmente, investiga-se como os módulos podem ajudar os usuários a filtrar e selecionar os melhores resultados com eficiência. Identifica-se uma categoria de módulos para os quais os postulados de Revisão de Crenças permanecem os mesmos e, em condições moderadas, o resultado permanece inalterado. A análise dos dados experimentais mostra que os módulos são benéficos para o desempenho, muitas vezes exibindo ganhos de ordens de magnitude. Além disso, os métodos propostos para auxiliar na seleção de reparos provaram ser competitivos com os métodos existentes
- Imprenta:
- Data da defesa: 28.01.2020
-
ABNT
GUIMARÃES, Ricardo Ferreira. Modularity in belief change of description logic bases. 2020. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-043422/. Acesso em: 31 dez. 2025. -
APA
Guimarães, R. F. (2020). Modularity in belief change of description logic bases (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-043422/ -
NLM
Guimarães RF. Modularity in belief change of description logic bases [Internet]. 2020 ;[citado 2025 dez. 31 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-043422/ -
Vancouver
Guimarães RF. Modularity in belief change of description logic bases [Internet]. 2020 ;[citado 2025 dez. 31 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-043422/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
