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
• Modalidade de apoio: Bolsas no Exterior - Estágio de Pesquisa - Doutorado Direto
• Data de Início da vigência: 15 de abril de 2018
• Data de Término da vigência: 14 de janeiro de 2019
• Área de 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: 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
• Instituição Anfitriã: 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
• Palavra(s)-Chave do Pesquisador: descomposição atômica | modularização de ontologias | relevância lógica | revisão de crenças | Inteligência Artificial

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)