PROTEGÉ Suporte FRAMES
PROTEGÉSuporte FRAMES
INSTALAÇÃO
Descarregar do site
http://protege.stanford.edu/
Escolher o instalador que contem VJM incluso.
Executar o instalador. É automático.
INTRODUÇÃO - PROTEGÉ
Protégé é uma plataforma em JAVA de código aberto desenvolvido pelo grupo de pesquisa Stanford Medical Informatics da escola de medicina da Universidade de Stanford.
Sistema para edição de ontologias e bases de conhecimento que permite criar formulários para a aquisição de conhecimento baseados em ontologias.
Independência de um algoritmo específico de inferência Fornece uma API de representação de conhecimento
que permite a extensão do programa para necessidades específicas.
INTRODUÇÃO - PROTEGÉ
Arquitetura integrável a diversas aplicações, via componentes que podem ser adicionados ou conectados ao sistema, sem necessitar o re desenvolvimento.
Backends, permitem usuários armazenar e importar bases de conhecimento em vários formatos
Slot widgets, são usados para mostrar e editar valores de slot ou suas combinações em modos de domínio específico e tarefa específica;
Tab plug-ins, são aplicativos em janelas adicionais, como visualizadores, máquinas de inferência, intérprete sistemas especialistas (Jess), Netbeans para multiagentes em Jade, etc.
INTRODUÇÃO - PROTEGÉ
A linguagem axiomática PAL (Protégé Axiomatic Language)
Suporte Cliente-Servidor Suporte Multi usuário colaborativo
Painel Colaborativo, chat/fórum de discussão, propostas, votação, e buscas colaborativas.
ESTRUTURA DE PROTEGÉ
ALGUMOS TABS PLUGINS
PSM Librarian - Biblioteca de Métodos de Solução de Problemas reutilizáveis
JAMBALAYA - Visualização de ontologias Protégé
Algernon – Máquina de inferência baseado em regras
JessTab, ClipsTab – Intérpretes Sistemas Especialistas
XML Tab - Extração de ontologias de arquivos XML ( Extensible Markup Language ) de/para Protégé
ALGUMOS FORMATOS DE ARQUIVOS PADRÃO
.pprj Contém um projeto, formado por formulário customizado e referências
externas relacionadas às informações do domínio.
.pont Formato CLIPS que contém uma ontologia.
.pins Formato CLIPS que contém instâncias.
.OWL Formato OWL
PROTEGÉ- AS DUAS FORMAS DE MODELAGEM DE ONTOLOGIAS
O editor Protégé-Frames permite aos usuários construir e compartilhar ontologias baseadas em quadros (Frames), de acordo com a Open Knowledge Base Connectivity protocol (OKBC).
O editor Protégé-OWL editor permite aos usuários construir ontologias para redes semânticas, particularmente para o W3C's Web Ontology Language (OWL). A semântica formal OWL especifica como derivar suas conseqüências lógicas (fatos não literalmente presentes na ontologia, mas inferido pela semântica).
Quadros (Frames)
Idéia fundamental introduzida por Marvin Minksy em 1975 (“A framework to represent knowledge”).
Os Quadros ou Cenários (“Frames”), e sua variação, foi introduzidos para permitir a expressão das estruturas internas dos objetos, mantendo a possibilidade de representar herança de propriedades.
As pessoas, ao enfrentarem uma nova situação, guardam o repertório do comportamento para situações similares.
Está na origem das idéias que levaram às linguagens de programação orientadas a objetos.
Quadros (Frames)
Um quadroUm quadro consiste em um conjunto de atributos (“slots”) que atravésde seus valores, descrevem as características do objeto representadopelo quadro.
Os valores atribuídos aos atributos podem ser, além dos valores do objeto em particular, valores default, ponteiros para outros quadros, e conjuntos de regras de procedimento que podem ser implementados.
Se os valores dos atributos forem apontadores para outros quadros, cria-se uma rede de dependências entre os quadros.
Os conjuntos de procedimentos indicam que procedimento deve ser executado quando certas condições forem satisfeitas, por exemplo: ao ser criado o atributo, ao ser lido o valor do atributo, ao ser modificado o valor do atributo, ou ao ser destruído o valor do atributo.
EXEMPLO DE FRAMESMAMIFERO
RESPIRA: BOOLEAN
COME: INSTANCE
MORA: INSTANCE
:
SetStatus()
ANIMAL
:
:
É UM
LOBO
RESPIRA: BOOLEAN
COME: INSTANCE
MORA: BOOLEAN
:
SetStatus()
COELHO
RESPIRA: BOOLEAN
COME: INSTANCE
MORA: BOOLEAN
:
SetStatus
É UM É UM
COME
COLMILHO BRANCO
COME: INSTANCE
MORA: INSTANCE
:
SetStatus(matar)
BUGGS BUNNY
COME: INSTANCE
MORA: INSTANCE
:
SetStatus(morrer)
COME
É UMÉ UM
BRASIL
COORDENADA: INSTANCE
:
SetAmbente()
MORA EM MORA
EMPAIS
ESTRUTURA: INSTANCE
:
SetAmbente()É UM
CLASSE
CLASSE
CLASSE CLASSE
CLASSE
INSTANCIAINSTANCIA
INSTANCIA
PROTEGÉ- REPRESENTAÇÃO DE FRAMESLOBO
RELAÇONAMENTO: STRING
COME: INSTANCE
MORA: INSTANCE
RELAÇONAMENTO: STRING
SetStatus()
COLMILHO BRANCO
COME: INSTANCE
MORA: INSTANCE
RELAÇÃO:STRING
SetStatus(matar)
CLASSE
INDIVIDUAL
PROPIEDADES
(SLOTS)
COELHO
RELAÇÃO: STRING
COME: INSTANCE
MORA: INSTANCE
:
SetStatus
COME
BUGGS BUNNY
COME: INSTANCE
MORA: INSTANCE
RELAÇÃO
SetStatus(morrer)
COME
É UM
CLASSE
INSTANCIA
PROPIEDADE (SLOT)
PROPIEDADE (SLOT)
DOMÍNIO DOMÍNIO
INMIGOS
ALHETIUS CANINUS
COME: INSTANCE
MORA: INSTANCE
RELAÇÃO:STRING
SetStatus(matar)
É UM
TIPO DE
DOMÍNIO ::
RELAÇONAMENTO: STRING
INMIGOS
Entorno Protégé Frames
Entorno Protégé Frames
Entorno Protégé Frames
PROTEGÉSuporte OWL
OWL (Ontology Web Language)
Recomendada pela W3C (World Wide Web
Consortium), a OWL possibilita incluir um maior número
de vocabulários para descrição de classes e
propriedades, dando mais expressividade sobre o
domínio definido.
SUB-LINGUAGENS DE OWL
COMPONENTES OWL
PROPRIEDADES
Conhecidas também Atributos
Classificadas em 3 tipos:
Propriedades de Objeto
Propriedades de Tipo de Dados
Propriedades de Anotações
SIGNIFICADOS DAS PROPRIEDADES Funcionais
Funcionais Inversas
Transitivas
Simétricas
Assimétricas
Reflexiva
Irreflexiva
CLASSES
As classes são definidas como sendo o conjunto dos
indivíduos, representando concretamente os conceitos.
Organizadas em:
Superclasses
Subclasses
CRIAÇÃO DE ONTOLOGIA
Definição do domínio e escopo da ontonlogia
Reutilizar ontologias existentes (se possível)
Definir classes e sua hierarquia
Definir as propriedades da classe e suas
restrições
Criar (instanciar) a ontologia
MODELAGEM DE HIERARQUIAS DE CLASSES - PIZZA
SUB-CLASSES
Todos os indivíduos que são membros de uma
subclasse são membros da classe ancestral.
DEFININDO AS PROPRIEDADES
DEFININDO AS PROPRIEDADES
DEFININDO DOMÍNIO E ESCOPO