Aula sobre SWRL

566 views

Published on

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).

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

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

No notes for slide

Aula sobre SWRL

  1. 1. swrl Adriano Melo
  2. 2. ontologias
  3. 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. 4. classes, indivíduos e relações entre objetos
  5. 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. 6. propriedades
  7. 7. funcional funcional inversa transitiva simétrica anti-simétrica reflexiva anti-reflexiva
  8. 8. funcional um dado indivíduo só pode se relacionar a apenas um outro indivíduo por esta propriedade
  9. 9. funcional inversa só pode ser relacionado apenas com um outro através da propriedade
  10. 10. transitiva se A se relaciona com B e B se relaciona com C, então A se relaciona com C.
  11. 11. simétrica se A se relaciona com B, então B se relaciona com A
  12. 12. anti-simétrica se A se relaciona com B, então B não se relaciona com A
  13. 13. reflexiva uma propriedade é dita reflexiva quando um individuo se relaciona com ele mesmo através dela
  14. 14. anti-reflexiva uma propriedade é dita anti-reflexiva quando um individuo não pode se relacionar com ele mesmo através dela
  15. 15. swrl
  16. 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. 17. exemplo: hasBrother Person(?p), hasSibling(?p, ?s), Man(?s) -> hasBrother(?p, ?s)
  18. 18. exemplo: com instância.. Person(Adriano), hasSibling(Adriano, ?s), Man(?s) -> hasBrother(Adriano, ?s)
  19. 19. exemplo: com literal... Person(Adriano), hasSibling(Adriano, ?s), Man(?s), hasAge(?s, 40) -> has40YearOldBrother(Adriano, ?s)
  20. 20. exemplo: buit-in hasBrother(?x1,?x2), hasAge(?x1,?age1), hasAge(?x2,?age2), greaterThan(?age2,?age1) -> hasOlderBrother(?x1,?x2)
  21. 21. exemplo hasBrother(?x1, ?x2), hasAge(?x1, ?age1), hasAge(?x2, ?age2), subtract(10, ?age2, ?age1) -> hasDecadeOlderBrother(?x1, ?x2)
  22. 22. the simpsons!
  23. 23. indivíduos
  24. 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. 25. no protégé... criar nova aba
  26. 26. no protégé... adicionar uma view “Rules” na aba criada
  27. 27. como criar regras...
  28. 28. definir a propriedade “hasSibling” com uma regra prática #1
  29. 29. prática #2 definir propriedade “hasNephew” usando regras
  30. 30. referências http://protege.cim3.net/cgi-bin/wiki.pl? SWRLLanguageFAQ http://protegewiki.stanford.edu/wiki/ SWRLTab

×