Embed Size (px)
Citation preview
Web semânticae Ontologias OWL
EBRALC 2008 Renata Vieira PUCRS
e Ontologias OWL
EBRALC 2008 Renata Vieira PUCRS
EBRALC 2008 Renata Vieira PUCRS
EBRALC 2008 Renata Vieira PUCRS
EBRALC 2008 Renata Vieira PUCRS
EBRALC 2008 Renata Vieira PUCRS
EBRALC 2008 Renata Vieira PUCRS
EBRALC 2008 Renata Vieira PUCRS
EBRALC 2008 Renata Vieira PUCRS
EBRALC 2008 Renata Vieira PUCRS
EBRALC 2008 Renata Vieira PUCRS
Ontologias OWL
EBRALC 2008 Renata Vieira PUCRS
Verificação de consistência
Classificação
Verificação de consistência
• Identifica conceitos inconsistentes pela sua definição
• Exemplo
EBRALC 2008 Renata Vieira PUCRS
• Exemplo – Icecream tem propriedade hasTopping, que é
uma propriedade do domínio Pizza, logo deveria ser enquadrado como uma sub-classe de Pizza, mas, como foi definida como propriedade disjunta de Pizza a classe é apontada como inconsistente
EBRALC 2008 Renata Vieira PUCRS
Classificação
• De acordo com a definição a hierarquia pode ser re-organizada – uma lista das modificações é apresentada
EBRALC 2008 Renata Vieira PUCRS
– uma lista das modificações é apresentada
– uma nova hierarquia é inferida: inferred hierarchy
• Exemplo– MeatyPizza (e outras) são reclassificadas como
Non VegetarianPizza
EBRALC 2008 Renata Vieira PUCRS
EBRALC 2008 Renata Vieira PUCRS
EBRALC 2008 Renata Vieira PUCRS
EBRALC 2008 Renata Vieira PUCRS
EBRALC 2008 Renata Vieira PUCRS
EBRALC 2008 Renata Vieira PUCRS
Utilização do reasoner
• Utilizar o reasoner Pellet -Em Pellet, executar pellet-dig.bat
EBRALC 2008 Renata Vieira PUCRS
In Protégé, go to “OWL” menu and select “Preferences”. For the “Reasoner URL” value enter “http://localhost:8081” and hit the close button.
Prática
• Modelar uma ontologia no Protege, com classes, propriedades e restrições
• Na sua ontologia criar uma situação de
EBRALC 2008 Renata Vieira PUCRS
• Na sua ontologia criar uma situação de inconsistência e definições que exemplifiquem a re-classificação de conceitos.
