A connection-based reasoner for ALC ontologies

• Autor(a) principal: MELO FILHO, Dimas Luiz Diogo de
• Data de Publicação: 2015
• Tipo de documento: Dissertação
• Idioma: eng
• Título da fonte: Repositório Institucional da UFPE
• Texto Completo: https://repositorio.ufpe.br/handle/123456789/28117
• topic: Inteligência artificial; Ontologias; Lógicas de descrição

O Método de Conexões é um procedimento de prova baseado na busca de conexões entre literais complementares em cláusulas diferentes dentro de uma matriz. Abordagens baseadas em conexões foram usadas como base para a construção de raciocinadores automáticos em diversas lógicas, tais como lógica modal, lógica intuicionista e lógica de primeira ordem. Neste contexto, este trabalho apresenta o Raccoon, um raciocinador automático multi-plataforma para Lógicas de Descrição, em particular para a Linguagem de Descrição ALC. O raciocinador é baseado na abordagem CM-ALC, que é uma adaptação do Método de Conexões para ALC. O raciocinador implementa normalização, utiliza técnicas adicionais de otimização e suporta o raciocínio sobre ontologias OWL 2. Foram conduzidos experimentos a fim de avaliar o desempenho do raciocinador, comparando-o com raciocinadores do estado da arte, utilizando o dataset da OWL Reasoner Evaluation Workshop de 2014. Os resultados apresentados indicam que o raciocinador possui um desempenho competitivo para ontologias ALC.