Busca avançada
Ano de início
Entree

Melhorando a eficiência de revisão de bases de crença em logics de descrição via modularidade em ontologias

Processo: 18/00087-2
Linha de fomento:Bolsas no Exterior - Estágio de Pesquisa - Doutorado Direto
Vigência (Início): 15 de abril de 2018
Vigência (Término): 14 de janeiro de 2019
Á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
Supervisor no Exterior: Ulrike Melanie Sattler
Instituição-sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
Local de pesquisa: University of Manchester, Inglaterra  
Vinculado à bolsa:17/04410-0 - Modularidade em revisão de ontologias, BP.DD
Assunto(s):Ontologia (ciência da computação)   Inteligência artificial   Revisão de crenças   OWL   Lógica computacional

Resumo

De acordo com a W3C, ontologias em OWL (ou OWL 2) são o meio padrão para compartilhar informação na Web Semântica. Entre as muitas visões de ontologias, adotamos aqui a definição de ontologias como documentos que descrevem a conceitualização de um domínio, em uma linguagem que possa ser processada por um computador. Especificamente, abordamos o problema de reparar e evoluir ontologias de grande escala de forma eficiente. Como OWL e OWL 2 estão fundamentadas na família das lógicas de descrição, podemos tratar a codificação de ontologias em tais linguagens como conjuntos finitos de axiomas lógicos. Essa visão nos permite combinar a teoria de Revisão de Crenças, a qual formaliza mudanças racionais em objetos lógicos, e as estratégias de modularização, que podem reduzir os custos computacionais associados com as operações em Revisão de Crenças. (AU)

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