Uma abordagem de modularização de ontologias baseada na satisfação lógica de questões de competência

Detalhes bibliográficos
Autor(a) principal: SILVA, Camila Bezerra da
Data de Publicação: 2019
Tipo de documento: Tese
Idioma: por
Título da fonte: Repositório Institucional da UFPE
dARK ID: ark:/64986/0013000009mmk
Texto Completo: https://repositorio.ufpe.br/handle/123456789/35377
Resumo: SILVA, Camila Bezerra da, também é conhecido(a) em citações bibliográficas por: Bezerra, Camila
id UFPE_c8180a7b40e615f106d32929b4207bae
oai_identifier_str oai:repositorio.ufpe.br:123456789/35377
network_acronym_str UFPE
network_name_str Repositório Institucional da UFPE
repository_id_str 2221
spelling SILVA, Camila Bezerra dahttp://lattes.cnpq.br/1786495571618301http://lattes.cnpq.br/6195215666638965FREITAS, Frederico Luiz Gonçalves de2019-11-29T18:46:52Z2019-11-29T18:46:52Z2019-03-07SILVA, Camila Bezerra da. Uma abordagem de modularização de ontologias baseada na satisfação lógica de questões de competência. 2019. Tese (Doutorado em Ciência da Computação) – Universidade Federal de Pernambuco, Recife, 2019.https://repositorio.ufpe.br/handle/123456789/35377ark:/64986/0013000009mmkSILVA, Camila Bezerra da, também é conhecido(a) em citações bibliográficas por: Bezerra, CamilaExistem várias abordagens propostas para modularização, porém a questão de inconsistência lógica entre módulos é pouco explorada. De fato, a inconsistência pode ser resultado de questões de competência inconsistentes, algo nunca explorado na literatura. As QCs são fundamentais para o desenvolvimento de ontologias, já que representam os requisitos de uma ontologia. A proposta deste trabalho é justamente explorar essa lacuna através de uma abordagem para implementação de modularização de ontologias e checagem de consistência utilizando questões de competência. A vantagem principal desse tipo de abordagem é justamente prover checagem de consistência entre QCs, mesmo que estejam em módulos diferentes. Isso é possível quando partimos da fase inicial do desenvolvimento de ontologias, ou seja, quando só existem as QCs e ainda não há a ontologia. No caso, as QCs são modularizadas e a consistência, entre elas, é verificada. Este trabalho provê principalmente as seguintes contribuições: (1) Permitir um melhor entendimento das QCs, especialmente em ontologias muito grandes, e o reuso, por meio da modularização; e (2) Checar inconsistências entre QCs durante o início do desenvolvimento, consequentemente, entre módulos, poupando tempo e trabalho nas fases posteriores.CAPESThere are several approaches proposed for modularization, but the question of inconsistency between modules is little explored. In fact inconsistencies may be due to inconsistency of competence questions, something that has never been explored in the literature. The Competency Questions(CQs) are fundamental to the development of ontologies, as they represent the requirements of an ontology. The purpose of this thesis is to exploit that gap, by developing an approach and implementation of ontology modularization using competency questions. The main advantage of this approach is precisely to provide consistency checking among competency questions, even if they are in different modules. The approach applies in situations in which starting from the scratch, i.e., there are only the competency questions, and there is no ontology yet. In this case competency questions are modularized and consistency among them checked. This work mainly provides the following contributions: (1) To allow a better understanding of the competency questions, especially in large ontologies, and the reuse, by modularization; and (2) Check inconsistencies among CQs during the development, saving time and effort in the later stages.porUniversidade Federal de PernambucoPrograma de Pos Graduacao em Ciencia da ComputacaoUFPEBrasilAttribution-NonCommercial-NoDerivs 3.0 Brazilhttp://creativecommons.org/licenses/by-nc-nd/3.0/br/info:eu-repo/semantics/openAccessInteligência computacionalModularização de ontologiasQuestões de competênciasUma abordagem de modularização de ontologias baseada na satisfação lógica de questões de competênciainfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisdoutoradoreponame:Repositório Institucional da UFPEinstname:Universidade Federal de Pernambuco (UFPE)instacron:UFPECC-LICENSElicense_rdflicense_rdfapplication/rdf+xml; charset=utf-8811https://repositorio.ufpe.br/bitstream/123456789/35377/2/license_rdfe39d27027a6cc9cb039ad269a5db8e34MD52LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://repositorio.ufpe.br/bitstream/123456789/35377/3/license.txt8a4605be74aa9ea9d79846c1fba20a33MD53ORIGINALTESE Camila Bezerra da Silva.pdfTESE Camila Bezerra da Silva.pdfapplication/pdf4958994https://repositorio.ufpe.br/bitstream/123456789/35377/1/TESE%20Camila%20Bezerra%20da%20Silva.pdfcb7c915b29e0dc7c41caf3e95d65adc1MD51TEXTTESE Camila Bezerra da Silva.pdf.txtTESE Camila Bezerra da Silva.pdf.txtExtracted texttext/plain249838https://repositorio.ufpe.br/bitstream/123456789/35377/4/TESE%20Camila%20Bezerra%20da%20Silva.pdf.txtf823aec72e3ea121ce2a7e4198a7de1bMD54THUMBNAILTESE Camila Bezerra da Silva.pdf.jpgTESE Camila Bezerra da Silva.pdf.jpgGenerated Thumbnailimage/jpeg1316https://repositorio.ufpe.br/bitstream/123456789/35377/5/TESE%20Camila%20Bezerra%20da%20Silva.pdf.jpga805294a5ef968e9ad2cc480f5dbbfd7MD55123456789/353772019-11-30 02:11:09.431oai:repositorio.ufpe.br:123456789/35377Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Repositório InstitucionalPUBhttps://repositorio.ufpe.br/oai/requestattena@ufpe.bropendoar:22212019-11-30T05:11:09Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)false
dc.title.pt_BR.fl_str_mv Uma abordagem de modularização de ontologias baseada na satisfação lógica de questões de competência
title Uma abordagem de modularização de ontologias baseada na satisfação lógica de questões de competência
spellingShingle Uma abordagem de modularização de ontologias baseada na satisfação lógica de questões de competência
SILVA, Camila Bezerra da
Inteligência computacional
Modularização de ontologias
Questões de competências
title_short Uma abordagem de modularização de ontologias baseada na satisfação lógica de questões de competência
title_full Uma abordagem de modularização de ontologias baseada na satisfação lógica de questões de competência
title_fullStr Uma abordagem de modularização de ontologias baseada na satisfação lógica de questões de competência
title_full_unstemmed Uma abordagem de modularização de ontologias baseada na satisfação lógica de questões de competência
title_sort Uma abordagem de modularização de ontologias baseada na satisfação lógica de questões de competência
author SILVA, Camila Bezerra da
author_facet SILVA, Camila Bezerra da
author_role author
dc.contributor.authorLattes.pt_BR.fl_str_mv http://lattes.cnpq.br/1786495571618301
dc.contributor.advisorLattes.pt_BR.fl_str_mv http://lattes.cnpq.br/6195215666638965
dc.contributor.author.fl_str_mv SILVA, Camila Bezerra da
dc.contributor.advisor1.fl_str_mv FREITAS, Frederico Luiz Gonçalves de
contributor_str_mv FREITAS, Frederico Luiz Gonçalves de
dc.subject.por.fl_str_mv Inteligência computacional
Modularização de ontologias
Questões de competências
topic Inteligência computacional
Modularização de ontologias
Questões de competências
description SILVA, Camila Bezerra da, também é conhecido(a) em citações bibliográficas por: Bezerra, Camila
publishDate 2019
dc.date.accessioned.fl_str_mv 2019-11-29T18:46:52Z
dc.date.available.fl_str_mv 2019-11-29T18:46:52Z
dc.date.issued.fl_str_mv 2019-03-07
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv SILVA, Camila Bezerra da. Uma abordagem de modularização de ontologias baseada na satisfação lógica de questões de competência. 2019. Tese (Doutorado em Ciência da Computação) – Universidade Federal de Pernambuco, Recife, 2019.
dc.identifier.uri.fl_str_mv https://repositorio.ufpe.br/handle/123456789/35377
dc.identifier.dark.fl_str_mv ark:/64986/0013000009mmk
identifier_str_mv SILVA, Camila Bezerra da. Uma abordagem de modularização de ontologias baseada na satisfação lógica de questões de competência. 2019. Tese (Doutorado em Ciência da Computação) – Universidade Federal de Pernambuco, Recife, 2019.
ark:/64986/0013000009mmk
url https://repositorio.ufpe.br/handle/123456789/35377
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv Attribution-NonCommercial-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nc-nd/3.0/br/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Attribution-NonCommercial-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nc-nd/3.0/br/
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Pernambuco
dc.publisher.program.fl_str_mv Programa de Pos Graduacao em Ciencia da Computacao
dc.publisher.initials.fl_str_mv UFPE
dc.publisher.country.fl_str_mv Brasil
publisher.none.fl_str_mv Universidade Federal de Pernambuco
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPE
instname:Universidade Federal de Pernambuco (UFPE)
instacron:UFPE
instname_str Universidade Federal de Pernambuco (UFPE)
instacron_str UFPE
institution UFPE
reponame_str Repositório Institucional da UFPE
collection Repositório Institucional da UFPE
bitstream.url.fl_str_mv https://repositorio.ufpe.br/bitstream/123456789/35377/2/license_rdf
https://repositorio.ufpe.br/bitstream/123456789/35377/3/license.txt
https://repositorio.ufpe.br/bitstream/123456789/35377/1/TESE%20Camila%20Bezerra%20da%20Silva.pdf
https://repositorio.ufpe.br/bitstream/123456789/35377/4/TESE%20Camila%20Bezerra%20da%20Silva.pdf.txt
https://repositorio.ufpe.br/bitstream/123456789/35377/5/TESE%20Camila%20Bezerra%20da%20Silva.pdf.jpg
bitstream.checksum.fl_str_mv e39d27027a6cc9cb039ad269a5db8e34
8a4605be74aa9ea9d79846c1fba20a33
cb7c915b29e0dc7c41caf3e95d65adc1
f823aec72e3ea121ce2a7e4198a7de1b
a805294a5ef968e9ad2cc480f5dbbfd7
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)
repository.mail.fl_str_mv attena@ufpe.br
_version_ 1815172770861940736

Registros relacionados