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

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