Protégé: Lógica de descrições na pratica!
Upcoming SlideShare
Loading in...5
×
 

Protégé: Lógica de descrições na pratica!

on

  • 1,179 views

Aula para mostrar alguns constructos de lógica de descrições usando o Protégé.

Aula para mostrar alguns constructos de lógica de descrições usando o Protégé.

Statistics

Views

Total Views
1,179
Views on SlideShare
1,179
Embed Views
0

Actions

Likes
0
Downloads
22
Comments
0

0 Embeds 0

No embeds

Accessibility

Categories

Upload Details

Uploaded via as Apple Keynote

Usage Rights

CC Attribution-NonCommercial LicenseCC Attribution-NonCommercial License

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n

Protégé: Lógica de descrições na pratica! Protégé: Lógica de descrições na pratica! Presentation Transcript

  • Protégélógica de descrição na prática...
  • Editor de ontologias Protégé 4 Raciocinador FaCT++
  • ontologias
  • classes indivíduospropriedades
  • • classes • definem os conceitos da ontologia • podem ser vistos como conjuntos• indivíduos • são as instâncias (objetos) da ontologia• propriedades • relações entre indivíduos • atributos dos indivíduos
  • restrições
  • quantificadores cardinalidade de valor
  • quantificadores• existencial: o indivíduo se relaciona pelo menos uma vez com a propriedade• universal (para todo): restringe o objeto da relação.
  • cardinalidade• quantidade máxima, mínima e o valor exato de relações com determinada propriedade
  • valor• cria uma restrição com um indivíduo específico
  • propriedades
  • funcionalfuncional inversa transitiva simétrica anti-simétrica reflexiva anti-reflexiva
  • funcional• um dado indivíduo só pode se relacionar a apenas um outro indivíduo por esta propriedade
  • funcional inversa• só pode ser relacionado apenas com um outro através da propriedade
  • transitiva• se A se relaciona com B e B se relaciona com C, então A se relaciona com C.
  • simétrica• se A se relaciona com B, então B se relaciona com A
  • anti-simétrica• se A se relaciona com B, então B não se relaciona com A
  • reflexiva• uma propriedade é dita reflexiva quando um individuo se relaciona com ele mesmo através dela
  • anti-reflexiva• uma propriedade é dita anti-reflexiva quando um individuo não pode se relacionar com ele mesmo através dela
  • referências• Protégé OWL Tutorial (Matthew Horridge)• Lógica de Descrição (Fred Freitas)