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

1. Protégé
lógica de descrição na prática...

2. Editor de ontologias
Protégé 4
Raciocinador
FaCT++

3. ontologias

4. classes
indivíduos
propriedades

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

7. restrições

8. quantificadores
cardinalidade
de valor

9. quantificadores
• existencial: o indivíduo se relaciona pelo
menos uma vez com a propriedade
• universal (para todo): restringe o objeto da
relação.

11. cardinalidade
• quantidade máxima, mínima e o valor exato
de relações com determinada propriedade

12. valor
• cria uma restrição com um indivíduo
específico

13. propriedades

14. funcional
funcional inversa
transitiva
simétrica
anti-simétrica
reflexiva
anti-reflexiva

15. funcional
• um dado indivíduo só pode se relacionar a
apenas um outro indivíduo por esta
propriedade

16. funcional inversa
• só pode ser relacionado apenas com um
outro através da propriedade

17. transitiva
• se A se relaciona com B e B se relaciona
com C, então A se relaciona com C.

18. simétrica
• se A se relaciona com B, então B se
relaciona com A

19. anti-simétrica
• se A se relaciona com B, então B não se
relaciona com A

20. reflexiva
• uma propriedade é dita reflexiva quando
um individuo se relaciona com ele mesmo
através dela

21. anti-reflexiva
• uma propriedade é dita anti-reflexiva
quando um individuo não pode se
relacionar com ele mesmo através dela

22. referências
• Protégé OWL Tutorial (Matthew Horridge)
• Lógica de Descrição (Fred Freitas)