• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Thèse de Doctorat
DOI
https://doi.org/10.11606/T.45.2020.tde-19032020-043422
Document
Auteur
Nom complet
Ricardo Ferreira Guimarães
Adresse Mail
Unité de l'USP
Domain de Connaissance
Date de Soutenance
Editeur
São Paulo, 2020
Directeur
Jury
Wassermann, Renata (Président)
Castillo, Ana Helena Ozaki Rivera
Meyer, Thomas
Peñaloza, Rafael
Sattler, Ulrike
Titre en anglais
Modularity in belief change of description logic bases
Mots-clés en anglais
Belief change
Ontology modularisation
Ontology repair
Resumé en anglais
Ontologies written in OWL and OWL 2 are one of the most prominent tools in Knowledge Representation nowadays. They allow the sharing of knowledge of a domain unambiguously and operate with implicit knowledge using reasoning algorithms. However, ontologies can become large and very complex, hindering their maintenance and evolution. One complicating factor is that a small change can trigger unexpected and unwanted consequences. Solutions to sound maintenance have emerged separately in Belief Change and Ontology Repair. Despite having distinct views, proposals in both fields often rely on the Description Logics, which underpin OWL and OWL 2. Hence, the approaches from both fields for repairing ontologies are very similar at the algorithmic level. Consequently, both areas need to address the high complexity of the debugging problem and cope with the exponential number of correct outcomes. There are studies in Ontology Repair which use modularity techniques to extract smaller subsets of the ontology which are sufficient to fix a particular consequence. Still, the effect of modules on the Belief Change framework is poorly understood: either the postulates or the mechanisms which select the final result might change when a module replaces the input. Also, the impact on computational performance was only assessed in small corpora and with few variations in parameters. Moreover, the number of outcomes is still exponential, and existing solutions rarely provide means to mitigate this issue. In this context, this thesis provides a clearer understanding of the effects of modularity in the theoretical framework that guarantees rational (sound) changes. Also, it evaluates the performance impact of modularity empirically using locality-based modules in a broader setting. Additionally, it also investigates how modules can aid users to filter and select the best results efficiently. A category of modules is identified for which the postulates from Belief Change remain the same, and under mild conditions, the result is unchanged. The analysis of experimental data shows that modules are beneficial for performance, often displaying gains of orders of magnitude. Also, the methods proposed to aid in the selection of repairs are shown to be competitive with existing approaches.
Titre en portugais
Modularidade em revisão de crenças em lógicas de descrição
Mots-clés en portugais
Modularisação de ontologias
Reparo de ontologias
Revisão de crenças
Resumé en portugais
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, o nú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.
 
AVERTISSEMENT - Regarde ce document est soumise à votre acceptation des conditions d'utilisation suivantes:
Ce document est uniquement à des fins privées pour la recherche et l'enseignement. Reproduction à des fins commerciales est interdite. Cette droits couvrent l'ensemble des données sur ce document ainsi que son contenu. Toute utilisation ou de copie de ce document, en totalité ou en partie, doit inclure le nom de l'auteur.
thesis.pdf (3.74 Mbytes)
Date de Publication
2020-03-19
 
AVERTISSEMENT: Apprenez ce que sont des œvres dérivées cliquant ici.
Tous droits de la thèse/dissertation appartiennent aux auteurs
CeTI-SC/STI
Bibliothèque Numérique de Thèses et Mémoires de l'USP. Copyright © 2001-2020. Tous droits réservés.