Felipe Dias Maria Fernanda

Apresentação em tema: "Felipe Dias Maria Fernanda"— Transcrição da apresentação:

1 Felipe Dias Maria Fernanda
RAPDIS 2 Protégé Felipe Dias Maria Fernanda

2 Como desenvolver uma Ontologia de Termos e Regras de Negócio?
Problema Como desenvolver uma Ontologia de Termos e Regras de Negócio? Criação de uma ontologia Inferência sobre essa ontologia

3 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

4 Dissertação da aluna Alissandra Martins
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

5 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

6 Teoria: Termos e Regras de Negócio (1)
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

7 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

8 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.

9 Teoria: Lógica Descritiva (2)
Linguagem ALCNR Regras de Sintaxe

10 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

11 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 restrição de cardinalidade com 0 ou 1

12 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

13 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

14 Ferramentas RAPDIS (free) Protégé (open source) RAPDIS 2 Protégé
>> Projetos Protégé (open source) RAPDIS 2 Protégé Em breve no RAPDIS (+/- 1 semana) Trabalho Completo (monografia + exemplo + apresentação + RAPDIS2Protege)