Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP
•Télécharger en tant que PPTX, PDF•
0 j'aime•319 vues
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.
Recommandé
Contenu connexe
En vedette
En vedette (17)
Similaire à Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP
Similaire à Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP (20)
Plus de Adriano Melo
Plus de Adriano Melo (13)
Dernier
Dernier (20)
Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP
- 1. Adriano Melo Orientador: Fred Freitas Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP
- 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
- 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
Notes de l'éditeur
- premissasconclusão