Tweet
Tweet

Slide 1

Slide 1 text

swrl Adriano Melo

Slide 2

Slide 2 text

ontologias

Slide 3

Slide 3 text

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

Slide 4

Slide 4 text

classes, indivíduos e relações entre objetos

Slide 5

Slide 5 text

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

Slide 6

Slide 6 text

propriedades

Slide 7

Slide 7 text

funcional funcional inversa transitiva simétrica anti-simétrica reflexiva anti-reflexiva

Slide 8

Slide 8 text

funcional um dado indivíduo só pode se relacionar a apenas um outro indivíduo por esta propriedade

Slide 9

Slide 9 text

funcional inversa só pode ser relacionado apenas com um outro através da propriedade

Slide 10

Slide 10 text

transitiva se A se relaciona com B e B se relaciona com C, então A se relaciona com C.

Slide 11

Slide 11 text

simétrica se A se relaciona com B, então B se relaciona com A

Slide 12

Slide 12 text

anti-simétrica se A se relaciona com B, então B não se relaciona com A

Slide 13

Slide 13 text

reflexiva uma propriedade é dita reflexiva quando um individuo se relaciona com ele mesmo através dela

Slide 14

Slide 14 text

anti-reflexiva uma propriedade é dita anti-reflexiva quando um individuo não pode se relacionar com ele mesmo através dela

Slide 15

Slide 15 text

swrl

Slide 16

Slide 16 text

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

Slide 17

Slide 17 text

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

Slide 18

Slide 18 text

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

Slide 19

Slide 19 text

exemplo: com literal... Person(Adriano), hasSibling(Adriano, ?s), Man(?s), hasAge(?s, 40) -> has40YearOldBrother(Adriano, ?s)

Slide 20

Slide 20 text

exemplo: buit-in hasBrother(?x1,?x2), hasAge(?x1,?age1), hasAge(?x2,?age2), greaterThan(?age2,?age1) -> hasOlderBrother(?x1,?x2)

Slide 21

Slide 21 text

exemplo hasBrother(?x1, ?x2), hasAge(?x1, ?age1), hasAge(?x2, ?age2), subtract(10, ?age2, ?age1) -> hasDecadeOlderBrother(?x1, ?x2)

Slide 22

Slide 22 text

the simpsons!

Slide 23

Slide 23 text

indivíduos

Slide 24

Slide 24 text

na prática.. baixar a ontologia dos simpsons baixar o protégé 4 ontologia: http:/ /goo.gl/i6TEYO protégé: http:/ /goo.gl/75X6FF

Slide 25

Slide 25 text

no protégé... criar nova aba

Slide 26

Slide 26 text

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

Slide 27

Slide 27 text

como criar regras...

Slide 28

Slide 28 text

definir a propriedade “hasSibling” com uma regra prática #1

Slide 29

Slide 29 text

prática #2 definir propriedade “hasNephew” usando regras

Slide 30

Slide 30 text

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