O slideshow foi denunciado.
Utilizamos seu perfil e dados de atividades no LinkedIn para personalizar e exibir anúncios mais relevantes. Altere suas preferências de anúncios quando desejar.
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

473 visualizações

Publicada em

Publicada em: Educação, Tecnologia
  • Seja o primeiro a comentar

  • Seja a primeira pessoa a gostar disto

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 />

×