INF2030 – Tópicos em Bancos de Dados - Ciência da Web

Apresentações

Copie para o seu computador pessoal as apresentações:

Apresentações entregues até 08/12/2011 (em PDF : 14.5MB)

 

ou selecione o módulo desejado da lista:

 

O que é a Ciência da Web

 

A Framework for Web Science

Introduction

The Web and its Science

Engineering the Web

The analysis of the Web

Social Aspects

Web Governance, Security and Standards

 

Busca na Web

   Pesquisando na Web: O público e seus consultas

Crawlers

Crawlers (cont.)

Parallel Crawlers

Parallel Crawlers (cont.)

 

Linked Data

Introdução à Web of Data

Princípios de Linked Data sets

Projeto de Linked Data sets

Publicação de Linked Data sets (triplificação)

Processamento exploratório de consultas SPARQL

Processamento mediado de consultas SPARQL

 

(clique aqui para voltar ao topo)


INF2217 – Lógica e Especificação

Notas de Aula

Lógica Sentencial

Linguagens de Primeira Ordem: Sintaxe e Semântica

Linguagens de Primeira Ordem: Teorias de Primeira Ordem

Notação Clausal e Teorema de Herbrand

Resolução

Cláusulas de Horn e Resolução-SLD

Semântica do Modelo Mínimo

Prolog

Controle Procedimental da Refutação

Exemplos de Prolog

Lógica de Descrição – Linguagens Atributivas

Lógica de Descrição – Procedimentos de Decisão

Reasoning with Expressive Description Logics - Ian Horrocks

Lógica de Descrição – Extensões

Formalização de UML

RDF

OWL

Defaults

Cálculo Situacional e Planejamento

 

(clique aqui para voltar ao topo)

 

Material Adicional

 

Exercícios

 

Provas e gabaritos de anos anteriores

 

Introduction to Prolog  /  Learn Prolog Now!

 

Material completo sobre UML e DL

 

 

(clique aqui para voltar ao topo)

 


INF2328 – Tópicos em Tecnologias de Bancos de Dados para a Web (WebBD)

Notas de Aula

Copie para o seu computador pessoal as notas de aula, preparadas para impressão com 4 transparências por página:

Notas de aula completas (em PDF, no formato de 2 transparências por página)

 

ou selecione o módulo desejado da lista:

 

Módulo 0: Apresentação do curso

Módulo 1a: Lógica de Descrição – Introdução

Modulo 1b: Lógica de Descrição – Extensões

Módulo 1c: Lógica de Descrição – Sistemas de Inferência

Módulo 1d: Lógica de Descrição – FACT

Módulo 2a: Ontologias – Requisitos
Módulo 2b: Ontologias – RDF

Módulo 2c: Ontologias – DAML-OIL

Módulo 2d: Ontologias – OWL

Módulo 2e: Ontologias – Rule Languages

Módulo 2f: Ontologias – Metodologias

Módulo 3a: Web Services – Arquitetura

Módulo 3b: Web Services – SOAP

Módulo 3c: Web Services – WSDL

Módulo 3d: Web Services – UDDI

Módulo 3e: Web Services – WSIL

Módulo 4a: Workflow – Introdução

Módulo 4b: Workflow – Design Patterns

Módulo 4c: Workflow – Pipeline

Módulo 4d: Workflow – BPEL4WS

Módulo 4e: Workflow – DAML-S

Módulo 4f: Transações na Web – Introdução

Módulo 4g: Transações na Web – Cenários

Módulo 5a: Servidores de Ontologias – Introdução

Módulo 5b: Servidores de Ontologias – FIPA

Módulo 5c: Servidores de Ontologias – ACOS

Módulo 5d: Servidores de Ontologias – JENA

Módulo 5e: Servidores de Ontologias – SESAME

Módulo 5f: Servidores de Ontologias – SNOBASE

Módulo 5g: Servidores de Ontologias – KAON

Módulo 5h: Servidores de Ontologias – OntoAPI

Módulo 6a: Tópicos – Grid Computing

Módulo 6b: Tópicos – Service Domain

Módulo 6c: Tópicos – Extração de dados da Web

Módulo 9a: Ontologias – Matching

Módulo 9b: Matching – Syntactic / Manual

Módulo 9c: Matching – Syntactic / Automatic

Módulo 9d: Matching – Semantic / Automatic

Módulo 9e: Matching – Semantic / Automatic

Módulo 10a – Composição de Serviços – Introdução

Cálculo Situacional e Planejamento

Módulo 10b – Composição de Serviços – Semantic Web Services

Módulo 10c – Composição de Serviços – WebML / GLUE

Módulo 10d – Composição de Serviços – DERI

 

Notas adicionais sobre XML

 

Módulo 1a: XML Básico – Sintaxe

Módulo 1b: XML Básico – DTD

Módulo 1c: XML Básico – XML Schema

Módulo 1d: XML Básico – URI e XML Information Set

Módulo 2a: Consultas em XML – XPath

Módulo 2b: Consultas em XML – XQuery

Módulo 3a: Processamento de documentos XML – SAX

Módulo 3b: Processamento de documentos XML – DOM

Módulo 3c: Processamento de documentos XML – XSL

Módulo 3d: Processamento de documentos XML – XSL-FO

 

Notas adicionais sobre Ontology-Driven Information Systems (ODIS)

 

Módulo 0a: Motivação para ODIS

Exemplos de ODIS

Módulo 0b: Gerenciador de Workflow Aplicado à Bioinformática Baseado em Ontologia

Módulo 0c: The Drug Ontology Project for Elsevier

Módulo 0d: Ontology Services on myGrid

Servidores de Ontologias

Módulo 5a: Ontology Servers - Introduction

Módulo 5b: Ontology Servers - FIPA Ontology Service

Módulo 5c: Ontology Servers - ACOS - Agent Cities Ontology Service

Modulo 5d: Jena: Semantic Web Framework

Módulo 3e: Sesame: An Architecture for Storing and Queryng RDF and RDF Schema

Módulo 5f: SNOBASE

Módulo 5g: KAON

 

Notas adicionais (Profa. Karin Breitman)

 

Construção de ontologies (5.6MB)

Tutorial do Protégé (2.5MB)

Referências selecionadas (4.6MB)

Apresentações adicionais (Karin Breitman) (2.7MB)

Apresentações sobre OWL (Ian Horrocks e outros) (4.0MB)

Apresentações adicionais (Alan Rector) (1.4MB)

 

Referências

Bush, Vannevar. “As We May Think”. The Atlantic Monthly; July, 1945; As We May Think; Volume 176, No. 1; pages 101-108.

Berners-Lee, Tim; James Hendler; Ora Lassila. “The Semantic Web: A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities”. Scientific American. May 2001

 

Referências adicionais

D. Nardi, R. J. Brachman. "An Introduction to Description Logics". In the Description Logic Handbook, edited by F.

Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider, Cambridge University Press, 2002.

E. Franconi, "Structural Description Logics: FL-". (ibid)

Guarino, Nicola. “Formal Ontology and Information Systems”. in N. Guarino (ed.), Formal Ontology in Information Systems.Proceedings of FOIS’98, Trento, Italy, 6-8 June 1998. Amsterdam, IOS Press, pp. 3-15.

A Practical Guide To Building OWL Ontologies Using The Protege-OWL Plugin and CO-ODE Tools

 

(clique aqui para voltar ao topo)