OWL-DL Classes, Axiomas de Fechamento e Cobertura. Tópicos Especiais em Ontologias UTFPR/CPGEI/Prof. Tacla
|
|
- Larissa Peralta Rico
- 6 Há anos
- Visualizações:
Transcrição
1 OWL-DL Classes, Axiomas de Fechamento e Cobertura Tópicos Especiais em Ontologias UTFPR/CPGEI/Prof. Tacla
2 SUMÁRIO Conjunção (Intersecção) de classes União de classes Complementares Disjuntas Axioma de Fechamento Axioma de Cobertura Partição de valores 2
3 CONJUNÇÃO DE CLASSES Exemplo: Pizza vegetariana e Pizza apimentada (spicy) Condição necessária: PizzaVegSpicy Pizza П (VegetarianPizza П SpicyPizza) Pizza PizzaVegetariana PizzaApimentada 3
4 CONJUNÇÃO DE CLASSES Esta Pizza ao ser classificada será inferida como subclasse de SpicyPizza e de VegetarianPizza 4
5 CONJUNÇÃO DE CLASSES OWL-DL <owl:class rdf:id="spicyandvegetarianpizza"> <rdfs:subclassof> <owl:class> <owl:intersectionof rdf:parsetype="collection"> <owl:class rdf:id="vegetarianpizza"/> <owl:class rdf:id="spicypizza"/> </owl:intersectionof> </owl:class> </rdfs:subclassof> <rdfs:subclassof> <owl:class rdf:about="#pizza"/> </rdfs:subclassof> </owl:class> 5
6 UNIÃO DE CLASSES Exemplo: Pizza vegetariana OU Pizza apimentada (spicy) Condição necessária: PizzaVegOrSpicy Pizza П (VegetarianPizza υ SpicyPizza) Pizza PizzaVegetariana PizzaApimentada 6
7 UNIÃO DE CLASSES 7
8 <owl:class rdf:id="spicyorvegetarianpizza"> <rdfs:subclassof> <owl:class> <owl:unionof rdf:parsetype="collection"> <owl:class rdf:about="#vegetarianpizza"/> <owl:class rdf:about="#spicypizza"/> </owl:unionof> </owl:class> </rdfs:subclassof> <rdfs:subclassof> <owl:class rdf:about="#pizza"/> </rdfs:subclassof> </owl:class> UNIÃO DE CLASSES 8
9 CLASSES COMPLEMENTARES Uma classe complementar equivale à negação de outra classe. Exemplo: Pizza vegetariana e Pizza não vegetariana Pizza PizzaVegetariana PizzaNãoVegetariana 9
10 CLASSES COMPLEMENTARES Pizza vegetariana Em DL: vegetariana Pizza П ( hastopping.fishtopping) П ( hastopping.meattopping) 10
11 CLASSES COMPLEMENTARES Pizza não vegetariana Em DL: Pizza Pizza П VegetarianPizza 11
12 CLASSES COMPLEMENTARES OWL-DL <owl:class rdf:about="#nonvegetarianpizza"> <owl:equivalentclass> <owl:class> <owl:intersectionof rdf:parsetype="collection"> <owl:class> <owl:complementof rdf:resource="#vegetarianpizza"/> </owl:class> <owl:class rdf:about="#pizza"/> </owl:intersectionof> </owl:class> </owl:equivalentclass> <owl:disjointwith rdf:resource="#vegetarianpizza"/> </owl:class> 12
13 EXERCÍCIO Adicionar à ontologia Aluno e Professor as seguintes definições: Classe Disciplina Propriedades Professor leciona Disciplina Aluno assiste Disciplina Professor são aqueles que lecionam ao menos uma disciplina Alunos são aqueles que não são professores Assumir que algo ou é aluno ou é disciplina ou é professor (não pode ser mais de um ao mesmo tempo) (ontologia ProfAlunoDisc.owl) 13
14 Classes disjuntas Se afirmarmos que Econômico e Normal são subclasses de Carro, não afirmamos que um carro econômico não pode ser normal. O carro123 pode ser econômico e normal. Carro É um tipo de Econômico carro123 Normal É instância de Para impedir isto, econômico e normal devem ser categorias disjuntas. 14
15 Classes Disjuntas Carro Econômico Normal Há carros econômicos, normais e outros carros não categorizados. Porém um carro normal não pode ser econômico. O inverso também é verdadeiro. 15
16 CLASSES DISJUNTAS Dadas três classes disjuntas A, B e C, se a é instância de A, então a não pode ser instância de B nem de C (similarmente para as outras) A intersecção entre A, B e C é vazia Se nada for declarado, uma indivíduo pode ser instância de mais de uma classe 16
17 CLASSES DISJUNTAS Três classes disjuntas Pizza, PizzaBase e PizzaTopping são classes mutuamente disjuntas e todas primitivas. Em DL: Pizza PizzaBase П PizzaTopping Thing PizzaTopping Pizza PizzaBase 17
18 CLASSES DISJUNTAS EM OWL <owl:class rdf:about="#pizza"> <rdfs:label xml:lang="en">pizza</rdfs:label> <owl:disjointwith> <owl:class rdf:about="#pizzabase"/> </owl:disjointwith> <owl:disjointwith> <owl:class rdf:about="#pizzatopping"/> </owl:disjointwith>... as outras classes também possuem definições semelhantes quanto à disjunção 18
19 SUMÁRIO Conjunção (Intersecção) de classes União de classes Complementares Disjuntas Axioma de Fechamento Axioma de Cobertura Partição de valores 19
20 AXIOMAS DE FECHAMENTO CLOSURE AXIOMS ou RESTRICTION CLOSURE AXIOMA DE FECHAMENTO AXIOMA DE CLAUSURA Um axioma de fechamento atua sobre uma propriedade restringindo o conjunto imagem 20
21 AXIOMAS DE FECHAMENTO MargheritaPizza: Condições necessárias e suficientes subclasse de NamedPizza and hastopping MozzarelaTopping and hastopping TomatoTopping and Condições necessárias hasbase PizzaBase (herdado de Pizza) hastopping deve ser restringido à Mozzarela e Tomate 21
22 AXIOMAS DE FECHAMENTO MargheritaPizza: Condições necessárias e suficientes subclasse de NamedPizza and hastopping (MozzarelaTopping TomatoTopping) hastopping MozzarelaTopping and hastopping TomatoTopping and Condições necessárias hasbase PizzaBase (herdado de Pizza) A restrição com o quantificador universal implementa o axioma de fechamento. 22
23 EXERCÍCIO Suponha a classe PizzaQueijoSimples sabendo que NamedPizza é subclasse de Pizza. MozzarelaTopping não é subclasse de FishTopping nem de MeatTopping vegetariana PizzaQueijoSimples Condições necessárias O que deve ser modificado para transformá-la em subclasse de vegetariana? 23
24 AXIOMA DE COBERTURA COVERING AXIOM Define uma partição sobre uma classe É uma decomposição exaustiva com classes disjuntas Para obrigar que indivíduos de uma classe sejam obrigatoriamente indivíduos de uma suas subclasses 24
25 Axioma de Cobertura: Decomposição Exaustiva Carro Econômico Normal Há somente carros econômicos e normais. Porém há carros que podem pertencer as duas categorais ao mesmo tempo. Ou seja, não foi eliminada uma possível interseção entre as classes. 25
26 Partição Carro Econômico Normal Há somente carros econômicos e normais. Nenhum carro pode ser econômico e normal ao mesmo tempo. 26
27 AXIOMA DE COBERTURA - exemplo 27
28 AXIOMA DE COBERTURA - exemplo 1. Define-se uma superclasse que conterá os valores possíveis Class: Tempero EquivalentTo: Picante or Media or NaoPicante SubClassOf: ValorDaParticao Tempero ValorDaParticao (Picante Media NaoPicante) 28
29 AXIOMA DE COBERTURA - exemplo 2. As subclasses de Tempero devem ser disjuntas entre si. Class: Media SubClassOf: Tempero DisjointWith: Picante, NaoPicante Media Tempero Dis(Picante) Dis(NaoPicante) 29
30 FECHAMENTO X COBERTURA axioma de fechamento restringe os valores possíveis de uma propriedade, axioma de cobertura restringe a relação classe-subclasse implicitamente definida quando montamos uma hierarquia num mundo aberto (OWR). 30
31 EXERCÍCIO Definir as classes torcedor e times de Curitiba Definir uma propriedade torcerpara tal que um torcedor ou é Paraná, Coritiba ou Atlético (que são mutuamente exclusivos) 31
32 CLASSES ANÔNIMAS SpicyPizza: Condições necessárias e suficientes Pizza hastopping (PizzaTopping ( hasspiciness Hot)) Condições necessárias hasbase PizzaBase (herdado de Pizza) Pizzas que tem ao menos um topping que é ao mesmo tempo PizzaTopping e Hot 32
33 CLASSES ANÔNIMAS Pizza hastopping PizzaTopping s hasspiciness SpicinessValuePartition Hot Medium Mild 33
OWL-DL Classes, Axiomas de Fechamento e Cobertura. Tópicos Especiais em Ontologias UTFPR/PPGCA/CPGEI Prof. Tacla
OWL-DL Classes, Axiomas de Fechamento e Cobertura Tópicos Especiais em Ontologias UTFPR/PPGCA/CPGEI Prof. Tacla SUMÁRIO Conjunção (Intersecção) de classes União de classes Complementares Disjuntas Axioma
Leia maisOWL-DL Classes. Tópicos Especiais em Ontologias utfpr/cpgei Prof. Cesar A. Tacla
OWL-DL Classes Tópicos Especiais em Ontologias utfpr/cpgei Prof. Cesar A. Tacla SUMÁRIO Restrições Conceito Tipos Existencial (somevaluesfrom) Universal (allvaluesfrom) de valor (hasvalue) de cardinalidade
Leia maisOWL-DL Classes. Tópicos Especiais em Ontologias UTFPR/PPGCA/CPGEI Prof. Cesar A. Tacla
OWL-DL Classes Tópicos Especiais em Ontologias UTFPR/PPGCA/CPGEI Prof. Cesar A. Tacla SUMÁRIO Restrições Conceito Tipos Existencial (somevaluesfrom) Universal (allvaluesfrom) de valor (hasvalue) de cardinalidade
Leia maisOWL-DL Propriedades. Tópicos Especiais em Ontologias UTFPR/CPGEI/Prof. Tacla
OWL-DL Propriedades Tópicos Especiais em Ontologias UTFPR/CPGEI/Prof. Tacla PROPRIEDADES Propriedades são relações entre dois indivíduos. Tipos de propriedades em OWL Object properties: liga um indivíduos
Leia maisDiálogos entre Rimbaud, Rocky e Paul sobre os filmes do James Dean entre outros
Diálogos entre Rimbaud, Rocky e Paul sobre os filmes do James Dean entre outros Modelização em OWL (Turtle) Modelize em OWL, o seguinte diálogo que está dividido em 5 partes. Tente modelizar o conhecimento
Leia maisUm estudo para representação da semântica de diagramas entidade-relacionamento em OWL
UNIVERSIDADE FEDERAL DO ESTADO DO RIO DE JANEIRO CENTRO DE CIÊNCIAS EXATAS E TECNOLOGIA Relatórios Técnicos do Departamento de Informática Aplicada da UNIRIO n 0004/2009 Um estudo para representação da
Leia maisONTOLOGIAS E ONTOLOGIAS DIFUSAS
Universidade Federal de São Carlos - UFSCar Programa de Pós-Graduação em Ciência da Computação PPGCC Departamento de Computação - DC ONTOLOGIAS E ONTOLOGIAS DIFUSAS SUMARIO Introdução Ontologias OWL Regras
Leia maisExercícios de raciocínio. Raciocínio na Tbox/Abox Tópicos Especiais em Ontologias Prof. Tacla/UTFPR/CPGEI
Exercícios de raciocínio Raciocínio na Tbox/Abox Tópicos Especiais em Ontologias Prof. Tacla/UTFPR/CPGEI RACIOCÍNIO TBOX Exercício: classificação TBox Ralf Môller, disponível em http://owl.cs.manchester.ac.uk/2008/iswc-tones/slides/tonestutorial08-1.pdf
Leia maisUm guia prático de construção de ontologias OWL plug-in Protege-OWL 3.4
1 of 83 Um guia prático de construção de ontologias OWL plug-in Protege-OWL 3.4 Original traduzido e adaptado: HORRIDGE, M. et al. A Practical Guide To Building OWL Ontologies using the Protege-OWL plugin
Leia maisWeb semântica e Ontologias OWL
Web semântica e Ontologias OWL EBRALC 2008 Renata Vieira - PUCRS Web Atual Atualmente a Web é usada basicamente para: Consumo humano de informações Compras Comunicação Acesso a conteúdo Web Atual Dificuldades
Leia maisOWL-DL Propriedades. Tópicos Especiais em Ontologias UTFPR/CPGEI/Prof. Tacla
OWL-DL Propriedades Tópicos Especiais em Ontologias UTFPR/CPGEI/Prof. Tacla PROPRIEDADES Propriedades são relações entre dois indivíduos. Tipos de propriedades em OWL Object properties: liga um indivíduos
Leia maisJena Um Framework Web Semântico em Java
Jena Um Framework Web Semântico em Java Angelo Augusto Frozza, Rodrigo Gonçalves {frozza, rodrigog}@inf.ufsc.br Universidade Federal de Santa Catarina UFSC Florianópolis Santa Catarina Introdução O Jena
Leia maisA ontologia é definida por diversos autores na literatura, abaixo apresentamos algumas destas definições:
45 3. Ontologias Este capítulo tem a finalidade de apresentar um estudo sobre ontologia. Neste estudo, apresentaremos a definição de ontologia e seus objetivos, bem como alguns dos métodos existentes para
Leia maisANEXO B ONTOLOGIA DE DOMÍNIO SOBRE DISCIPLINAS
ANEXO B ONTOLOGIA DE DOMÍNIO SOBRE DISCIPLINAS A ontologia de domínio sobre as disciplinas de Estruturas de Dados I e Análise e Desenvolvimento de Algoritmos I, ministradas pelo Departamento de Computação
Leia maisProtégé. Ferramenta de Edição de Ontologias
Protégé Ferramenta de Edição de Ontologias Janaína Pereira baseada na apresentação de Nick Drummond, Matthew Horridge e Holger Knublauch Knublauch na 8th International Protégé Conference Manaus - 2005
Leia maisProtégé-OWL Tutorial. Adriano Melo André Chagas Fred Freitas. Sistemas Inteligentes http://www.cin.ufpe.br/~if684
Protégé-OWL Tutorial Adriano Melo André Chagas Fred Freitas Sistemas Inteligentes http://www.cin.ufpe.br/~if684 Instalação Download do Protégé public de astm stanford.edu (site oficial) Protégé 3.4.4 OWL
Leia mais4 EduCO: Representando a Informação Contida em Materiais de Aprendizagem
4 EduCO: Representando a Informação Contida em Materiais de Aprendizagem Conforme descrito no capítulo anterior, é importante representar os conteúdos contidos em materiais de aprendizagem. Neste capítulo
Leia maisSumário. Modelo Entidade-Associação : Avançado 1 Associações Ternárias. Exemplo. Associações Ternárias. Exemplo. André Restivo. September 21, 2010
Sumário Modelo Entidade-Associação : Avançado 1 André Restivo Faculdade de Engenharia da Universidade do Porto September 21, 2010 2 3 André Restivo (FEUP) Modelo Entidade-Associação : Avançado September
Leia maisTutorial: Protégé- OWL (Universidade)
Tutorial: Protégé- OWL (Universidade) José Carlos Ramalho jcr@di.uminho.pt Dezembro 2011 Conteúdo Condições necessárias e suficientes: Classes primitivas e classes definidas; Classificação Automática;
Leia maisNoções OMT-Geo. Diretoria de Serviço Geográfico DSG EXÉRCITO BRASILEIRO. Apresentação : Cel Omar A. Lunardi
EXÉRCITO BRASILEIRO Diretoria de Serviço Geográfico DSG Noções OMT-Geo Apresentação : Cel Omar A. Lunardi Eng.cart.omar@gmail.com Fontes :. CURSO DE ESPECIALIZAÇÃO EM GEOPROCESSAMENTO Karla Albuquerque
Leia maisALEX MATEUS PORN TESTE DE MUTAÇÃO PARA ONTOLOGIAS OWL. Dissertação apresentada como requisito parcial. Setor de Ciências Exatas, Universidade Federal
ALEX MATEUS PORN TESTE DE MUTAÇÃO PARA ONTOLOGIAS OWL Dissertação apresentada como requisito parcial à obtenção do grau de Mestre. Programa de Pós-Graduação em Informática, Setor de Ciências Exatas, Universidade
Leia maisOntologias e suas Aplicações
Ontologias e suas Aplicações Renata Wassermann renata@ime.usp.br Instituto de Matemática e Estatística Universidade de São Paulo Roteiro da Apresentação 1 Motivação 2 Representando conhecimento 3 O que
Leia maisAula Introdutória ao Protégé 5.X
Aula Introdutória ao Protégé 5.X Vamos abrir o Protégé e vamos criar uma pequena ontologia que lida com barcos. Suponhamos que temos alguma informação em forma de tabela sobre um conjunto de navios. Sabemos
Leia maiso Ontologia Questionário
o Ontologia Questionário Vamos criar uma ontologia relacionada com questionários, para ilustrar o uso de restrições em OWL. Podem consultar o capítulo XI do livro Semantic Web for the Working Ontologist,
Leia maisFerramentas de Apoio à Criação e Edição de Ontologias: Tainacan Ontology e uma Análise Comparativa
Ferramentas de Apoio à Criação e Edição de Ontologias: Tainacan Ontology e uma Análise Comparativa Ernesto Fonseca Veiga 1, Dalton Lopes Martins 1, Marcel Ferrante Silva 1 1 Media Lab Laboratório de Pesquisa,
Leia maisWeb Semântica: Conceitos, Tecnologias e Aplicações
Web Semântica: Conceitos, Tecnologias e Aplicações Paulo Vitor Antonini Orlandin paulovitor_e@hotmail.com Resumo Com o crescente número de usuários da Internet, consequentemente o número de informações
Leia maisOntologias - OWL (Web Ontology Language) Júnio César de Lima Cedric Luiz de Carvalho
Ontologias - OWL (Web Ontology Language) Júnio César de Lima Cedric Luiz de Carvalho Technical Report - RT-INF_004-05 - Relatório Técnico June - 2005 - Junho The contents of this document are the sole
Leia maisConteúdo. Correção de Exercício Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42)
Conteúdo Correção de Exercício Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42) Correção exercicios 11) P(x) = x = x 2 P(0) P(1) P(2) 12) Q(x) = x + 1 = 2x Q(0) Q(-1) Q(1) Correção
Leia maisClasses e Objetos. Sintaxe de classe em Java
Classes e Objetos Classes e Objetos A Programação Orientada a Objetos (POO) é uma técnica de programação que se baseia na construção de classes e utilização de objetos. Os objetos são formados por dados
Leia maisOrientação a Objetos Classes Abstratas
Orientação a Objetos Classes Abstratas Material baseado na apostila FJ-11: Java e Orientação a Objetos do curso Caelum, Ensino e Inovação, disponível para download em http://www.caelum.com.br/apostilas/
Leia maisLógicas de Descrição Visão Geral
Lógicas de Descrição Visão Geral The Description Logic Handbook Cesar Augusto Tacla UTFPR/CPGEI INTRODUÇÃO 05/11/2013 2 Lógicas de Descrição É uma família de linguagens formais para representação de conhecimentos
Leia maisRACIOCÍNIO LÓGICO. Curso Superior de Tecnologia. Aula 02 TEORIA DOS CONJUNTOS
Aula 02 TEORIA DOS CONJUNTOS 1. Definição de Conjuntos 2. Como se representa um Conjunto 3. Subconjunto, Pertinência e Continência 4. Conjunto das Partes 5. Operação com Conjuntos 1. União ou Reunião (Conjunção)
Leia maisModelagem 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 maisUNIVERSIDADE METODISTA DE PIRACICABA
UNIVERSIDADE METODISTA DE PIRACICABA FACULDADE DE CIÊNCIAS EXATAS E DA NATUREZA MESTRADO EM CIÊNCIA DA COMPUTAÇÃO ONTOL-FORUM: LINGUAGEM PARA DESCRIÇÃO DE ONTOLOGIAS APOIADA EM UM MODELO DE REPRESENTAÇÃO
Leia mais14/03/2014. Tratamento de Incertezas TIC Aula 1. Conteúdo Espaços Amostrais e Probabilidade. Revisão de conjuntos. Modelos Probabilísticos
Tratamento de Incertezas TIC-00.176 Aula 1 Conteúdo Espaços Amostrais e Probabilidade Professor Leandro Augusto Frata Fernandes laffernandes@ic.uff.br Material disponível em http://www.ic.uff.br/~laffernandes/teaching/2014.1/tic-00.176
Leia maisModelagem Entidade Relacionamento Estendida. Evandro E.S. Ruiz, Ph.D.
Modelagem Entidade Relacionamento Estendida Evandro E.S. Ruiz, Ph.D. São todos veículos e elétricos! São todos iguais? Todos tem os mesmos atributos? Trabalhadores Por que estender? 1. Requisitos dos BD
Leia maisTratamento de Incertezas TIC MINTER-IFMT
Tratamento de Incertezas TIC-10.005 MINTER-IFMT Aula 1 Conteúdo Espaços Amostrais e Probabilidade Professor Leandro Augusto Frata Fernandes laffernandes@ic.uff.br Material disponível em http://www.ic.uff.br/~laffernandes/teaching/2016.2/tic-10.005
Leia maisExtensões do Modelo Entidade-Relacionamento
Extensões do Modelo Entidade-Relacionamento Banco de Dados Modelo Entidade Relacionamento Estendido Características introduz semântica adicional ao modelo ER utilizado na modelagem de aplicações mais complexas,
Leia maisMATEMÁTICA DISCRETA CONCEITOS PRELIMINARES
MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Newton José Vieira 21 de agosto de 2007 SUMÁRIO Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova 1 CONJUNTOS A NOÇÃO
Leia maisAula 4 SBD Modelo Entidade Relacionamento Parte 2. Profa. Elaine Faria UFU
Aula 4 SBD Modelo Entidade Relacionamento Parte 2 Profa. Elaine Faria UFU - 2018 Hierarquia de Classe É natural classificar as entidades de um conjunto de entidades em subclasses Ex: Funcionário Horista
Leia maisOntologias: definições e conceitos básicos
Ontologias: definições e conceitos básicos Cristiane Akemi Yaguinuma cristiane_yaguinuma@dc.ufscar.br Orientadora: Profª. Drª. Heloisa Arruda Camargo Co-orientadora: Profª. Drª. Marilde T. P. Santos Setembro/2009
Leia maisHerança Tiago Eugenio de Melo
Herança Tiago Eugenio de Melo tiago@comunidadesol.org Herança Conceito: Herança é a capacidade de especializar tipos de objetos (classes), de forma que os tipos especializados contenham, além de características
Leia maisProf. Daniela Barreiro Claro
Prof. Daniela Barreiro Claro Web semântica foi projetada como uma evolução da Web atual Informação deve ter um significado bem definido, permitindo uma melhor cooperação entre computadores e pessoas Tim
Leia maisLinked Data Management. Capítulo 1: Linked Data & the Semantic Web Standards
Linked Data Management Capítulo 1: Linked Data & the Semantic Web Standards Carmem Hara 18 de outubro de 2016 Dados na Web Processamento automático de dados da Web: dados com sintaxe e semântica bem definidas
Leia maisBases Matemáticas. Aula 1 Elementos de Lógica e Linguagem Matemática. Prof. Rodrigo Hausen. 24 de junho de 2014
Aula 1 Elementos de Lógica e Linguagem Matemática Prof. Rodrigo Hausen 24 de junho de 2014 Definição Uma proposição é uma sentença declarativa que é verdadeira ou falsa, mas não simultaneamente ambas.
Leia maisProf. Daniela Barreiro Claro
Prof. Daniela Barreiro Claro Web semântica foi projetada como uma evolução da Web atual Informação deve ter um significado bem definido, permitindo uma melhor cooperação entre computadores e pessoas Tim
Leia maisSemântica na Web Vocabulários
Semântica na Web Vocabulários Carlos Bazilio Depto de Computação Instituto de Ciência e Tecnologia Universidade Federal Fluminense 1 Motivação Imagine aplicações no contexto de saúde: Profissionais usam
Leia maisLinguagem de Programação III
Linguagem de Programação III Aula-7 Reutilização de Classes Prof. Esbel Tomás Valero Orellana Até Aqui Introdução a POO e sua implementação em Java Atributos, métodos e encapsulamento dos mesmos Trabalhando
Leia maisLógicas de Descrição Visão Geral
Lógicas de Descrição Visão Geral The Description Logic Handbook Cesar Augusto Tacla UTFPR/CPGEI INTRODUÇÃO 17/04/2016 2 Lógicas de Descrição É uma família de linguagens formais para representação de conhecimentos
Leia maisLógica de Descrições Visão Geral
Lógica de Descrições Visão Geral The Description Logic Handbook Cesar Augusto Tacla UTFPR/CPGEI Lógica de Descrições É uma linguagem formal para representação de conhecimentos e para raciocínio Permite
Leia mais3 Kuaba: Uma Ontologia para Design Rationale
3 Kuaba: Uma Ontologia para Design Rationale Para que o conhecimento registrado durante o design possa ser automaticamente processado, é desejável representar o design rationale de uma maneira formalmente
Leia maisFundamentos 1. Lógica de Predicados
Fundamentos 1 Lógica de Predicados Predicados e Quantificadores Estudamos até agora a lógica proposicional Predicados e Quantificadores Estudamos até agora a lógica proposicional A lógica proposicional
Leia maisÁlgebra Linear e Geometria Analítica
Álgebra Linear e Geometria Analítica Engenharia Electrotécnica Escola Superior de Tecnologia de Viseu www.estv.ipv.pt/paginaspessoais/lucas lucas@mat.estv.ipv.pt 2007/2008 Álgebra Linear e Geometria Analítica
Leia mais3. Instrumentos metodológicos -> definições DEFINIÇÕES E MODELAGEM
3. Instrumentos metodológicos -> definições DEFINIÇÕES E MODELAGEM 00110001110001101010001011000101110100101100101001111101010100 FUNDAMENTOS COGNITIVOS, TEORICOS E METODOLOGICOS DA ORGANIZAÇÃO DO CONHECIMENTO
Leia maisRevista Gestão Pública em Curitiba MOMENTOS I ENCONTRO INTERNACIONAL DE CURITIBA EM GESTÃO PÚBLICA Pública Gestão Curitiba 2011 em I Encontro Internacional de Curitiba Gestão Pública para Resultados 44
Leia maisJava para Desktop. Programação Orientada à Objetos 2 JSE
Java para Desktop Programação Orientada à Objetos 2 JSE Encapsulamento significa "ocultar informações, ele define que cada objeto contém todos os detalhes de implementação necessários sobre como ele funciona
Leia maisAula 2 Princípios Básicos da Orientação a Objetos (Parte II)
Aula 2 Princípios Básicos da Orientação a Objetos (Parte II) Introdução à Programação Orientada a Objetos Prof. Mayk Choji UniSALESIANO Araçatuba 12 de agosto de 2016 Sumário 1. Métodos 2. Mensagens 3.
Leia maisLinguagem de Programação II Herança
Linguagem de Programação II Herança Prof. Alessandro Borges 2 Tópicos Reutilização de classes Delegação Herança Definição Superclasse e Subclasse A palavra reservada extends Método construtor com herança
Leia maisTeoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO
SUMÁRIO MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova Newton José Vieira 21 de agosto de 2007 1 A NOÇÃO DE CONJUNTO
Leia maisPasso 1: abra o Protegé e crie um projeto com as seguintes características: Nome do projeto: ex_classe_01 Tipo: Protegé Files
1 Exercícios Práticos Assunto: Criação de classes da ontologia com o Protegé. Exercício 1 Nome do projeto: ex_classe_01 Passo 2: antes de continuar, salve o projeto em seu espaço. crie as seguintes classes,
Leia maisModelos Conceituais Geográficos na Literatura... MGeo + Valéria Times e Flávio Pimentel Ana Carolina Salgado UFPE
Modelos Conceituais Geográficos na Literatura... MGeo + Valéria Times e Flávio Pimentel Ana Carolina Salgado UFPE 1 Modelo MGeo + O modelo MGeo + é um modelo conceitual orientado a objetos para aplicações
Leia mais6 Uma Ontologia de Processos e Recursos
6 Uma Ontologia de Processos e Recursos Este capítulo apresenta a ontologia de processos e recursos, chamada aqui de ontologia pr, queé a base do mecanismo de tratamento de exceção. Este mecanismo é apresentado
Leia maisINF1012 MODELAGEM DE DADOS
INF1012 MODELAGEM DE DADOS Departamento de Informática PUC-Rio Ivan Mathias Filho ivan@inf.puc-rio.br Programa Capítulo 7 Motivação Taxonomia Generalização Exercício 1 Programa 7º Capítulo Motivação Taxonomia
Leia maisIEC Banco de Dados I Aula 08 Modelo E. E. R.
IEC Banco de Dados I Aula 08 Modelo E. E. R. Turmas: Sistemas de Informação Professora: André Luiz da Costa Carvalho E- mail: andre@icomp.ufam.edu.br Ambiente virtual: hkp://bdufam.wordpress.com Modelo
Leia maisProgramação Orientada a Objectos - P. Prata, P. Fazendeiro
7 Classes Abstractas e Interfaces Classe Abstracta Classe em que pelo menos um dos métodos de instância não é implementado. Exemplo: public abstract class Forma{ public abstract double area(); public abstract
Leia maisPrincípios de Bioestatística Conceitos de Probabilidade
1/37 Princípios de Bioestatística Conceitos de Probabilidade Enrico A. Colosimo/UFMG http://www.est.ufmg.br/ enricoc/ Depto. Estatística - ICEx - UFMG 2/37 Tipos de Fenômenos 1. Aleatório: Situação ou
Leia maisApache Jena. jena.apache.org. André Henrique Dantas Neves Cordeiro
Apache Jena jena.apache.org André Henrique Dantas Neves Cordeiro Conteúdo O que é o Jena? Capacidades do Jena Noções básicas Conceitos RDF no Jena Armazenamento Gerenciamento de Ontologias Raciocínio SPARQL
Leia maisLista 05 Herança. public class PessoaFisica extends Pessoa { private String RG; public PessoaFisica(){ super(); } public String getrg(){ return RG; }
Lista 05 Herança 1. Analisando a classe Java abaixo podemos observar que a mesma possui apenas um atributo, um construtor e dois métodos. Perceba que dentro do método main estão sendo invocados métodos
Leia maisClassificação automática via ontologias: um estudo preliminar sobre raciocínio humano e lógica descritiva
Classificação automática via ontologias: um estudo preliminar sobre raciocínio humano e lógica descritiva Eduardo Ribeiro Felipe 1 Mauricio Barcellos Almeida 1 1 Programa de Pós-Graduação em Gestão & Organização
Leia maisAula de hoje Aula passada
Aula 2 Aula passada Logística, programação, regras do jogo Três problemas Monte Carlo to the rescue História das origens Monte Carlo na Computação Aula de hoje Espaço amostral Probabilidade Eventos Independência
Leia maisSIG SIG. GEO-OMT Exercícios. Alisson Fernando Coelho do Carmo
SIG GEO-OMT Exercícios Alisson Fernando Coelho do Carmo SIG SIG - - 2017 2017 Alisson Alisson FCC FCC PostGIS + PostgreSQL PostGIS é uma extensão espacial para o PostgreSQL que implementa a especificação
Leia maisOntologias MARIANNA ARAÚJO
Ontologias MARIANNA ARAÚJO Roteiro Motivação Conceito Tipos Linguagens de Ontologia SPARQL Apresentação de Ferramentas Modelagem de uma Ontologia com Protégé Referencias 2 Motivação Aumento exponencial
Leia maisLógica de Predicados. Quantificadores
Lógica de Predicados Quantificadores Conteúdo Correção de Exercícios Operações Lógicas Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42) Exercícios Determinar o conjunto verdade em
Leia maisFundamentos de Lógica e Algoritmos. Aula 1.3 Proposições e Conectivos. Prof. Dr. Bruno Moreno
Fundamentos de Lógica e Algoritmos Aula 1.3 Proposições e Conectivos Prof. Dr. Bruno Moreno bruno.moreno@ifrn.edu.br Argumentos Lógicos As premissas do argumento são chamadas de proposições; A conclusão
Leia maisNotas de Aula de Probabilidade A
I- CONCEITOS INICIAIS. 1.1- INTRODUÇÃO. PROBABILIDADE POPULAÇÃO AMOSTRA ESTATÍSTICA 1.2- CONJUNTOS. 1.2.1- DEFINIÇÃO. Conjunto é uma coleção de objetos chamados de elementos do conjunto. Em geral denota-se
Leia maisMDI0001 Matemática Discreta Aula 04 Álgebra de Conjuntos
MDI0001 Matemática Discreta Aula 04 Álgebra de Conjuntos Karina Girardi Roggia karina.roggia@udesc.br Departamento de Ciência da Computação Centro de Ciências Tecnológicas Universidade do Estado de Santa
Leia maisApresentação do curso
Folha 1 Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Apresentação do curso Parte 1 Parte 1 Matemática Básica 1 Parte 1 Matemática Básica
Leia maisLógica Computacional
Aula Teórica 6: Semântica da Lógica Proposicional Departamento de Informática 3 de Março de 2011 Motivação Expressividade Os conectivos são independentes? Definiu-se a Lógica Proposicional com os símbolos
Leia mais2. INTRODUÇÃO À PROBABILIDADE
2. INTRODUÇÃO À PROBABILIDADE 2019 Conceitos básicos Experimento aleatório ou fenômeno aleatório Situações ou acontecimentos cujos resultados não podem ser previstos com certeza. Um experimento ou fenônemo
Leia maisPalavras Reservadas da Linguagem Java
Palavras Reservadas da Linguagem Java Palavras Reservadas da Linguagem Java: Categorias Tipos de dados primitivos Literais Pseudo-variáveis Desvio e controle de fluxo Pacotes Exceções Modificadores de
Leia maisLinguagem de Programação III
Linguagem de Programação III Aula-6 Reutilização de Classes Prof. Esbel Tomás Valero Orellana Até Aqui Introdução a POO e sua implementação em Java Atributos, métodos e encapsulamento dos mesmos Trabalhando
Leia maisMD Teoria dos Conjuntos 1
Teoria dos Conjuntos Renato Martins Assunção assuncao@dcc.ufmg.br Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br MD Teoria dos Conjuntos 1 Introdução O que os seguintes objetos têm em comum? um
Leia maisTeoria das Probabilidades
Teoria das Prof. Eduardo Bezerra (CEFET/RJ) 23 de fevereiro de 2018 Eduardo Bezerra (CEFET/RJ) Teoria das 2018.1 1 / 54 Roteiro Experimento aleatório, espaço amostral, evento 1 Experimento aleatório, espaço
Leia maisExpandindo o Vocabulário. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto. 12 de junho de 2019
Material Teórico - Módulo de INTRODUÇÃO À LÓGICA MATEMÁTICA Expandindo o Vocabulário Tópicos Adicionais Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto 12 de junho de 2019
Leia maisLinguagem de Programação II Programação Orientada a Objetos. Orientação a Objetos
Linguagem de Programação II Programação Orientada a Objetos Orientação a Objetos Prof. Alessandro Borges 2 Tópicos Introdução à Programação Orientada a Objetos Conceitos Objetivos Classes e Objetos Atributos
Leia maisPORTAS LÓGICAS OR, AND e NOT
PORTAS LÓGICAS OR, AND e NOT O que é uma porta lógica? Uma porta lógica poderá ajudá-lo a tomar uma decisão lógica. Em eletrônica digital, uma porta lógica pode ser definida como um circuito com somente
Leia maisRepresentação do Conhecimento
Baseado nos slides de Tom Lenarts (IRIDIA) Representação do Conhecimento Capítulo 10 Sumário Engenharia Ontológica Categorias e objectos Acções, situações e eventos Conhecimento sobre crenças O mundo de
Leia mais1 TEORIA DOS CONJUNTOS
1 TEORIA DOS CONJUNTOS Definição de Conjunto: um conjunto é uma coleção de zero ou mais objetos distintos, chamados elementos do conjunto, os quais não possuem qualquer ordem associada. Em outras palavras,
Leia maisMapeamento da herança em JPA
Mapeamento da herança em JPA Impedance mismatch é o termo usado para descrever as dificuldades em mapear o estado de um objecto num registo de uma tabela de uma base de dados relacional. Na modelação orientada
Leia mais3 NOÇÕES DE PROBABILIDADE
3 NOÇÕES DE PROILIDDE 3.1 Conjuntos Um conjunto pode ser considerado como uma coleção de objetos chamados elementos do conjunto. Em geral denota-se conjunto por letras maiúsculas,, C,... e a sua representação
Leia maisLição 11 Herança, polimorfismo e interfaces
Lição 11 Herança, polimorfismo e interfaces 1 Objetivos Ao final da lição, o estudante deverá estar apto a: Definir superclasses e subclasses Criar Override de métodos de superclasses Criar métodos e classes
Leia maisInterruptores e Conjuntos
aula 03 (Lógica) Sistemas Dicotômicos, Interruptores e Conjuntos Professor: Renê Furtado Felix E-mail: rffelix70@yahoo.com.br Site: http://www.renecomputer.net/pdflog.html Sistemas Dicotômicos Aula de
Leia mais2. INTRODUÇÃO À PROBABILIDADE
2. INTRODUÇÃO À ROILIDDE 2014 Conceitos básicos Experimento aleatório ou fenômeno aleatório Situações ou acontecimentos cujos resultados não podem ser previstos com certeza. Um experimento ou fenônemo
Leia maisHerança e Polimorfismo
Herança e Polimorfismo Leonardo Gresta Paulino Murta leomurta@ic.uff.br Aula de hoje Princípios do paradigma OO Herança Polimorfismo Interfaces Classes Abstratas Leonardo Murta Herança e Polimorfismo 2
Leia maisONTOLOGIA DE APLICAÇÃO PARA AGÊNCIAS DE TURISMO
ADRIANO FRANCISCO RONSZCKA FÁBIO ROBERTO TEODORO MARLON HENRIQUE SCALABRIN ROBSON RIBEIRO LINHARES ONTOLOGIA DE APLICAÇÃO PARA AGÊNCIAS DE TURISMO Trabalho final da disciplina de Tópicos Especiais em Ontologias,
Leia maisn. 6 Equivalências Lógicas logicamente equivalente a uma proposição Q (p, q, r, ), se as tabelas-verdade destas duas proposições são idênticas.
n. 6 Equivalências Lógicas A equivalência lógica trata de evidenciar que é possível expressar a mesma sentença de maneiras distintas, preservando, o significado lógico original. Def.: Diz-se que uma proposição
Leia maisWeb Semântica. Vanessa Braganholo.
Web Semântica Vanessa Braganholo braganholo@dcc.ufrj.br Roteiro Web Semântica RDF e RDF(S) OWL 2 Web Semântica Material: Artigo: Hendler, Agents and the semantic Web Semântica... Entre humanos, às vezes
Leia mais12/03/16. Generalização. Associação. Agregação UML Relações. entre Classes. Composição. Prof.Dr. Enzo Seraphim. Dependência
12/03/16 Generalização Associação Agregação UML Relações Composição entre Classes Dependência Prof.Dr. Enzo Seraphim 12/03/16 Generalização Associação Agregação UML Relações Composição entre Classes Dependência
Leia maisL A C Laboratory for Advanced Collaboration
Publicação de Dados Governamentais no Padrão Linked Data 2.3 Web Ontology Language (OWL) Karin Breitman José Viterbo Edgard Marx Percy Salas L A C Laboratory for Advanced Collaboration Objetivo deste módulo
Leia maisConceitos de Probabilidade
1/1 Introdução à Bioestatística Conceitos de Probabilidade Enrico A. Colosimo/UFMG http://www.est.ufmg.br/ enricoc/ Depto. Estatística - ICEx - UFMG 2/1 Tipos de Fenômenos 1. Aleatório: Situação ou acontecimentos
Leia mais