Uso de Ontologias de Fundamentação na. Engenharia de Ontologias. Ricardo de Almeida Falbo
|
|
- Kevin Peralta Fidalgo
- 5 Há anos
- Visualizações:
Transcrição
1 Uso de Ontologias de Fundamentação na Engenharia de Ontologias Ricardo de Almeida Falbo Engenharia de Ontologias Departamento de Informática Universidade Federal do Espírito Santo
2 Agenda Ontologias de Fundamentação A Abordagem de NeOn Análise Ontológica com UFO-A e OntoUML Análise Ontológica com UFO-C
3 Tipos de Ontologias Quanto ao grau de generalidade Ontologia de Fundamentação Ontologia Formal Conceitos muito gerais que se aplicam às diversas áreas de conhecimento (objeto, evento, ação, tempo etc.) Ontologia de Domínio Ontologia de Aplicação Ontologia de Tarefa
4 A Abordagem de NeOn Desenvolvimento com Reúso: diretrizes para o reúso de ontologias em geral, mas com foco em ontologias genéricas. Atividades: Selecionar as ontologias (genéricas) a serem reusadas Customizar as ontologias selecionadas Integrar as ontologias a serem reusadas (com a ontologia em desenvolvimento) Base: Documento de Especificação de Requisitos da Ontologia
5 Selecionar ontologias a serem reusadas 5
6 Selecionar ontologias a serem reusadas Ajustar o vocabulário das CQs explicitando termos mais abstratos que apontem teorias genéricas (parte de, ponto/intervalo de tempo, etc.) 6
7 QCs Originais 7
8 Reformulação das QCs 8
9 Selecionar ontologias a serem reusadas Identificar teorias genéricas (definições e axiomas) a serem reutilizadas. 9
10 Identificando Axiomas e Definições Teoria genérica: Mereologia (estudo dos todos e partes) Axiomas da Mereologia Clássica: Reflexividade: Todo objeto é parte de si mesmo (A é parte de A). Antissimetria: Nenhum objeto é parte de suas partes (Se A é parte de B e B é parte de A, então A e B são o mesmo objeto). Transitividade: Partes das partes são partes do todo (Se A é parte de B e B é parte de C, então A é parte de C). Definição: Partes próprias (proper parts): São as partes de um objeto que não o próprio objeto. Axioma adicional: Suplementação Fraca: Todo objeto com partes próprias tem pelo menos duas partes próprias distintas. 10
11 Identificando Axiomas e Definições 11
12 Selecionar ontologias a serem reusadas Procurar por ontologias que implementem as teorias genéricas. 12
13 Busca por Ontologias 13
14 Selecionar ontologias a serem reusadas Comparar as ontologias candidatas com os axiomas e definições da identificados na Task
15 Estudo Comparativo: Características Funcionais 15
16 Selecionar ontologias a serem reusadas Considerar características funcionais (axiomas e definições) e não funcionais. 16
17 Seleção da ontologia Peso: 75% Peso: 25% 17
18 Seleção da ontologia: Critérios de Decisão 18
19 Customizar ontologias selecionadas Remover/Adicionar elementos Alteração de nomes, definição de tipos (range) para propriedades Avaliar conteúdo resultante (erros) Problema: Remover/adicionar elementos (em especial adicionar) pode introduzir inconsistências e erros. De fato, estender ontologias genéricas não é um trabalho simples... 19
20 Integrar as ontologias Opções: - Importar ontologia customizada - Copiar ontologia customizada Novos elementos podem ser adicionados (p.ex., axiomas). 20
21 A Abordagem de NeOn Mesmo tratando de ontologias genéricas, é perceptível o foco em ontologias operacionais (OWL). Em (Guizzardi, 2006), o autor aponta que uma abordagem para representação de ontologias unicamente baseada nas linguagens de modelagem adotadas na Web Semântica é insuficiente para tratar vários problemas de interoperabilidade semântica que emergem em cenários de aplicação concretos.
22 Ontologia de Fundamentação Unificada Unified Foundational Ontology (UFO) (Guizzardi, 2005) (Guizzardi et al., 2008) Desenvolvida baseada em um número de teorias das áreas de Ontologia Formal, Lógica Filosófica, Filosofia da Linguagem, Linguística e Psicologia Cognitiva. Três partes principais: UFO-A: uma ontologia de objetos UFO-B: uma ontologia de eventos UFO-C: uma ontologia de entidades sociais
23 Unified Foundational Ontology (UFO) UFO-C (Aspectos Sociais) (Agentes, estados intencionais, objetivos, ações, normas, compromissos e reivindicações sociais, relações de dependência social etc.) UFO-A (Aspectos Estruturais) (Objetos, seus tipos, partes e todos, papéis que desempenham, suas propriedades intrínsecas e relacionais espaços de valores de propriedades etc.) UFO-B (Aspectos Dinâmicos) (Eventos e suas partes, relações entre eventos, participação de objetos em eventos, propriedades temporais de entidades, tempo, etc.)
24 Análise Ontológica com UFO-A e OntoUML UFO-A: uma ontologia de objetos (endurants) Princípios importantes para a definição de tipos de objetos: Identidade Rigidez Dependência Relacional
25 Princípio de Identidade Apoia o julgamento se dois indivíduos são o mesmo. Y
26 Princípio de Identidade Y
27 Princípio de Identidade Y
28 Princípio de Identidade Um determinado tipo de objeto pode ter mais de um critério de identidade. Ex.: Do ponto de vista biológico, quais seriam critérios de identidade para Pessoas? DNA, Digital, etc. Diferentes tipos de objetos têm diferentes critérios de identidade. Ex.: Do ponto de vista legal, quais seriam bons critérios de identidade para Pessoa e Organização, respectivamente? Pessoa: CPF Organização: CNPJ
29 Princípio de Identidade Tipos que proveem um princípio de identidade para suas instâncias são ditos Sortais. Ex.: Pessoa, Organização, Carro etc. Tipos que não proveem um princípio de identidade para suas instâncias são ditos Não Sortais. Ex.: Item Segurável
30 Princípio de Identidade Um indivíduo (instância) não pode obedecer a princípios de identidade incompatíveis.
31 Rigidez, Semi-Rigidez e Anti-Rigidez Um tipo T é rígido se para toda instância x de T, x é necessariamente uma instância de T (no senso modal). Ex.: Pessoa Um tipo T é anti-rígido se para toda instância x de T, existe a possibilidade de x não ser uma instância de T. Ex.: Estudante Um tipo T é semi-rígido quando ele não é rígido, mas também não é anti-rígido, ou seja, há subtipos de T que são rígidos e outros anti-rígidos. Ex.: Item Segurável: Carros são necessariamente segurados, mas Casas não.
32 Kinds e Subkinds Kind: Sortal rígido que provê um princípio de identidade para suas instâncias. Ex.: Pessoa, Organização Subkind: Sortal rígido que herda o princípio de identidade de outro Kind. Ex.: Homem, Mulher (subtipos de Pessoa), Instituição de Ensino (subtipo de Organização)
33 Dependência Relacional Um tipo T é relacionalmente dependente de outro tipo P via a relação R, se para toda instância x de T existe uma instância y de P tal que x e y são relacionadas através de R.
34 Papéis (Roles) e Fase (Phases) Role: Especialização anti-rígida de um Sortal, na qual a condição de especialização é de natureza relacional (derivada da participação em uma relação). Ex.: Estudante (subtipo de Pessoa) Phase: Especialização (anti-rígida) de um Sortal, na qual a condição de especialização é intrínseca ao objeto. Ex.: Criança, Adolescente, Adulto e Idoso (subtipos de Pessoa)
35 Papéis (Roles)
36 Papéis (Roles) e n A propriedade relacional (matriculado em) é parte da definição do papel Estudante.
37 Papel (Role) Kind Role Kind
38 Kind Role Kind PESSOA ESTUDANTE INSTITUIÇÃO DE ENSINO MUNDO M
39 Kind Role Kind PESSOA ESTUDANTE INSTITUIÇÃO DE ENSINO MUNDO M1
40 Kind Role Kind PESSOA ESTUDANTE INSTITUIÇÃO DE ENSINO MUNDO M2
41 Fase (Phase) Especialização (anti-rígida) de um Sortal, na qual a condição de especialização é intrínseca ao objeto. Fases são sempre definidas em Partições de Fases: conjuntos de generalização (generalization set) disjuntos e completos. Kind Phases
42 Criança Adolescente Idoso Adulto PESSOA MUNDO M1
43 Criança Adolescente Idoso Adulto PESSOA MUNDO M2
44 Criança Adolescente Idoso Adulto PESSOA MUNDO M3
45 Fases Y
46 OntoUML Extensão da UML que incorpora ao metamodelo da UML 2.0 algumas das distinções ontológicas capturas pela Ontologia de Fundamentação Unificada (UFO-A). Além de incorporar primitivas de modelagem que representam essas distinções ontológicas, o metamodelo estendido de OntoUML inclui um número de restrições lógicas que governam como essas primitivas podem ser combinadas para formar modelos conceituais consistentes.
47 Diferentes Categorias de Tipos de Objetos de OntoUML Categoria de Tipo de Objeto Identidade Rigidez Dependência Relacional SORTAL Kind (<<kind>>) Provê +R - Subkind (<<subkind>>) Herda +R - Phase (<<phase>>) Herda -R - Role (<<role>>) Herda -R NON SORTAL Category (<<category>>) - +R - Phasemixin (<<phasemixin>>) - -R - Rolemixin (<<rolemixin>>) - -R Mixin (<<mixin>>) - ~R -
48 Modelo OntoUML
49 Análise Ontológica com UFO-C UFO-C: uma ontologia de aspectos sociais UFO-C tem sido utilizada para a análise ontológica de ontologias construídas sem usar uma ontologia de fundamentação ou para a análise ontológica de recursos não ontológicos (como p.ex., normas). Ex.: Análise ontológica da norma ISO/IEC 24744
50 SEMDM - SE Metamodel for Development Methodologies: Endeavor Level
51 Unidades de Trabalho Work Unit: a job performed, or intended to be performed, within an endeavour. starttime: point in time at which the work unit is started. endtime: point in time at which the work unit is finished. Is Requirements Elicitation: A Job performed? A Job intended to be performed?
52 Unidades de Trabalho SEMDM Work Unit: a job performed, or intended to be performed, within an endeavour. UFO-C Action: Intentional event, that have the specific purpose of satisfying some intention. Can be used to represent a job performed. Internal Appointment: Commitment whose goal explicitly refers to a time interval (e.g., a scheduled meeting) Can be used to represent a job intended to be performed.
53 Unidades de Trabalho Suggestion (1) Introduce of the concepts of Scheduled Work Unit and Performed Work Unit, disambiguating the notion of WorkUnit.
54 Unidades de Trabalho Work Units Process: a large-grained work unit that operates within a given area of expertise. Task: a small-grained work unit that focuses on what must be done in order to achieve a given purpose. Technique: a small-grained work unit that focuses on how the given purpose may be achieved. How to perform a Technique? Performing the tasks it describes.
55 Unidades de Trabalho SEMDM A technique can be used to accomplish a given task. It describes how to perform some tasks. UFO-C Plan Description: is a normative description that defines a plan. Normative Description is a social object that defines one or more rules/norms recognized by at least one social agent. Technique can be represented as a Plan Description.
56 Unidades de Trabalho Suggestion (2) Consider Technique as a Plan Description (Normative Description) and not a Work Unit.
57 Produtos de Trabalho Work Product: "an artefact of interest for the endeavour". SoftwareItem: a piece of software of interest; HardwareItem: a piece of hardware of interest; Model: an abstract representation of some subject that acts as the subject s surrogate for some well defined purpose; Document: a durable depiction of a fragment of reality; CompositeWorkProduct: an aggregate of other elements. There are two different specialization criteria in the same hierarchy: decomposition and nature.
58 Produtos de Trabalho SEMDM Work Product: an artefact of interest for the endeavour. UFO-C Object: Substantial unable to perceive events or to have any intention. Work Product can be represented as an Object. Specializations with different criteria are treated in different generalization sets.
59 Produtos de Trabalho Suggestion (3) Use two generalization sets for WorkProduct: nature and mereological structure.
60 Produtor Producer: "is an agent that has the responsibility to execute work units". Person: individual person at the endeavor level; Team: organized set of producers that collectively focus on common work units; Tool: instrument that helps another producer to execute its responsibilities in an automated way; Role: collection of responsibilities that a producer can take. Are all subclasses of Producer really producers?
61 Produtor SEMDM Producer: "is an agent that has the responsibility to execute work units". Person: individual person at the endeavor level; Team: organized set of producers focusing on common work units. UFO-C Agent: substantial that creates actions, perceives events and to which we can ascribe mental states. Physical Agent (ex.: a Person) Social Agent (ex.: a Organization or a Team)
62 Produtor Suggestion (4) Consider only Person and Team as producers, grouping them with a rolemixin pattern.
63 Produtor SEMDM Producer: "is an agent that has the responsibility to execute work units". Tool: instrument that helps another producer to execute its responsibilities in an automated way. How can Tool be an agent with responsibilities (Producer)? UFO-C Tool is not a Agent, but an Object, and the use of the tool is an Object Participation.
64 Produtor Suggestion (5) Consider Tool as an Object, not a Producer.
65 Produtor SEMDM Producer: "is an agent that has the responsibility to execute work units". Role: collection of responsibilities that a producer can take. RoleKind (subclass of ProducerKind): specific kind of role, characterized by the involved responsibilities. What is the difference between Role and RoleKind, since both deal with responsibilities in a similar way? How could be assigned a Role to a Person in a Team context? UFO Social Role: is a role described by a normative description that establishes the related responsibilities.
66 Produtor Suggestions (6,7) Consider RoleKind as a Social Role. As a consequence, Role is eliminated. Solve the Team allocation issue with Allocation relators.
67 Resultado da Análise Ontológica dosemdm
Modelagem Conceitual com OntoUML Tipos de Objetos
Modelagem Conceitual com OntoUML Tipos de Objetos Ricardo de Almeida Falbo Engenharia de Ontologias Departamento de Informática Universidade Federal do Espírito Santo Agenda UFO Unified Foundational Ontology
Leia maisModelagem Conceitual com OntoUML
Modelagem Conceitual com OntoUML Ricardo de Almeida Falbo Engenharia de Ontologias Departamento de Informática Universidade Federal do Espírito Santo Agenda UFO Unified Foundational Ontology Categorias
Leia maisOntologias: Definições e Tipos
Ontologias: Definições e Tipos Ricardo de Almeida Falbo Departamento de Informática Universidade Federal do Espírito Santo Agenda O que é uma ontologia Tipos de Ontologias Ontologia Origem: Filosofia Ont-
Leia maisOntologias: Definições e Tipos
Ontologias: Definições e Tipos Ricardo de Almeida Falbo Ontologias para Engenharia de Software Departamento de Informática Universidade Federal do Espírito Santo Agenda O que é uma ontologia Tipos de Ontologias
Leia maisPadrões de Modelagem e Regras de Construção de Modelos para a criação de Ontologias de Domínio Bem-Fundamentadas em OntoUML
Padrões de Modelagem e Regras de Construção de Modelos para a criação de Ontologias de Domínio Bem-Fundamentadas em OntoUML Alex Pinheiro das Graças (NEMO/UFES) apgracas@inf.ufes.br Giancarlo Guizzardi
Leia maisOntoUML Tipos de Propriedades
OntoUML Tipos de Propriedades Ricardo de Almeida Falbo Engenharia de Ontologias Departamento de Informática Universidade Federal do Espírito Santo Agenda Propriedades em UFO-A Relações em UFO-A Relações
Leia maisOntology Patterns. Ricardo de Almeida Falbo. Engenharia de Ontologias Departamento de Informática Universidade Federal do Espírito Santo
Ontology Patterns Ricardo de Almeida Falbo Engenharia de Ontologias Departamento de Informática Universidade Federal do Espírito Santo Agenda Reutilização na Engenharia de Ontologias Ontology Patterns
Leia maisSABiO: Systematic Approach for Building Ontologies
SABiO: Systematic Approach for Building Ontologies Ricardo de Almeida Falbo Engenharia de Ontologias Departamento de Informática Universidade Federal do Espírito Santo Agenda Preocupações Principais do
Leia maisOntologias: Definições e Tipos
Ontologias: Definições e Tipos Ricardo de Almeida Falbo Engenharia de Ontologias Departamento de Informática Universidade Federal do Espírito Santo Agenda O que é uma ontologia Tipos de Ontologias Ontologia
Leia maisUMA ABORDAGEM BASEADA EM PADRÕES PARA CONSTRUÇÃO DE MODELOS CONCEITUAIS EM ONTOUML
UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO DEPARTAMENTO DE INFORMÁTICA MESTRADO EM INFORMÁTICA VICTOR AMORIM DOS SANTOS UMA ABORDAGEM BASEADA EM PADRÕES PARA CONSTRUÇÃO DE MODELOS CONCEITUAIS EM ONTOUML VITÓRIA
Leia maisCenários. Cenários são situações
Fáceis de enteder (escritos na linguagem do problema) Ajuda a unificar critérios Estimula o pensamento Ajuda no treinamento Ajuda no rastreamento Ajuda na identificação de requisitos nãofuncionais. Cenários
Leia maisRequisitos de Ontologias
Requisitos de Ontologias Ricardo de Almeida Falbo Engenharia de Ontologias Departamento de Informática Universidade Federal do Espírito Santo Agenda Engenharia de Requisitos de Software x Engenharia de
Leia maisOntologia Ontologia Formal
24 2. ONTOLOGIAS Ontologia é uma palavra de origem latina cujo significado pode ser entendido como o estudo da existência. Etimologicamente, ont- vem do particípio presente do verbo grego enai, que significa
Leia maisArquitetura e Modularização de Ontologias
Arquitetura e Modularização de Ontologias Ricardo de Almeida Falbo Engenharia de Ontologias Departamento de Informática Universidade Federal do Espírito Santo Agenda Arquitetura Ontológica Modularização
Leia maisMetodologia: I Star Exemplo: Expert Committee
Metodologia: I Star Exemplo: Expert Committee Disciplina: Engenharia de Requisitos Disciplina: Introdução a Engenharia de Software de Sistemas Multi-Agentes Antonio de Pádua Albuquerque Oliveira padua@inf.puc-rio.br
Leia maisPadrões e Antipadrões de Correspondências para Melhoria do Alinhamento. de Ontologias Bem Fundamentadas
UNIVERSIDADE FEDERAL DO ESTADO DO RIO DE JANEIRO CENTRO DE CIÊNCIAS EXATAS E TECNOLOGIA PROGRAMA DE PÓS-GRADUAÇÃO EM INFORMÁTICA Padrões e Antipadrões de Correspondências para Melhoria do Alinhamento de
Leia maisUNIVERSIDADE FEDERAL DO ESPÍRITO SANTO DEPARTAMENTO DE INFORMÁTICA MESTRADO EM INFORMÁTICA ALEX PINHEIRO DAS GRAÇAS
UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO DEPARTAMENTO DE INFORMÁTICA MESTRADO EM INFORMÁTICA ALEX PINHEIRO DAS GRAÇAS SUPORTE AUTOMATIZADO PARA CONSTRUÇÃO DE MODELOS CONCEITUAIS BEM FUNDAMENTADOS VITÓRIA,
Leia maisPMR 5237 Modelagem e Design de Sistemas Discretos em Redes de Petri
PMR 5237 Modelagem e Design de Sistemas Discretos em Redes de Petri Aula 9: Redes Coloridas e Extensões reinaldo@usp.br 1 Modelagem e análise em Redes Colorida/Alto Nível I modelagem em CPN/HLPN análise
Leia maisSoftware Testing with Visual Studio 2013 (20497)
Software Testing with Visual Studio 2013 (20497) Formato do curso: Presencial Preço: 800 Nível: Intermédio Duração: 12 horas Este curso, mostra a Programadores e Testers como utilizar as ferramentas do
Leia maisVendors Enquiries for RFP 003/2015
Date: 22/10/2015 Vendors Enquiries for RFP 003/2015 1) Question I am afraid the terms of the RFP cannot be complied by none of the companies we work with, the terms have limited the underwriters ability
Leia maisTACIANO PINHEIRO DE ALMEIDA ALCÂNTARA. Erro! Fonte de referência não encontrada. FORTALEZA
UNIVERSIDADE ESTADUAL DO CEARÁ CENTRO DE CIÊNCIAS TECNOLÓGICAS - CCT INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO CEARÁ PRÓ-REITORIA DE PÓS-GRADUAÇÃO - PROPG MESTRADO PROFISSIONAL EM COMPUTAÇÃO
Leia maisEquações de diferenças e aplicações
Departamento de Matemática e Engenharias Equações de diferenças e aplicações Rafael Domingos Garanito Luís (Licenciado) Dissertação para obtenção do grau de Mestre em Matemática (Área de Especialização
Leia maisGestão de Ontologias
Gestão de Ontologias Apresentação de Relatório Técnico Luiz Cruz Silveira Neto Apresentação para Reunião do Grupo de Ontologias (Laboratório de Políticas Públicas Participativas) E-mail: luiznetogi@gmail.com
Leia maisCIS 500 Software Foundations Fall September(continued) IS 500, 8 September(continued) 1
CIS 500 Software Foundations Fall 2003 8 September(continued) IS 500, 8 September(continued) 1 Polymorphism This version of issaidtobepolymorphic,becauseitcanbeapplied to many different types of arguments.
Leia maisONTOBRAS Seminário de Pesquisa em Ontologia do Brasil
ONTOBRAS Seminário de Pesquisa em Ontologia do Brasil Uma Análise do Uso da Ontologia IMS LD na Construção de Modelos Conceituais para E-learning Francisco Hélio de Oliveira (IF BAIANO) Laís do Nascimento
Leia maisScientific data repositories: the USP experience
Scientific data repositories: the USP experience Superintendência de Tecnologia da Informação 2018 : Sylvio Canuto Antonio Mauro Saraiva Superintendência de TI: João Eduardo Ferreira Fátima L. S. Nunes
Leia maisBruno Loureiro Rezende. Um Framework para a Automação de Testes com Linguagens de Especificação Configuráveis DISSERTAÇÃO DE MESTRADO
Bruno Loureiro Rezende Um Framework para a Automação de Testes com Linguagens de Especificação Configuráveis DISSERTAÇÃO DE MESTRADO DEPARTAMENTO DE INFORMÁTICA Programa de Pós-graduação em Informática
Leia maisBasic SharePoint Server 2013 Branding (55081)
Basic SharePoint Server 2013 Branding (55081) Formato do curso: Presencial Preço: 850 Nível: Avançado Duração: 12 horas Este curso de 2 dias, destina-se a todos os interessados em customizar o aspecto
Leia maisMathematical Foundation I: Fourier Transform, Bandwidth, and Band-pass Signal Representation PROF. MICHAEL TSAI 2011/10/13
Mathematical Foundation I: Fourier Transform, Bandwidth, and Band-pass Signal Representation PROF. MICHAEL TSAI 2011/10/13 Fourier Transform (): a non-periodic deterministic signal. Definition: the Fourier
Leia maisRRO - Uma ontologia sobre o uso de Requisitos de Software em Tempo de Execução
Bruno Borlini Duarte RRO - Uma ontologia sobre o uso de Requisitos de Software em Tempo de Execução Vitória, ES 2016 Bruno Borlini Duarte RRO - Uma ontologia sobre o uso de Requisitos de Software em Tempo
Leia maisA Avaliação dos Projetos
A Avaliação dos Projetos Luis M. Correia 1 Instituto Superior Técnico / INOV-INESC Universidade de Lisboa, Portugal As Perguntas Como são avaliadas as propostas? Quem avalia as propostas? Quais os critérios
Leia maisAs 100 melhores piadas de todos os tempos (Portuguese Edition)
As 100 melhores piadas de todos os tempos (Portuguese Edition) Click here if your download doesn"t start automatically As 100 melhores piadas de todos os tempos (Portuguese Edition) As 100 melhores piadas
Leia maisCOMPARATIVO ENTRE MODELAGEM CONCEITUAL UML E MODELAGEM ONTOUML BASEADA EM ONTOLOGIAS
UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ COORDENAÇÃO DE LICENCIATURA EM INFORMÁTICA DESENVOLVIMENTO DE SISTEMAS PARA INTERNET E DISPOSÍTIVOS MÓVEIS FABIANA BANASZESKI COMPARATIVO ENTRE MODELAGEM CONCEITUAL
Leia maisResolução da Questão 1 (Texto Definitivo)
Questão Um dos conceitos principais da teoria estatística é o chamado teste de hipóteses, que consiste em testar uma hipótese a respeito de um parâmetro da distribuição de uma variável de interesse. Nesse
Leia maisCONSTRUÇÃO DE ONTOLOGIAS DE TAREFA E SUA REUTILIZAÇÃO NA ENGENHARIA DE REQUISITOS
0 UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO DEPARTAMENTO DE INFORMÁTICA MESTRADO EM INFORMÁTICA ALINE FREITAS MARTINS CONSTRUÇÃO DE ONTOLOGIAS DE TAREFA E SUA REUTILIZAÇÃO NA ENGENHARIA DE REQUISITOS VITÓRIA,
Leia maisUm olhar que cura: Terapia das doenças espirituais (Portuguese Edition)
Um olhar que cura: Terapia das doenças espirituais (Portuguese Edition) Padre Paulo Ricardo Click here if your download doesn"t start automatically Um olhar que cura: Terapia das doenças espirituais (Portuguese
Leia maisSABiO: Systematic Approach for Building Ontologies
SABiO: Systematic Approach for Building Ontologies Ricardo de Almeida Falbo Engenharia de Ontologias Departamento de Informática Universidade Federal do Espírito Santo Agenda Preocupações Principais do
Leia maisVaporpunk - A fazenda-relógio (Portuguese Edition)
Vaporpunk - A fazenda-relógio (Portuguese Edition) Octavio Aragão Click here if your download doesn"t start automatically Vaporpunk - A fazenda-relógio (Portuguese Edition) Octavio Aragão Vaporpunk - A
Leia maisO panorama geral e informática para a biodiversidade
Formação sobre uso do GBIF em Agrobiodiversidade 15-16 de Setembro de 2016 O panorama geral e informática para a biodiversidade Rui Figueira Nó Português do GBIF ruifigueira@isa.ulisboa.pt Apoios http://bie.ala.org.au/species/http://id.biodiversity.org.au/node/apni/2903532
Leia maisBoids Model Applied to Cell Segregation
Boids Model Applied to Cell Segregation L G Brunnet, J Belmonti, G L Thomas, R M C de Almeida, H Chaté Instituto de Física, Univ. Federal do Rio Grande do Sul, Brasil and CEA-Saclay, France XXVIII Encontro
Leia maisOntology Patterns e Ontology Pattern Languages
Ontology Patterns e Ontology Pattern Languages Ricardo de Almeida Falbo Ontologias para Engenharia de Software Departamento de Informática Universidade Federal do Espírito Santo Agenda Ontology Patterns
Leia maisDesign de Multimédia e Interacção
índice 1. Interacção 1.1 Definições 2.1 Definições 2.2 Definições - diagrama 1 2.3 Definições - sumário 2.4 Princípios - diagrama 2 2.5 So, What is Interaction Design? Bibliografia 1. Interacção 1.1 Definições
Leia maisGeração semi-automática de massas de testes funcionais a partir da composição de casos de uso e tabelas de decisão
Luiz Rodolfo Neves Caldeira Geração semi-automática de massas de testes funcionais a partir da composição de casos de uso e tabelas de decisão Dissertação de Mestrado Dissertação apresentada como requisito
Leia maisA Holografia Artística como tipologia pertencente às artes virtualmente tridimensionais
UNIVERSIDADE DE LISBOA FACULDADE DE LETRAS INSTITUTO DE HISTÓRIA DA ARTE A Holografia Artística como tipologia pertencente às artes virtualmente tridimensionais Nuno Miguel José Janardo Mestrado em Arte,
Leia maisDireito da Comunicação. A criação e difusão de informação na Internet
Direito da Comunicação A criação e difusão de informação na Internet Programa da apresentação 1. Protecção do software 1.1. Introdução: Conceitos de open software e free software Conceitos de Copyright
Leia maisElicitação de requisitos de software através da utilização de questionários
Paulo Roberto de Oliveira Bastos Junior Elicitação de requisitos de software através da utilização de questionários Dissertação de Mestrado Dissertação apresentada ao Programa de Pós-graduação em Informática
Leia maisO PRíNCIPE FELIZ E OUTRAS HISTóRIAS (EDIçãO BILíNGUE) (PORTUGUESE EDITION) BY OSCAR WILDE
Read Online and Download Ebook O PRíNCIPE FELIZ E OUTRAS HISTóRIAS (EDIçãO BILíNGUE) (PORTUGUESE EDITION) BY OSCAR WILDE DOWNLOAD EBOOK : O PRíNCIPE FELIZ E OUTRAS HISTóRIAS (EDIçãO Click link bellow and
Leia maisJOSÉ RICARDO SANCHEZ FILHO ANALYSIS OF THE LONG-TERM EFFECTS OF THE VOLUNTARY OFFER OF THE BID RULE ON STOCKS LISTED IN THE BRAZILIAN STOCK EXCHANGE
UNIVERSIDADE FEDERAL DO RIO DE JANEIRO INSTITUTO COPPEAD DE ADMINISTRAÇÃO JOSÉ RICARDO SANCHEZ FILHO ANALYSIS OF THE LONG-TERM EFFECTS OF THE VOLUNTARY OFFER OF THE BID RULE ON STOCKS LISTED IN THE BRAZILIAN
Leia maisATLAS COLORIDO DE ANATOMIA VETERINáRIA DE EQUINOS (EM PORTUGUESE DO BRASIL) BY STANLEY H. ASHDOWN RAYMOND R. DONE
Read Online and Download Ebook ATLAS COLORIDO DE ANATOMIA VETERINáRIA DE EQUINOS (EM PORTUGUESE DO BRASIL) BY STANLEY H. ASHDOWN RAYMOND R. DONE DOWNLOAD EBOOK : ATLAS COLORIDO DE ANATOMIA VETERINáRIA
Leia maisCAPÍTULO. Rabelo, Ana Paula Stoppa 1 *; Andreata, Mauro Antonio 2 ; Stoppa, Marcelo Henrique 3. Universidade Federal de Goiás/Catalão
21 CAPÍTULO A UTILIZAÇÃO DE ROBÓTICA EDUCACIONAL NO ENSINO MÉDIO: UMA ESTRATÉGIA PARA AUMENTAR O INTERESSE DOS ESTUDANTES PELA FÍSICA Rabelo, Ana Paula Stoppa 1 *; Andreata, Mauro Antonio 2 ; Stoppa, Marcelo
Leia maisAlgoritmos. Objetivos. Os alunos deverão ser capazes de:
Algoritmos Objetivos Os alunos deverão ser capazes de: * Sintetizar algoritmos para resolver computações simples. * Utilizar controle de fluxo de processamento (processamento condicional e laços) * Realizar
Leia maisPlanejamento de comunicação integrada (Portuguese Edition)
Planejamento de comunicação integrada (Portuguese Edition) Click here if your download doesn"t start automatically Planejamento de comunicação integrada (Portuguese Edition) Planejamento de comunicação
Leia maisO guia do enxoval do bebê nos Estados Unidos: Dicas e segredos da maior especialista de compras em Miami, Orlando e Nova York (Portuguese Edition)
O guia do enxoval do bebê nos Estados Unidos: Dicas e segredos da maior especialista de compras em Miami, Orlando e Nova York (Portuguese Edition) Priscila Goldenberg Click here if your download doesn"t
Leia maisRule Set Each player needs to build a deck of 40 cards, and there can t be unit of different faction on the same deck.
Rule Set Each player needs to build a deck of 40 cards, and there can t be unit of different faction on the same deck. In a battle between two cards the wining card is the one that has more attack against
Leia maisIntegração Semântica de Regras de Negócio e Modelos Conceituais Ontologicamente Bem-Fundamentados
Integração Semântica de Regras de Negócio e Modelos Conceituais Ontologicamente Bem-Fundamentados Mauro Lopes Departamento de Informática Aplicada (DIA) Programa de Pós-Graduação em Informática (PPGI)
Leia maisInteligência Artificial
Inteligência Artificial Metodologia CommonKADS Utilizando um formalismo para modelar conhecimento Prof. Paulo Martins Engel História dos sistemas de conhecimento Máquinas de busca de propósito geral (1965)
Leia maisPMR 5237 Modelagem e Design de Sistemas Discretos em Redes de Petri
PMR 5237 Modelagem e Design de Sistemas Discretos em Redes de Petri Aula 9: Redes Coloridas e Extensões reinaldo@poli.usp.br 1 2 Use of Petri Nets in Design Req. Analysis Requirements Requirements Model
Leia maisENERGIA e DESENVOLVIMENTO. CCEE Lisboa, em 12 de Outubro de 2016
ENERGIA e DESENVOLVIMENTO Jorge Alberto Gil Saraiva CCEE Lisboa, em 12 de Outubro de 2016 Sadi Carnot (1824) The production of motive power in heat engines is due not to an actual consumption of the caloric,
Leia maisGestão Semântica de Dados Meteorológicos Apoiados Por Ontologias de Proveniência
Gestão Semântica de Dados Meteorológicos Apoiados Por Ontologias de Proveniência Sérgio Manuel Serra da Cruz 1,3,4 Tiago Marcos Barbosa 1, Ednaldo Oliveira dos Santos 2, Gustavo Bastos Lyra 2 1 Instituto
Leia maisAdoção: guia prático doutrinário e processual com as alterações da Lei n , de 3/8/2009 (Portuguese Edition)
Adoção: guia prático doutrinário e processual com as alterações da Lei n. 12010, de 3/8/2009 (Portuguese Edition) Luiz Antonio Miguel Ferreira Click here if your download doesn"t start automatically Adoção:
Leia maisPesquisa Qualitativa do Início ao Fim (Métodos de Pesquisa) (Portuguese Edition)
Pesquisa Qualitativa do Início ao Fim (Métodos de Pesquisa) (Portuguese Edition) Robert K. Yin Click here if your download doesn"t start automatically Pesquisa Qualitativa do Início ao Fim (Métodos de
Leia maisInválido para efeitos de certificação
UNIDADE CURRICULAR: Direção de Arte em Publicidade CURRICULAR UNIT: Art Direction in Advertising Ficha de Unidade Curricular DOCENTE RESPONSÁVEL E RESPETIVAS HORAS DE CONTATO NA UNIDADE CURRICULAR (PREENCHER
Leia maisIntrodução A Delphi Com Banco De Dados Firebird (Portuguese Edition)
Introdução A Delphi Com Banco De Dados Firebird (Portuguese Edition) Ricardo De Moraes / André Luís De Souza Silva Click here if your download doesn"t start automatically Introdução A Delphi Com Banco
Leia maisFarmacologia na Pratica de Enfermagem (Em Portuguese do Brasil)
Farmacologia na Pratica de Enfermagem (Em Portuguese do Brasil) Click here if your download doesn"t start automatically Farmacologia na Pratica de Enfermagem (Em Portuguese do Brasil) Farmacologia na Pratica
Leia maisUNIVERSIDADE CATÓLICA PORTUGUESA. Dissertação apresentada à Universidade Católica Portuguesa para obtenção do grau de Mestre em Ensino de Música
UNIVERSIDADE CATÓLICA PORTUGUESA O ARCO CONTRIBUTOS DIDÁTICOS AO ENSINO DO VIOLINO Dissertação apresentada à Universidade Católica Portuguesa para obtenção do grau de Mestre em Ensino de Música Ana Catarina
Leia maisTEN CATE. HISTOLOGIA ORAL (EM PORTUGUESE DO BRASIL) BY ANTONIO NANCI
Read Online and Download Ebook TEN CATE. HISTOLOGIA ORAL (EM PORTUGUESE DO BRASIL) BY ANTONIO NANCI DOWNLOAD EBOOK : TEN CATE. HISTOLOGIA ORAL (EM PORTUGUESE DO Click link bellow and free register to download
Leia maisDeficiência mental Síndroma de Down Tipos ou classes de Síndroma de Down Etiologia 9
Í N D I C E G E R A L ÍNDICE GERAL AGRADECIMENTOS ÍNDICE GERAL ÍNDICE DE FIGURAS ÍNDICE DE GRÁFICOS ÍNDICE DE TABELAS LISTA DE ABREVIATURAS E SÍMBOLOS RESUMO ABSTRACT I III V VI VII VIII IX X CAPÍTULO
Leia maisTESE DE MESTRADO EM ESTUDOS DA PAZ E DA GUERRA NAS NOVAS RELAÇÕES INTERNACIONAIS
TESE DE MESTRADO EM ESTUDOS DA PAZ E DA GUERRA NAS NOVAS RELAÇÕES INTERNACIONAIS O TERRORISMO ISLÂMICO TRANSNACIONAL E GLOBALIZAÇÃO Diogo Inácio da Rocha Guerreiro de Oliveira Lisboa, 08 de Fevereiro de
Leia maisA TEORIA DAS AÇÕES DE DONALD DAVIDSON
PROGRAMA DE PÓS-GRADUAÇÃO EM FILOSOFIA - UFMG A TEORIA DAS AÇÕES DE DONALD DAVIDSON Dissertação de Mestrado Fevereiro 2010 Daniel Grandinetti Rodrigues de Sousa RESUMO Davidson adota a premissa de que
Leia maisDOCUMENTAÇÃO SEMÂNTICA NA ENGENHARIA DE REQUISITOS
UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO TECNOLÓGICO DEPARTAMENTO DE INFORMÁTICA PROGRAMA DE PÓS-GRADUAÇÃO EM INFORMÁTICA BRUNO NANDOLPHO MACHADO DOCUMENTAÇÃO SEMÂNTICA NA ENGENHARIA DE REQUISITOS
Leia maisInterligação de pessoas, habilidades técnicas e fazeres e preservação da memória institucional
Interligação de pessoas, habilidades técnicas e fazeres e preservação da memória institucional Nilson Theobald Barbosa, Fabricia Carla Ferreira Sobral, Linair Maria Campos, Roberto José Rodrigues Assessoria
Leia maisFicha de unidade curricular. Curso de Licenciatura
Ficha de unidade curricular Curso de Licenciatura Unidade curricular Direito Constitucional I Docente responsável e respetiva carga letiva na unidade curricular (preencher o nome completo) José Alberto
Leia maisAtos de fala, atos falhos: uma aproximação entre as teorias linguísticas de Austin e de Wittgenstein e a psicanálise de Freud e Lacan
Claudio Eduardo Moura de Oliveira Atos de fala, atos falhos: uma aproximação entre as teorias linguísticas de Austin e de Wittgenstein e a psicanálise de Freud e Lacan Dissertação de Mestrado Dissertação
Leia maisAmérica Andina: integração regional, segurança e outros olhares (Portuguese Edition)
América Andina: integração regional, segurança e outros olhares (Portuguese Edition) Renata Peixoto de Oliveira, Silvia Garcia Nogueira, Filipe Reis Melo Click here if your download doesn"t start automatically
Leia maisPoder sem limites - o caminho do sucesso pessoal pela programação neurolinguística
Poder sem limites - o caminho do sucesso pessoal pela programação neurolinguística Anthony Robbins Click here if your download doesn"t start automatically Poder sem limites - o caminho do sucesso pessoal
Leia maisA contribuição dos significados experienciais para a constituição dos elementos obrigatórios do género narrativa escolar: um estudo de caso
UNIVERSIDADE DE LISBOA FACULDADE DE LETRAS DEPARTAMENTO DE ESTUDOS ANGLÍSTICOS A contribuição dos significados experienciais para a constituição dos elementos obrigatórios do género narrativa escolar:
Leia maisConstruindo confiança de dentro para fora EDELMAN TRUST BAROMETER
Construindo confiança de dentro para fora EDELMAN TRUST BAROMETER Edelman Trust Barometer 2014: importância crescente dos funcionários em construir a confiança 14ª edição anual e a maior análise global
Leia maisESTUDOS QUE COMPARARAM DIFERENTES EXERCÍCIOS NA MUSCULAÇÃO
ALEXANDRE DE SOUZA AVELAR ESTUDOS QUE COMPARARAM DIFERENTES EXERCÍCIOS NA MUSCULAÇÃO UNIVERSIDADE FEDERAL DE MINAS GERAIS ESCOLA DE EDUCAÇÃO FÍSICA, FISIOTERAPIA E TERAPIA OCUPACIONAL 2010 1 ALEXANDRE
Leia maisComo escrever para o Enem: roteiro para uma redação nota (Portuguese Edition)
Como escrever para o Enem: roteiro para uma redação nota 1.000 (Portuguese Edition) Arlete Salvador Click here if your download doesn"t start automatically Como escrever para o Enem: roteiro para uma redação
Leia maisUtilização de uma estratégia para identificação de fontes de informação na fase de elicitação
Edson Andrade de Moraes Utilização de uma estratégia para identificação de fontes de informação na fase de elicitação Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção
Leia maisJackson da Silva Medeiros, Maria Luiza de Almeida Campos
COMUNICAÇÃO ORAL TESAUROS CONCEITUAIS E ONTOLOGIAS DE FUNDAMENTAÇÃO: ANÁLISE COMPARATIVA ENTRE AS BASES TEÓRICO-METODOLÓGICAS UTILIZADAS EM SEUS MODELOS DE REPRESENTAÇÃO DE DOMÍNIOS Jackson da Silva Medeiros,
Leia maisTESAUROS CONCEITUAIS E ONTOLOGIAS DE FUNDAMENTAÇÃO: MODELOS CONCEITUAIS PARA REPRESENTAÇÃO DE DOMÍNIOS
GT 2: Organização e Representação do Conhecimento Modalidade de apresentação: pôster TESAUROS CONCEITUAIS E ONTOLOGIAS DE FUNDAMENTAÇÃO: MODELOS CONCEITUAIS PARA REPRESENTAÇÃO DE DOMÍNIOS Jackson da Silva
Leia maisO LUGAR DOS PAIS NA PSICANÁLISE DE CRIANÇAS
FRIDA ATIÉ O LUGAR DOS PAIS NA PSICANÁLISE DE CRIANÇAS DISSERTAÇÃO DE MESTRADO Departamento de Psicologia Pontifícia Universidade Católica do Rio de Janeiro Rio de Janeiro, 02 de março de 1999 FRIDA ATIÉ
Leia maisComo testar componentes eletrônicos - volume 1 (Portuguese Edition)
Como testar componentes eletrônicos - volume 1 (Portuguese Edition) Renato Paiotti Newton C. Braga Click here if your download doesn"t start automatically Como testar componentes eletrônicos - volume 1
Leia maisFernanda Magalhães Rumenos Guardado. Estudo sobre a IS Intertemporal na Economia Brasileira
Fernanda Magalhães Rumenos Guardado Estudo sobre a IS Intertemporal na Economia Brasileira Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do título de Mestre pelo
Leia maisA importância de Ontologias de Fundamentação para a Engenharia de Ontologias de Domínio: o caso do domínio de Processos de Software
244 IEEE LATIN AMERICA TRANSACTIONS, VOL. 6, NO. 3, JULY 2008 A importância de Ontologias de Fundamentação para a Engenharia de Ontologias de Domínio: o caso do domínio de Processos de Software G. Guizzardi,
Leia maisRádio Escolar: uma experiência de letramento midiático (Coleção Trabalhando com... na escola Livro 4) (Portuguese Edition)
Rádio Escolar: uma experiência de letramento midiático (Coleção Trabalhando com... na escola Livro 4) (Portuguese Edition) Marcos Baltar Click here if your download doesn"t start automatically Rádio Escolar:
Leia maisGoogle Android: crie aplicações para celulares e tablets (Portuguese Edition)
Google Android: crie aplicações para celulares e tablets (Portuguese Edition) João Bosco Monteiro Click here if your download doesn"t start automatically Google Android: crie aplicações para celulares
Leia maisSuporte automatizado para desenvolvimento de ontologias utilizando padrões ontológicos de domínio
André Kapich Souza Suporte automatizado para desenvolvimento de ontologias utilizando padrões ontológicos de domínio Vitória, ES 2017 André Kapich Souza Suporte automatizado para desenvolvimento de ontologias
Leia maisPolítica de. Gestão de Serviços. Service Management Policy. A direcção pretendida The desired direction
UNIVERSITY OF ÉVORA Política de Gestão de Serviços Service Management Policy A direcção pretendida The desired direction 02 controlo de versões / version control Versão Version Data Date 1.0 06-05-2015
Leia maisEnglish version at the end of this document
English version at the end of this document Ano Letivo 2016-17 Unidade Curricular MICROPROCESSADORES Cursos ENGENHARIA ELÉTRICA E ELETRÓNICA (1.º ciclo) - RAMO DE TECNOLOGIAS DE INFORMAÇÃO E TELECOMUNICAÇÕES
Leia maisPL/SQL: Domine a linguagem do banco de dados Oracle (Portuguese Edition)
PL/SQL: Domine a linguagem do banco de dados Oracle (Portuguese Edition) Eduardo Gonçalves Click here if your download doesn"t start automatically PL/SQL: Domine a linguagem do banco de dados Oracle (Portuguese
Leia maisUMA ONTOLOGIA DE COLABORAÇÃO E SUAS APLICAÇÕES
0 UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO DEPARTAMENTO DE INFORMÁTICA MESTRADO EM INFORMÁTICA FELIPE FRECHIANI DE OLIVEIRA UMA ONTOLOGIA DE COLABORAÇÃO E SUAS APLICAÇÕES VITÓRIA, AGOSTO 2009 1 FELIPE FRECHIANI
Leia maisModelagem de Casos de Uso
Modelagem de Casos de Uso 11/04/2006 Prof. Vítor Souza Análise e Projeto Orientado a Objetos Departamento de Informática Univ. Federal do Espírito Santo Licença para uso e distribuição Este material está
Leia maisSQLLOMining: Obtenção de Objetos de Aprendizagem utilizando técnicas de Aprendizado de Máquina
Susana Rosich Soares Velloso SQLLOMining: Obtenção de Objetos de Aprendizagem utilizando técnicas de Aprendizado de Máquina Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção
Leia maisEnglish version at the end of this document
English version at the end of this document Ano Letivo 2017-18 Unidade Curricular PROJETO EM ENGENHARIA DO AMBIENTE Cursos ENGENHARIA DO AMBIENTE (Mestrado Integrado) Unidade Orgânica Faculdade de Ciências
Leia maisBíblia do Obreiro - Almeida Revista e Atualizada: Concordância Dicionário Auxílios Cerimônias (Portuguese Edition)
Bíblia do Obreiro - Almeida Revista e Atualizada: Concordância Dicionário Auxílios Cerimônias (Portuguese Edition) Sociedade Bíblica do Brasil Click here if your download doesn"t start automatically Bíblia
Leia maisAs 10 bobagens mais comuns que as pessoas inteligentes cometem (Portuguese Edition)
As 10 bobagens mais comuns que as pessoas inteligentes cometem (Portuguese Edition) By Arthur Freeman, Rose Dewolf As 10 bobagens mais comuns que as pessoas inteligentes cometem (Portuguese Edition) By
Leia maisOntology Building Process: The Wine Domain
Ontology Building Process: The Wine Domain João Graça, Márcio Mourão, Orlando Anunciação, Pedro Monteiro, H. Sofia Pinto, and Virgílio Loureiro Summary Context Ontology Wine Domain Existing Wine Ontologies
Leia mais