Pseudo-contraction operations for description logics

• Ano de defesa: 2021
• Autor(a) principal: Matos, Vinícius Bitencourt
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: eng
• Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
• Palavras-chave em Português: Belief revision; Description logics; Lógicas de descrição; Ontology repair; Pseudo-contraction; Pseudocontração; Reparo de ontologias; Revisão de crenças
• Link de acesso: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/

Knowledge representation in ontologies is based on Description Logics, which are decidable fragments of first-order logic. Since knowledge is not static, it is necessary to deal with the acquisition of new information, which may contradict the existing knowledge. Belief Revision aims to solve this problem, but the classical AGM framework assumes an ideal agent that is able to deal with logically closed sets of sentences, and some of its generalisations for belief bases (such as ontologies represented in Description Logics) may lead to loss of information due to the fact that no sentence can be added when a contraction operation is performed. In this work, we analyse kernel constructions for pseudo-contraction operations and their formal properties. Also, we show the close relationship between concepts and definitions of Belief Revision and Ontology Repair (such as pseudo-contractions and gentle repairs, respectively), and we propose a unified notation for their operations.