Uma ferramenta para a extração de axiomas de uma ontologia utilizando programação em lógica indutiva

Abstract

A Programação em Lógica Indutiva (PLI) é um campo interseção entre o Aprendizado de Máquina e a Programação em Lógica que investiga o aprendizado de hipóteses e faz uso da lógica matemática para resolver problemas, como por exemplo, induzir padrões por meio da experiência. A PLI permite a máquina aprender regras ao observar o conjunto de exemplos expressos em Lógica de Primeira Ordem. A descoberta de padrões pode servir por sua vez para a criação de regras de inferência a serem incluídas em uma base de conhecimento ou como axiomas em uma Ontologia. Uma contribuição da PLI para a aprendizagem de Ontologias poderia ser a identificação de novos axiomas a partir de suas instâncias de relacionamentos na construção de seu conjunto de treinamento. Este trabalho vem contribuir ao Grupo de pesquisa em Engenharia de Software e Engenharia do Conhecimento (GESEC) no que tange o projeto de pesquisa Hermes: “Aprendizagem e Povoamento de Ontologias a partir de Fontes Textuais”, com a proposta de uma técnica e uma ferramenta semiautomática intitulada TAILP (Technique for Ontology Axioms extraction using ILP) para a extração de axiomas de uma ontologia povoada a partir de suas instâncias de relacionamentos não taxonômicos. Uma interface gráfica foi desenvolvida e integralizada com a ferramenta APPONTO que reúne aplicações para a construção automatizada de ontologias a partir de fontes textuais. Por fim um estudo de caso é proposto para a avaliação da técnica no domínio do direito sucessório, seus resultados são expostos e analisados.