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

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

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

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

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

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

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

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.

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

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

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

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

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

Ferramentas RAPDIS (free) Protégé (open source) RAPDIS 2 Protégé www.geti.dcc.ufrj.br >> Projetos Protégé (open source) http://protege.stanford.edu/ RAPDIS 2 Protégé Em breve no RAPDIS (+/- 1 semana) Trabalho Completo (monografia + exemplo + apresentação + RAPDIS2Protege) www.dcc.ufrj.br/~dias/websemantica