Aula sobre SWRL

The Semantic Web Rule Language (SWRL) is a proposed language for the Semantic Web that can be used to express rules as well as logic, combining OWL DL or OWL Lite with a subset of the Rule Markup Language (itself a subset of Datalog).

Transcript

1. swrl Adriano Melo
2. ontologias
3. definição Corpo de conhecimento declarativo 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 e relações entre objetos
5. axiomas em OWL 2 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. propriedades
7. funcional funcional inversa transitiva simétrica anti-simétrica reflexiva anti-reflexiva
8. funcional um dado indivíduo só pode se relacionar a apenas um outro indivíduo por esta propriedade
9. funcional inversa só pode ser relacionado apenas com um outro através da propriedade
10. transitiva se A se relaciona com B e B se relaciona com C, então A se relaciona com C.
11. simétrica se A se relaciona com B, então B se relaciona com A
12. anti-simétrica se A se relaciona 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. swrl
16. o que é... Sigla para 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. exemplo: buit-in hasBrother(?x1,?x2), hasAge(?x1,?age1), hasAge(?x2,?age2), greaterThan(?age2,?age1) -> hasOlderBrother(?x1,?x2)
21. exemplo hasBrother(?x1, ?x2), hasAge(?x1, ?age1), hasAge(?x2, ?age2), subtract(10, ?age2, ?age1) -> hasDecadeOlderBrother(?x1, ?x2)
22. the simpsons!
23. indivíduos
24. na prática.. baixar a ontologia dos simpsons baixar o protégé 4 ontologia: http:/ /goo.gl/i6TEYO protégé: http:/ /goo.gl/75X6FF
25. no protégé... criar nova aba
26. no protégé... adicionar uma view “Rules” na aba criada
27. como criar regras...
28. definir a propriedade “hasSibling” com uma regra prática #1
29. prática #2 definir propriedade “hasNephew” usando regras
30. referências http:/ /protege.cim3.net/cgi-bin/wiki.pl? SWRLLanguageFAQ http:/ /protegewiki.stanford.edu/wiki/ SWRLTab