SWRL é uma linguagem baseada em OWL que permite expressar regras lógicas a partir de conceitos como classes, propriedades e indivíduos de ontologias OWL. Exemplos mostram como definir regras para inferir novas propriedades como "tem irmão mais velho" a partir de propriedades como idade. O documento também fornece instruções sobre como criar e executar regras no Protégé.

1. swrl
Adriano Melo
(@adrianomelo)

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

3. exemplo: hasBrother
Person(?p) ^ hasSibling(?p, ?s) ^ Man(?s) -> hasBrother(?p, ?s)

4. exemplo: com instância..
Person(Fred) ^ hasSibling(Fred, ?s) ^ Man(?s) ->
hasBrother(Fred, ?s)

5. exemplo: com literal...
Person(Fred) ^ hasSibling(Fred, ?s) ^ Man(?s) ^ hasAge(?s, 40)
has40YearOldBrother(Fred, ?s)

6. exemplo: buit-in
hasBrother(?x1,?x2) ^ hasAge(?x1,?age1) ^ hasAge(?x2,?age2) ^
swrlb:greaterThan(?age2,?age1) hasOlderBrother(?x1,?x2)

7. exemplo
hasBrother(?x1,?x2) ^ hasAge(?x1,?age1) ^ hasAge(?x2,?age2) ^
swrlb:subtract(10,?age2,?age1) hasDecadeOlderBrother(?x1,?
x2)

8. the simpsons!

9. indivíduos

10. na prática..
baixar a ontologia dos simpsons
baixar o protégé 4

11. no protégé...
criar nova aba

12. no protégé...
adicionar uma
view “Rules” na
aba criada

13. como criar regras...

14. exercício
definir propriedades temIrmão, temIrmã,
temNeto, temNeta
definir classes Tio e Tia

15. referências
http://protege.cim3.net/cgi-bin/wiki.pl?
SWRLLanguageFAQ
http://protegewiki.stanford.edu/wiki/
SWRLTab