Aula sobre SWRL
-
Upload
adriano-melo -
Category
Documents
-
view
245 -
download
0
description
Transcript of Aula sobre SWRL
![Page 1: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/1.jpg)
swrlAdriano Melo
![Page 2: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/2.jpg)
ontologias
![Page 3: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/3.jpg)
definição
Corpo de conhecimento declarativo sobre um dado domínio, assunto ou área do conhecimentoNa 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
![Page 4: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/4.jpg)
classes, indivíduos e relações entre objetos
![Page 5: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/5.jpg)
axiomas em OWL 2Regras do domínio em questãoclasses: 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
![Page 6: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/6.jpg)
propriedades
![Page 7: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/7.jpg)
funcionalfuncional inversa
transitivasimétrica
anti-simétricareflexiva
anti-reflexiva
![Page 8: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/8.jpg)
funcionalum dado indivíduo só pode se relacionar a apenas um outro indivíduo por esta propriedade
![Page 9: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/9.jpg)
funcional inversasó pode ser relacionado apenas com um outro através da propriedade
![Page 10: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/10.jpg)
transitivase A se relaciona com B e B se relaciona com C, então A se relaciona com C.
![Page 11: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/11.jpg)
simétricase A se relaciona com B, então B se relaciona com A
![Page 12: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/12.jpg)
anti-simétricase A se relaciona com B, então B não se relaciona com A
![Page 13: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/13.jpg)
reflexivauma propriedade é dita reflexiva quando um individuo se relaciona com ele mesmo através dela
![Page 14: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/14.jpg)
anti-reflexivauma propriedade é dita anti-reflexiva quando um individuo não pode se relacionar com ele mesmo através dela
![Page 15: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/15.jpg)
swrl
![Page 16: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/16.jpg)
o que é...Sigla para Semantic Web Rule LanguageBaseada em OWL: as regras são expressas a partir de conceitos de OWL
classespropriedadesindivíduosliterais...
![Page 17: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/17.jpg)
exemplo: hasBrother
Person(?p),hasSibling(?p, ?s),Man(?s) ->
hasBrother(?p, ?s)
![Page 18: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/18.jpg)
exemplo: com instância..
Person(Adriano), hasSibling(Adriano, ?s), Man(?s) ->
hasBrother(Adriano, ?s)
![Page 19: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/19.jpg)
exemplo: com literal...
Person(Adriano),hasSibling(Adriano, ?s),Man(?s),hasAge(?s, 40) ->
has40YearOldBrother(Adriano, ?s)
![Page 20: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/20.jpg)
exemplo: buit-in
hasBrother(?x1,?x2),hasAge(?x1,?age1),hasAge(?x2,?age2),greaterThan(?age2,?age1) ->
hasOlderBrother(?x1,?x2)
![Page 21: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/21.jpg)
exemplo
hasBrother(?x1, ?x2),hasAge(?x1, ?age1),hasAge(?x2, ?age2),subtract(10, ?age2, ?age1) ->
hasDecadeOlderBrother(?x1, ?x2)
![Page 22: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/22.jpg)
the simpsons!
![Page 23: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/23.jpg)
indivíduos
![Page 24: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/24.jpg)
na prática..
baixar a ontologia dos simpsonsbaixar o protégé 4
ontologia: http://goo.gl/i6TEYOprotégé: http://goo.gl/75X6FF
![Page 25: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/25.jpg)
no protégé...
criar nova aba
![Page 26: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/26.jpg)
no protégé...
adicionar uma view “Rules” na aba criada
![Page 27: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/27.jpg)
como criar regras...
![Page 28: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/28.jpg)
definir a propriedade “hasSibling” com uma regra
prática #1
![Page 29: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/29.jpg)
prática #2definir propriedade “hasNephew” usando regras
![Page 30: Aula sobre SWRL](https://reader034.fdocumentos.tips/reader034/viewer/2022050816/5495fa6dac79593b2e8b4f9e/html5/thumbnails/30.jpg)
referências
http://protege.cim3.net/cgi-bin/wiki.pl?SWRLLanguageFAQhttp://protegewiki.stanford.edu/wiki/SWRLTab