swrlAdriano Melo
ontologias
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
classes, indivíduos e relações entre objetos
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
propriedades
funcionalfuncional inversa
transitivasimétrica
anti-simétricareflexiva
anti-reflexiva
funcionalum dado indivíduo só pode se relacionar a apenas um outro indivíduo por esta propriedade
funcional inversasó pode ser relacionado apenas com um outro através da propriedade
transitivase A se relaciona com B e B se relaciona com C, então A se relaciona com C.
simétricase A se relaciona com B, então B se relaciona com A
anti-simétricase A se relaciona com B, então B não se relaciona com A
reflexivauma propriedade é dita reflexiva quando um individuo se relaciona com ele mesmo através dela
anti-reflexivauma propriedade é dita anti-reflexiva quando um individuo não pode se relacionar com ele mesmo através dela
swrl
o que é...Sigla para Semantic Web Rule LanguageBaseada em OWL: as regras são expressas a partir de conceitos de OWL
classespropriedadesindivíduosliterais...
exemplo: hasBrother
Person(?p),hasSibling(?p, ?s),Man(?s) ->
hasBrother(?p, ?s)
exemplo: com instância..
Person(Adriano), hasSibling(Adriano, ?s), Man(?s) ->
hasBrother(Adriano, ?s)
exemplo: com literal...
Person(Adriano),hasSibling(Adriano, ?s),Man(?s),hasAge(?s, 40) ->
has40YearOldBrother(Adriano, ?s)
exemplo: buit-in
hasBrother(?x1,?x2),hasAge(?x1,?age1),hasAge(?x2,?age2),greaterThan(?age2,?age1) ->
hasOlderBrother(?x1,?x2)
exemplo
hasBrother(?x1, ?x2),hasAge(?x1, ?age1),hasAge(?x2, ?age2),subtract(10, ?age2, ?age1) ->
hasDecadeOlderBrother(?x1, ?x2)
the simpsons!
indivíduos
na prática..
baixar a ontologia dos simpsonsbaixar o protégé 4
ontologia: http://goo.gl/i6TEYOprotégé: http://goo.gl/75X6FF
no protégé...
criar nova aba
no protégé...
adicionar uma view “Rules” na aba criada
como criar regras...
definir a propriedade “hasSibling” com uma regra
prática #1
prática #2definir propriedade “hasNephew” usando regras
referências
http://protege.cim3.net/cgi-bin/wiki.pl?SWRLLanguageFAQhttp://protegewiki.stanford.edu/wiki/SWRLTab
Recommended