Adriano Melo<br />Orientador: Fred Freitas<br />Normalização de ontologias em lógica de descrições ALC para o raciocínio c...
Web semântica<br />
“Eutenho um sonhopara a Web [emqueoscomputadores] tornam-se capazes de analisartodosos dados na Web, oconteúdo, links, e a...
Camadas da Web Semântica<br />
Lógica de descrições ALC<br />
Lógica de descrições<br />Família de linguagens para representação de conhecimento<br />Semântica formal bem definida<br /...
Lógica de descrições - famílias<br />
Sintaxe e semântica da família ALC<br />
Normalização para o método das conexões<br />
Método das conexões<br />Método direto para fazer dedução<br />Está sendo formalizado para lógicas de descrições (trabalho...
	P   ¬P  ¬Q  ¬R<br />	Q    Q     R<br />	    	  R<br />
P   ¬P  ¬Q  ¬R<br />	Q    Q     R<br />	    	  R<br />.<br />
	P   ¬P  ¬Q  ¬R<br />	Q    Q     R<br />	    	  R<br />.<br />
	P   ¬P  ¬Q  ¬R<br />	Q    Q     R<br />	    	  R<br />.<br />.<br />
	P   ¬P  ¬Q  ¬R<br />	Q    Q     R<br />	    	  R<br />.<br />.<br />.<br />
	P   ¬P  ¬Q  ¬R<br />	Q    Q     R<br />	    	  R<br />.<br />.<br />.<br />
	P   ¬P  ¬Q  ¬R<br />	Q    Q     R<br />	    	  R<br />.<br />.<br />
	P   ¬P  ¬Q  ¬R<br />	Q    Q     R<br />	    	  R<br />.<br />.<br />.<br />
	P   ¬P  ¬Q  ¬R<br />	Q    Q     R<br />	    	  R<br />.<br />.<br />
Axiomas em lógica de descrições (DL)<br />Os axiomas em DL estão na forma:<br />Pai ⊑ Pessoa ^ temFilho.Pessoa<br />PizzaM...
Regras de tradução para a base de conhecimento<br />
Algoritmo proposto<br />
Algoritmo proposto<br />
Algoritmo proposto<br />Mais simples e mais eficiente em relação ao uso de memória<br />Para o caso               :<br />A...
Trabalhos futuros<br />Criar um banco de ontologias para testes<br />Escrever artigo com a melhoria da normalização?<br />...
leanCoP<br />Foi usado para processar saídas do algoritmo de normalização<br />Não foi usado para fazer raciocínio<br />Gr...
Adriano Melo<br />Orientador: Fred Freitas<br />Normalização de ontologias em lógica de descrições ALC para o raciocínio c...
Próximos SlideShares
Carregando em…5
×

Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP

452 visualizações

Publicada em

Publicada em: Educação, Tecnologia
0 comentários
0 gostaram
Estatísticas
Notas
  • Seja o primeiro a comentar

  • Seja a primeira pessoa a gostar disto

Sem downloads
Visualizações
Visualizações totais
452
No SlideShare
0
A partir de incorporações
0
Número de incorporações
2
Ações
Compartilhamentos
0
Downloads
4
Comentários
0
Gostaram
0
Incorporações 0
Nenhuma incorporação

Nenhuma nota no slide
  • premissasconclusão
  • Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP

    1. 1. Adriano Melo<br />Orientador: Fred Freitas<br />Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP<br />
    2. 2. Web semântica<br />
    3. 3. “Eutenho um sonhopara a Web [emqueoscomputadores] tornam-se capazes de analisartodosos dados na Web, oconteúdo, links, e as transações entre pessoasecomputadores.”<br />Tim Berners-Lee<br />
    4. 4. Camadas da Web Semântica<br />
    5. 5. Lógica de descrições ALC<br />
    6. 6. Lógica de descrições<br />Família de linguagens para representação de conhecimento<br />Semântica formal bem definida<br />Objetivo: expressividade + completude<br />Separação entre:<br />Terminologia (predicados): TBox<br />Asserções (constantes, instâncias): ABox<br />
    7. 7. Lógica de descrições - famílias<br />
    8. 8. Sintaxe e semântica da família ALC<br />
    9. 9. Normalização para o método das conexões<br />
    10. 10. Método das conexões<br />Método direto para fazer dedução<br />Está sendo formalizado para lógicas de descrições (trabalho de Fred) :D<br />Algumas implementações disponíveis: leanCoP, SETHEO, randoCoP<br />
    11. 11. P ¬P ¬Q ¬R<br /> Q Q R<br /> R<br />
    12. 12. P ¬P ¬Q ¬R<br /> Q Q R<br /> R<br />.<br />
    13. 13. P ¬P ¬Q ¬R<br /> Q Q R<br /> R<br />.<br />
    14. 14. P ¬P ¬Q ¬R<br /> Q Q R<br /> R<br />.<br />.<br />
    15. 15. P ¬P ¬Q ¬R<br /> Q Q R<br /> R<br />.<br />.<br />.<br />
    16. 16. P ¬P ¬Q ¬R<br /> Q Q R<br /> R<br />.<br />.<br />.<br />
    17. 17. P ¬P ¬Q ¬R<br /> Q Q R<br /> R<br />.<br />.<br />
    18. 18. P ¬P ¬Q ¬R<br /> Q Q R<br /> R<br />.<br />.<br />.<br />
    19. 19. P ¬P ¬Q ¬R<br /> Q Q R<br /> R<br />.<br />.<br />
    20. 20. Axiomas em lógica de descrições (DL)<br />Os axiomas em DL estão na forma:<br />Pai ⊑ Pessoa ^ temFilho.Pessoa<br />PizzaMargherita ≡ Pizza ^∃hasTopping.Tomate ^ ∃hasTopping.Muzzarella ^ ∀hasTopping(Tomate ⊔ Muzzarela)<br />
    21. 21. Regras de tradução para a base de conhecimento<br />
    22. 22.
    23. 23. Algoritmo proposto<br />
    24. 24. Algoritmo proposto<br />
    25. 25. Algoritmo proposto<br />Mais simples e mais eficiente em relação ao uso de memória<br />Para o caso :<br />Algoritmo proposto<br />Algoritmo original<br />
    26. 26. Trabalhos futuros<br />Criar um banco de ontologias para testes<br />Escrever artigo com a melhoria da normalização?<br />Implementar o algoritmo do método das conexões para lógica de descrições ALC<br />
    27. 27. leanCoP<br />Foi usado para processar saídas do algoritmo de normalização<br />Não foi usado para fazer raciocínio<br />Grande esforço para fazer consultas (leanCoP = Prolog, OWLAPI = Java, comunicação = através de conversão entre formatos de arquivos)<br />Resultados com raciocínio foram adiados para o mestrado :D<br />
    28. 28. Adriano Melo<br />Orientador: Fred Freitas<br />Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP<br />

    ×