Pseudo-contraction operations for description logics
Autor(a) principal: | |
---|---|
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 |