RAPDIS 2 Protégé
Felipe Dias
Maria Fernanda
Web Semântica
- RAPDIS 2 Protégé -
Problema
 Como desenvolver uma Ontologia de
Termos e Regras de Negócio?
– Criação de uma ontologia
– Inferência sobre essa ontologia
Web Semântica
- RAPDIS 2 Protégé -
Motivação (1)
 Ferramenta RAPDIS
–
–
–
–
Ferramenta de apoio à MDA
Definição de Termos e Regras de Negócio
Geração de código em Prolog
Repositório interno em XML
Web Semântica
- RAPDIS 2 Protégé -
Motivação (2)
 Prolog
– Máquina de inferência existente (SWI-Prolog)
– Lógica Descritiva
 Ferramenta Protégé
– Apóia desenvolvimento de Ontologias
 Dissertação da aluna Alissandra Martins
– Trabalhos futuros
Web Semântica
- RAPDIS 2 Protégé -
Metodologia

Cadastrar Termos e Regras de Negócio na
ferramenta RAPDIS
–



Armazenamento em XML
Desenvolver uma ferramenta para gerar o OWL a
partir dos Termos e Regras de Negócio
Testar a leitura do OWL da Ontologia no Protégé
Realizar inferência sobre a Ontologia a partir do
Prolog equivalente
Web Semântica
- RAPDIS 2 Protégé -
Teoria:
Termos e Regras de Negócio (1)
 Regras de Negócio
– Definem ou restringem o negócio
• <termo1> tem permissão para <verbo> <termo2>
• “aluno tem permissão para cursar disciplina”
– Definem um termo (Fato)
• Subtipo de <termo>
• Parte de <termo>
• Possui atributo <termo>, entre outros
Web Semântica
- RAPDIS 2 Protégé -
Teoria:
Termos e Regras de Negócio (2)
 Subtipo:
– 6 Categorias básicas
•
•
•
•
•
•
Evento
Papel
Relação de Associação
Especificação
Coisa Tangível
Senso Comum
Web Semântica
- RAPDIS 2 Protégé -
Teoria:
Lógica Descritiva
 Uma base de conhecimento de lógica
descritiva é formada por:
– TBox: parte terminológica.
• Contém a definição dos conceitos e papéis.
– ABox: parte assertiva.
• Contém os fatos sobre os conceitos e papéis.
Web Semântica
- RAPDIS 2 Protégé -
Teoria:
Lógica Descritiva (2)
Linguagem ALCNR
Regras de Sintaxe
Web Semântica
- RAPDIS 2 Protégé -
Teoria:
Lógica Descritiva (3)
Semântica
Interpretação I
- Domínio: DI
- Mapeamento:
-
Indivíduos: aI  DI
Conceitos: CI  DI
Papéis: R  DI x DI
Web Semântica
- RAPDIS 2 Protégé -
Teoria:
Lógica Descritiva (4)

SHOIN(D): serve como base para OWL-DL
–
–
–

transitividade
hierarquia de classes
restrições de cardinalidade
SHIF(D): serve como base para OWL-Lite
–
–
–
transitividade
hierarquia de classes
restrição de cardinalidade com 0 ou 1
Web Semântica
- RAPDIS 2 Protégé -
Prática:
Mapeamento dos Termos e Regras

Termos de Negócio
–

>> Classes
Regra de Negócio de Subtipo
– >> Subclasses

Regras de Negócio (Fatos)
–

>> Propriedades
Demais Regras de Negócio
–
>> Trabalhos Futuros
Web Semântica
- RAPDIS 2 Protégé -
Prática:
Ferramenta RAPDIS 2 Protégé


Implementado em Delphi
Lê os arquivos XML de um projeto RAPDIS
–

Componente DOM
Cria um arquivo OWL com a definição dos
Termos e Regras de Negócio que pode ser lido
pelo Protégé 3.2 Beta
Web Semântica
- RAPDIS 2 Protégé -
Ferramentas

RAPDIS (free)
–

Protégé (open source)
–

http://protege.stanford.edu/
RAPDIS 2 Protégé
–

www.geti.dcc.ufrj.br >> Projetos
Em breve no RAPDIS (+/- 1 semana)
Trabalho Completo (monografia + exemplo +
apresentação + RAPDIS2Protege)
–
www.dcc.ufrj.br/~dias/websemantica
Web Semântica
- RAPDIS 2 Protégé -