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

0 views
1,136 views

Published on

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

Published in: Technology
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
0
On SlideShare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
47
Comments
0
Likes
0
Embeds 0
No embeds

No notes for 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)

    ×