Pseudo-contraction operations for description logics

Detalhes bibliográficos
Autor(a) principal: Matos, Vinícius Bitencourt
Data de Publicação: 2021
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/
Resumo: 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.
id USP_9faaf1cfe23ef4cc1bf40ec837d738ae
oai_identifier_str oai:teses.usp.br:tde-02092021-131750
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Pseudo-contraction operations for description logicsOperações de pseudocontração para lógicas de descriçãoBelief revisionDescription logicsLógicas de descriçãoOntology repairPseudo-contractionPseudocontraçãoReparo de ontologiasRevisão de crençasKnowledge 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.A representação de conhecimento em ontologias é baseada em Lógicas de Descrição, que são fragmentos decidíveis da lógica de primeira ordem. Uma vez que o conhecimento não é estático, é necessário lidar com a aquisição de novas informações, que podem contradizer o conhecimento existente. Revisão de Crenças busca resolver este problema, mas o arcabouço clássico AGM supõe um agente ideal capaz de lidar com conjuntos de sentenças fechados logicamente, e algumas de suas generalizações para bases de crenças (como ontologias representadas com Lógicas de Descrição) podem levar a uma perda de informação, visto que nenhuma sentença pode ser adicionada ao realizar uma operação de contração. Neste trabalho, analisamos construções kernel para operações de pseudocontração e suas propriedades formais. Ademais, mostramos a relação próxima que existe entre os conceitos e definições das áreas de Revisão de Crenças e Reparo de Ontologias (tais como pseudocontrações e reparos brandos, respectivamente), e apresentamos uma notação unificada para suas operações.Biblioteca Digitais de Teses e Dissertações da USPWassermann, RenataMatos, Vinícius Bitencourt2021-07-13info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesseng2021-09-08T14:24:39Zoai:teses.usp.br:tde-02092021-131750Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212021-09-08T14:24:39Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Pseudo-contraction operations for description logics
Operações de pseudocontração para lógicas de descrição
title Pseudo-contraction operations for description logics
spellingShingle Pseudo-contraction operations for description logics
Matos, Vinícius Bitencourt
Belief revision
Description logics
Lógicas de descrição
Ontology repair
Pseudo-contraction
Pseudocontração
Reparo de ontologias
Revisão de crenças
title_short Pseudo-contraction operations for description logics
title_full Pseudo-contraction operations for description logics
title_fullStr Pseudo-contraction operations for description logics
title_full_unstemmed Pseudo-contraction operations for description logics
title_sort Pseudo-contraction operations for description logics
author Matos, Vinícius Bitencourt
author_facet Matos, Vinícius Bitencourt
author_role author
dc.contributor.none.fl_str_mv Wassermann, Renata
dc.contributor.author.fl_str_mv Matos, Vinícius Bitencourt
dc.subject.por.fl_str_mv Belief revision
Description logics
Lógicas de descrição
Ontology repair
Pseudo-contraction
Pseudocontração
Reparo de ontologias
Revisão de crenças
topic Belief revision
Description logics
Lógicas de descrição
Ontology repair
Pseudo-contraction
Pseudocontração
Reparo de ontologias
Revisão de crenças
description 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.
publishDate 2021
dc.date.none.fl_str_mv 2021-07-13
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/
url https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1815256616545550336