Este documento discute a normalização de ontologias em lógica de descrições ALC para permitir o raciocínio com a ferramenta leanCoP. O autor propõe um algoritmo de normalização mais simples e eficiente em termos de uso de memória em comparação com o algoritmo original. O trabalho futuro inclui implementar o algoritmo do método de conexões para lógica de descrições ALC e testá-lo em um banco de ontologias.

1. Adriano Melo Orientador: Fred Freitas Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP

2. Web semântica

3. “Eutenho um sonhopara a Web [emqueoscomputadores] tornam-se capazes de analisartodosos dados na Web, oconteúdo, links, e as transações entre pessoasecomputadores.” Tim Berners-Lee

4. Camadas da Web Semântica

5. Lógica de descrições ALC

6. Lógica de descrições Família de linguagens para representação de conhecimento Semântica formal bem definida Objetivo: expressividade + completude Separação entre: Terminologia (predicados): TBox Asserções (constantes, instâncias): ABox

7. Lógica de descrições - famílias

8. Sintaxe e semântica da família ALC

9. Normalização para o método das conexões

10. Método das conexões Método direto para fazer dedução Está sendo formalizado para lógicas de descrições (trabalho de Fred) :D Algumas implementações disponíveis: leanCoP, SETHEO, randoCoP

11. P ¬P ¬Q ¬R Q Q R R

12. P ¬P ¬Q ¬R Q Q R R .

13. P ¬P ¬Q ¬R Q Q R R .

14. P ¬P ¬Q ¬R Q Q R R . .

15. P ¬P ¬Q ¬R Q Q R R . . .

16. P ¬P ¬Q ¬R Q Q R R . . .

17. P ¬P ¬Q ¬R Q Q R R . .

18. P ¬P ¬Q ¬R Q Q R R . . .

19. P ¬P ¬Q ¬R Q Q R R . .

20. Axiomas em lógica de descrições (DL) Os axiomas em DL estão na forma: Pai ⊑ Pessoa ^ temFilho.Pessoa PizzaMargherita ≡ Pizza ^∃hasTopping.Tomate ^ ∃hasTopping.Muzzarella ^ ∀hasTopping(Tomate ⊔ Muzzarela)

21. Regras de tradução para a base de conhecimento

23. Algoritmo proposto

24. Algoritmo proposto

25. Algoritmo proposto Mais simples e mais eficiente em relação ao uso de memória Para o caso : Algoritmo proposto Algoritmo original

26. Trabalhos futuros Criar um banco de ontologias para testes Escrever artigo com a melhoria da normalização? Implementar o algoritmo do método das conexões para lógica de descrições ALC

27. leanCoP Foi usado para processar saídas do algoritmo de normalização Não foi usado para fazer raciocínio Grande esforço para fazer consultas (leanCoP = Prolog, OWLAPI = Java, comunicação = através de conversão entre formatos de arquivos) Resultados com raciocínio foram adiados para o mestrado :D

28. Adriano Melo Orientador: Fred Freitas Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP