Uma abordagem para conversão de ontologias de fundamentação em ontologias OWL-DL

Detalhes bibliográficos
Ano de defesa: 2013
Autor(a) principal: Luís Antonio de Almeida Rodriguez
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Instituto Tecnológico de Aeronáutica
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2769
Resumo: O uso da inteligência computacional proporcionada pelas ontologias vem ganhando expressão entre desenvolvedores de Sistemas de Informação, o que mostra a direção para a qual essas Comunidades estão caminhando. A necessidade da descoberta de linguagens que representem essas ontologias e que possam conter expressividade, a ponto de haver compromisso com uma realidade, ao mesmo tempo em que as mesmas tenham poder computacional, fez com que os desenvolvedores desses artefatos começassem a pensar sobre qual a proporção ideal entre a expressividade e o poder computacional de uma ontologia. A OntoUML é uma linguagem de nível ontológico, baseada nos preceitos da UFO e destinada a gerar modelos que representam ontologias de fundamentação com grande poder de expressão, mas que coloca em detrimento o poder computacional. A perda semântica ocorrente nas tecnologias existentes que convertem esses modelos em ontologias OWL é um problema, pois, com o avanço do uso desses dois padrões e, considerando o poder de definir em nível ontológico e epistemológico estruturas que definem inteligência computacional, o principal prejuízo causado por essa lacuna é a perda da capacidade de expressão de modelos muito elaborados quando convertidos em ontologias OWL. O objetivo deste trabalho é descrever uma abordagem de conversão de modelos de referência gerados pela notação OntoUML em ontologias OWL-DL instanciáveis aplicando uma avaliação de consistência semântica. O núcleo da ideia é uma ferramenta de software que realiza a conversão dos modelos, que é baseada em um conjunto de regras de transformação entre as representações, e um conjunto de axiomas que validam a ontologia formal gerada. O benefício gerado com a técnica é a capacidade de usar a expressividade de um modelo OntoUML com tratabilidade computacional. Os experimentos executados para a validação da proposta indicam a aplicabilidade da abordagem descrita.