Busca avançada
Ano de início
Entree

Modularidade em revisão de ontologias

Processo: 17/04410-0
Modalidade de apoio:Bolsas no Brasil - Doutorado Direto
Vigência (Início): 01 de agosto de 2017
Vigência (Término): 31 de janeiro de 2020
Área do conhecimento:Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
Pesquisador responsável:Renata Wassermann
Beneficiário:Ricardo Ferreira Guimarães
Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
Bolsa(s) vinculada(s):18/00087-2 - Melhorando a eficiência de revisão de bases de crença em logics de descrição via modularidade em ontologias, BE.EP.DD
Assunto(s):Inteligência artificial   Ontologia (ciência da computação)   Lógica computacional   Linguagem de programação
Palavra(s)-Chave do Pesquisador:decomposição atômica | modularização de ontologias | relevância lógica | revisão de crenças | revisão de ontologias | Inteligência Artificial

Resumo

Atualmente, ontologias escritas em linguagens tais como RDF e OWL são amplamente utilizadas para representar a conceitualização de um domínio que pode ser processada por computadores. Refletindo sua aplicação, as ontologias podem ter de ser atualizadas frequentemente. A grande quantidade de informação não estruturada que é codificada nas ontologias torna essa tarefa, já complicada, ainda mais difícil. Nós estudamos como as técnicas de modularização de ontologias podem ser aplicadas aos algoritmos existentes de revisão, depuração e evolução de ontologias. Nós nos concentramos particularmente na decomposição atômica de ontologias e módulos obtidos a partir desta estrutura. Apesar de haver muitos estudos sobre este conceito, não muitos deles investigam as relações entre decomposição atômica e revisão de ontologias. Assim, propomos um estudo das relações entre as técnicas de modularização baseadas na decomposição atômica e os algoritmos de revisão de ontologias. A investigação estará focada em modificar os procedimentos de revisão de ontologias para incluir modularidade como uma etapa intermediária e analisar os efeitos das diferentes noções de módulo no tempo de execução dos algoritmos. Por outro lado, utilizamos a decomposição atômica da ontologia para identificar as mudanças estruturais induzidas pelas operações analisadas. O estudo da dinâmica da estrutura das ontologias deve nos permitir tanto otimizar os atuais algoritmos para revisão de ontologias quanto definir novos operadores sobre os módulos de uma ontologia. Nós também investigamos os aspectos teóricos desses operadores alternativos, identificando suas propriedades lógicas e caracterizando-os com postulados. Finalmente, nós comparamos as características empíricas e teóricas dos operadores modulares com as abordagens existentes para revisão de ontologias. (AU)

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Mais itensMenos itens
Matéria(s) publicada(s) em Outras Mídias ( ):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)

Publicações acadêmicas
(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)
GUIMARÃES, Ricardo Ferreira. Modularidade em revisão de crenças em lógicas de descrição. 2020. Tese de Doutorado - Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME/SBI) São Paulo.

Por favor, reporte erros na lista de publicações científicas utilizando este formulário.