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

Abstract

Existem 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.