Protégé: Lógica de descrições na pratica!

1.415 visualizações

Publicada em

Aula para mostrar alguns constructos de lógica de descrições usando o Protégé.

Publicada em: 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
1.415
No SlideShare
0
A partir de incorporações
0
Número de incorporações
1
Ações
Compartilhamentos
0
Downloads
61
Comentários
0
Gostaram
0
Incorporações 0
Nenhuma incorporação

Nenhuma nota no slide
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • Protégé: Lógica de descrições na pratica!

    1. 1. Protégélógica de descrição na prática...
    2. 2. Editor de ontologias Protégé 4 Raciocinador FaCT++
    3. 3. ontologias
    4. 4. classes indivíduospropriedades
    5. 5. • classes • definem os conceitos da ontologia • podem ser vistos como conjuntos• indivíduos • são as instâncias (objetos) da ontologia• propriedades • relações entre indivíduos • atributos dos indivíduos
    6. 6. restrições
    7. 7. quantificadores cardinalidade de valor
    8. 8. quantificadores• existencial: o indivíduo se relaciona pelo menos uma vez com a propriedade• universal (para todo): restringe o objeto da relação.
    9. 9. cardinalidade• quantidade máxima, mínima e o valor exato de relações com determinada propriedade
    10. 10. valor• cria uma restrição com um indivíduo específico
    11. 11. propriedades
    12. 12. funcionalfuncional inversa transitiva simétrica anti-simétrica reflexiva anti-reflexiva
    13. 13. funcional• um dado indivíduo só pode se relacionar a apenas um outro indivíduo por esta propriedade
    14. 14. funcional inversa• só pode ser relacionado apenas com um outro através da propriedade
    15. 15. transitiva• se A se relaciona com B e B se relaciona com C, então A se relaciona com C.
    16. 16. simétrica• se A se relaciona com B, então B se relaciona com A
    17. 17. anti-simétrica• se A se relaciona com B, então B não se relaciona com A
    18. 18. reflexiva• uma propriedade é dita reflexiva quando um individuo se relaciona com ele mesmo através dela
    19. 19. anti-reflexiva• uma propriedade é dita anti-reflexiva quando um individuo não pode se relacionar com ele mesmo através dela
    20. 20. referências• Protégé OWL Tutorial (Matthew Horridge)• Lógica de Descrição (Fred Freitas)

    ×