Baixado 15 vezes
Carregado porAdriano Melo
Aula sobre SWRL
O documento discute ontologias e a linguagem de regras da web semântica (SWRL), baseada em OWL, classificando classes, propriedades e indivíduos dentro de um domínio de conhecimento. Ele descreve as propriedades funcionais e suas características, como simetria e reflexividade, e oferece exemplos práticos de como criar regras no Protégé. Além disso, fornece links e recursos para aprofundamento na utilização de ontologias e na própria ferramenta Protégé.
Aula sobre SWRL
- 1.
- 2.
- 3. definição Corpo de conhecimentodeclarativo sobre um dado domínio, assunto ou área do conhecimento Na prática, hierarquias de conceitos (classes) com suas relações, restrições, axiomas e terminologia associada http://www.cin.ufpe.br/~in1122/081/slides/tutONTO-mProf.PPT
- 4. classes, indivíduos erelações entre objetos
- 5. axiomas em OWL2 Regras do domínio em questão classes: equivalentes, disjuntas ou subclasses; propriedades: domínio, ser reflexiva, ser funcional, subpropriedades... indivíduos: iguais, diferentes, asserção de classes e propriedades... http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#Axioms
- 6.
- 7.
- 8. funcional um dado indivíduosó pode se relacionar a apenas um outro indivíduo por esta propriedade
- 9. funcional inversa só podeser relacionado apenas com um outro através da propriedade
- 10. transitiva se A serelaciona com B e B se relaciona com C, então A se relaciona com C.
- 11. simétrica se A serelaciona com B, então B se relaciona com A
- 12. anti-simétrica se A serelaciona com B, então B não se relaciona com A
- 13. reflexiva uma propriedade édita reflexiva quando um individuo se relaciona com ele mesmo através dela
- 14. anti-reflexiva uma propriedade édita anti-reflexiva quando um individuo não pode se relacionar com ele mesmo através dela
- 15.
- 16. o que é... Siglapara Semantic Web Rule Language Baseada em OWL: as regras são expressas a partir de conceitos de OWL classes propriedades indivíduos literais...
- 17. exemplo: hasBrother Person(?p), hasSibling(?p, ?s), Man(?s)-> hasBrother(?p, ?s)
- 18. exemplo: com instância.. Person(Adriano), hasSibling(Adriano,?s), Man(?s) -> hasBrother(Adriano, ?s)
- 19. exemplo: com literal... Person(Adriano), hasSibling(Adriano,?s), Man(?s), hasAge(?s, 40) -> has40YearOldBrother(Adriano, ?s)
- 20.
- 21. exemplo hasBrother(?x1, ?x2), hasAge(?x1, ?age1), hasAge(?x2,?age2), subtract(10, ?age2, ?age1) -> hasDecadeOlderBrother(?x1, ?x2)
- 22.
- 23.
- 24. na prática.. baixar aontologia dos simpsons baixar o protégé 4 ontologia: http://goo.gl/i6TEYO protégé: http://goo.gl/75X6FF
- 25.
- 26. no protégé... adicionar uma view“Rules” na aba criada
- 27.
- 28. definir a propriedade“hasSibling” com uma regra prática #1
- 29. prática #2 definir propriedade“hasNephew” usando regras
- 30.