[pt] A principal dificuldade dentro do domínio B2C está em aumentar a utilidade da WWW para o comércio eletrônico através da melhoria das possibilidades oferecidas ao consumidor. Apesar de a WWW permitir ao comprador ter acesso a uma grande quantidade de informação, obter a informação do fornecedor certo que venda o produto desejado a um preço razoável, pode ser uma tarefa muito custosa. Uma das formas de melhorar essa situação é através do uso de agentes inteligentes de busca de informação, isto é, agentes de compra, que auxiliam os compradores a encontrar produtos de seu interesse. Para que isso ocorra esbarra-se em uma dificuldade inerente à própria WWW: a mistura da linguagem natural, imagens e informação de layout de HTML são uma das maiores barreiras para a automatização do comércio eletrônico, pois a semântica da informação é somente compreensível por seres humanos. Desta forma espera- se conseguir agentes de compra mais eficientes quando associados ao uso de ontologias, e lojas virtuais que tenham anotações especiais que sigam uma ontologia. Nessa dissertação fazemos um estudo sobre as principais tecnologias envolvidas no desenvolvimento de ontologias em Ciência da Computação. Fazemos também um estudo de caso sobre a aplicação de ontologias dentro do domínio de B2C, visando assim avaliar o potencial e as dificuldades existentes para o desenvolvimento desse tipo de aplicação. / [en] The main difficulty associated with the B2C domain is increasing the usefulness of WWW for the electronic trade through the improvement of the services provided to the consumer. Even though the WWW allows the buyer to have access to a great amount of information, to obtain the information from the right supplier that sells the desired product by a reasonable price can be a very expensive task. One of the ways of improving the web functionality is through the use of intelligent agents for search of information, that is, the introduction of purchase agents that aid the buyers to find products of their interest. For that to happen we need to overcome an inherent difficulty of the WWW: the mixture of natural language, images and layout information in HTML is one of the greatest barriers for the automation of the electronic trade, because the semantics of the information is only comprehensible for human beings. To solve this problem we hope to produce more efficient purchase agents by associating them to the use of ontologies, and virtual stores that have special annotations that follow ontologies. In the present dissertation we make a study of the main technologies related to ontologies development in computer science. We also develop a case study about the ontologies application to the B2C domain, seeking in this way to evaluate potential and existing difficulties for the development of this type of application.

[pt] O modelo Role-based Access Control (RBAC) fornece uma maneira para gerenciar o acesso às informações de uma organização, reduzindo-se a complexidade e os custos administrativos e minimizandose os erros. Atualmente existem diversos métodos de desenvolvimento de aplicações na Web Semântica e na Web em geral, porém nenhum dos modelos produzidos por estes métodos abrange a descrição de diretivas relacionadas ao controle de acesso de forma integrada com os outros modelos produzidos por estes métodos. O objetivo desta dissertação é integrar o controle de acesso no projeto de aplicações na Web Semântica (e na Web em geral). Mais especificamente, este trabalho apresenta uma extensão do método SHDM (Semantic Hypermedia Design Method) para a inclusão do modelo RBAC e de um modelo de políticas baseada em regras de forma integrada com os outros modelos deste método. O método SHDM é um método para o projeto de aplicações hipermídia para a web semântica. Uma arquitetura de software modular foi proposta e implementada no Synth, que é um ambiente de desenvolvimento de aplicações projetadas segundo o método SHDM. / [en] The Role-based Access Control (RBAC) model provides a way to manage access to information of an organization, while reducing the complexity and cost of security administration in large networked applications. Currently, several design method of Semantic Web (and Web in general) applications was proposed, but none of these methods produces an specialize and integrated model for describing access control policies. The goal of this dissertation is to integrate the access control in design method of Semantic Web applications. More specifically, this work presents an extension of SHDM method (Semantic Hypermedia Design Method) in order to include RBAC model and an rule based policy Model integrated with the other models of this method. SHDM is a model-driven approach to design web applications for the semantic web. A modular software architecture was proposed and implemented in Synth, which is an application development environment according to SHDM method.

[pt] Até alguns anos atrás, a Web disseminava principalmente documentos. Com o advento das aplicações Web, as organizações puderam disponibilizar informações que estavam em seus bancos de dados e sistemas legados. Entretanto, a comunicação entre estas aplicações ou com aplicações de usuários finais, às vezes, não era possível devido a diferenças no formato de representação dos dados. O desenvolvimento de padrões (standards) e o uso da eXtensible Markup Language (XML) resolveram muitos destes problemas. Apesar das soluções desenvolvidas serem somente sintáticas elas funcionam em muitos casos, como por exemplo, na interoperabilidade de esquemas em sistemas bussiness to bussiness de e-commerce. Entretanto, a falta do aspecto semântico impossibilitou que as aplicações fizessem mais uso dos dados ou os utilizassem de forma mais inteligente. A idéia da Web Semântica é definir explicitamente o significado dos dados que se encontram na Web. Com isso, esperam-se aplicações capazes de entender o que significam os dados. E uma vez que estas aplicações entendam os dados, elas possibilitarão que os usuários utilizem essa nova Web dirigida a dados para facilitar as suas tarefas rotineiras. Esta tese propõe um framework para o desenvolvimento de aplicações para a Web Semântica. Considerando o que foi descrito no parágrafo anterior, o número de aplicações que podem ser construídas é quase infinito. Portanto, nós nos restringimos a observar as aplicações que tem por objetivo solucionar o problema apresentado pelo Semantic Web Challenge; e propor um framework que represente estas soluções. O Challenge tem como principal finalidade demonstrar como as aplicações podem atrair e beneficiar o usuário final através do uso das técnicas da Web Semântica. Conseqüentemente, nossa intenção é possibilitar que o desenvolvedor de aplicações possa atingir essa atração e benefícios, através do uso das técnicas de Web Semântica e de Engenharia de Software, utilizando um framework para o desenvolvimento das aplicações. / [en] Documents have been the main vehicle of the Web until some years ago. With the advent of Web applications, data stored in organizations databases or legacy systems has been made available to users. However, very often, the exchange of data between those applications themselves or between them and end-users applications were not possible since they used different formats for the information representation. The development of standards and the use of the eXtensible Markup Language (XML) solved parts of the problem. That was a syntactic solution and it works for several cases, e.g., schema interoperability in Business-to-Business e-commerce scenarios. Nevertheless, the lack of semantics on these data prevented applications to take more advantage of them. The idea behind the Semantic Web is to define explicitly the semantics of data available on the Web. Therefore, we expect another step forward where applications, being them corporative or for end-users, will understand the meaning of the data available on the Web. Once those applications can understand it, they will be able to help users to take advantage of this data driven Web and to perform their daily tasks easily. This thesis proposes a framework for the development of Semantic Web applications. Considering the scenario described in the previous paragraph, the number of possible applications that can be developed is almost infinite. For this reason, we restricted ourselves to examine the solutions that aim to solve the problem presented at the Semantic Web Challenge; and to propose a framework that represent those solutions. The challenge is concerned in demonstrating how Semantic Web techniques can provide valuable or attractive applications to end users. Our main concern was then to demonstrate and help a developer to achieve that value addition or attractiveness, through Semantic Web techniques, in a Software Engineering approach using frameworks.

[pt] Este ensaio investiga como as redes sociais popularizadas na internet nos últimos anos têm consistido em práticas de automodelagem identitária para seus usuários. Escolhendo por recorte o uso que a juventude brasileira faz do website Orkut, o estudo problematiza a categoria identidade pelo viés das narrativas autorreferenciadas. Para tanto, parte-se da hipótese de que as narrativas de si, embora esboçadas em diferentes momentos da história ocidental, ganham vulto no nascimento do período moderno, quando se estabelecem conceitos como os de individualidade e intimidade. Examinados os antecedentes desse processo, são apresentadas consequências da comunicação mediada por computador no cotidiano do indivíduo comum a partir da última década. As redes sociais são então analisadas através do apelo à performance e singularização identitária de seus usuários. A dissertação aborda como a noção de participação e exposição de si, que está na base das iniciativas de compartilhamento de conteúdo da Web 2.0, demarca tensões para as noções de público e privado, fomentando novos comportamentos sociais, valores de alteridade e práticas de vigilância distribuída no ambiente digital. Metodologicamente, o estudo se utilizou de observação participante, análise de dados e de entrevistas com jovens usuários brasileiros de redes sociais. / [en] The essay takes a deep look into how online social networking, made popular on the internet over the last years, arouses practices of identity selfconstruction by its users. Focusing on the use of Orkut website, mostly by Brazilian teenagers and young adults, this study discusses the notion of identity through the history of self-referred narratives. In this aim, it takes the hypothesis that, although narratives of the self were outlined in different periods in Western history, they ascended in the emerging of modern times - when the ideas of individuality and intimacy appeared. After considering these prior facts, this essay presents the consequences of computer-mediated communication in everyday life during the last decade. Then, online social networking is analysed through its appeals to identity performance and customization. The research deals with how participation and exhibition – two factors which plot the platforms of Web 2.0 - set a tension between the notions of public and private, as well as encourage new social behaviours, values of alterity and shared practices of surveillance in the digital context. The research method was based on participant observation, information analysis and interviews with Brazilian young users of online social networking.

[pt] Nessa dissertação propomos uma ferramenta destinada à exploração dos dados na Web Semântica. Nosso objetivo foi desenvolver um modelo de exploração que permitisse o usuário explorar uma base de dados RDF sem deter qualquer conhecimento prévio de seu domínio. Para tanto, apresentamos um modelo de operações que suportadas por uma interface baseada no paradigma de manipulação direta e query-by-example, nos permite explorar uma base de dados RDF semi-estruturada para ganhar conhecimento e responder questões específicas sobre o domínio, através de navegação, busca e outros mecanismos de exploração. Também desenvolvemos um modelo de especificação e geração automática de facetas que pode ser utilizado na construção de mecanismos de navegação facetada sobre dados RDF. O produto final desse trabalho é a ferramenta Explorator, que propomos como um ambiente para Exploração dos dados na Web Semântica. / [en] In this dissertation we propose a tool for Semantic Data exploration. We developed an exploration model that allows users without any a prior knowledge about the data domain to explore an RDF database. So that, we presented an operation model, that supported by an interface based on the direct manipulation and query-by-example paradigm, allows users to explore an RDF base to both gain knowledge and answer questions about a domain, through navigation, search and others exploration mechanisms. Also, we developed a facet specification model and a mechanism for automatic facet extraction that can be used in the development of facet navigation systems over RDF. The final product of this work is a tool called Explorator that we are proposing as an environment for Semantic Web data exploration.

[pt] Atualmente a internet configura-se com um espaço para manifestações sociais, onde as pessoas retratam opiniões, constroem conhecimento e se relacionam continuamente. Este ambiente proporciona um canal de mídia interativa, capaz de conectar empresas e seus clientes em uma via de mão dupla. O objetivo principal deste trabalho é levantar, a partir da consolidação desta nova era da internet, conhecida com web 2.0, e da formação das redes sociais virtuais, oportunidades para o marketing e para a comunicação. Segue como objetivo do trabalho, a identificação de possíveis riscos aos quais as empresas devem estar atentas no ambiente das mídias sociais. O site de relacionamento Orkut serviu de pano de fundo para este trabalho, um estudo qualitativo, baseado na observação da atuação das empresas operadoras de telefonia celular no Rio de Janeiro: Claro, Oi, TIM e Vivo neste site, e na análise de conteúdo dos textos publicados nas comunidades e em fóruns de discussão virtuais. Os resultados apurados sugerem que as mídias sociais virtuais parecem ainda não estar sendo utilizadas em todo seu potencial para as ações de marketing e comunicação. Indica também que as empresas têm como principais desafios nas mídias sociais, a observação contínua das manifestações dos grupos, a qualificação das interações propostas e o uso das ações de marketing viral. Sugestões para pesquisas futuras fazem parte do final deste trabalho. / [en] Nowadays the Internet is configured with a space for social events, where people portray reviews, build knowledge and interact continuously. This environment provides a channel for interactive media, able to connect companies and their customers in a two-way street. The main objective of this work is to raise from the consolidation of this new Internet era, known as Web 2.0, and the formation of virtual social networks, opportunities for marketing and communication. Further on, other objective of the work is the identification of possible challenges to which companies should be mindful of at the environment of social media. The social networking site Orkut has served as the backdrop for this work, a qualitative study, based on observation of the performance of the companies of mobile operation in Rio de Janeiro: Claro, Oi, TIM and Vivo on this site, and content analysis of texts published in communities and virtual discussion forums. The results of this work suggest that the digital social networks does not seem to be being used to its full potential for the actions of marketing and communication. It also indicates that companies have as main challenges in social media: continuous observation of the manifestations of the groups, the classification of interactions proposed and the use of viral marketing. Suggestions for future research are part of the final text.

[pt] A quantidade de informações na Internet aumenta a cada dia. Embora esta proliferação aumente as chances de que o tema sendo buscado por um usuário esteja presente na rede, ela também torna encontrar a informação desejada mais difícil. A classificação automática de páginas é, portanto, uma importante ferramenta na organização de conteúdo da Web, com aplicações específicas na melhoria dos resultados retornados por máquinas de busca. Nesta dissertação foi realizado um estudo comparativo de diferentes conjuntos de atributos e métodos de classificação aplicados ao problema da classificação funcional de páginas web, com foco em 4 classes: Blogs, Blog Posts, Portais de Notícias e Notícias. Ao longo dos experimentos, foi possível constatar que a melhor abordagem para esta tarefa é a utilização de atributos tanto da estrutura quanto do texto das páginas. Foi apresentada também uma estratégia nova de construção de conjuntos de atributos de texto, que leva em consideração os diferentes estilos de escrita das classes de páginas. / [en] The amount of information on the Internet increases every day. Even though this proliferation increases the chances that the subject being searched for by an user is on the Web, it also makes finding the desired information much harder. The automated classification of pages is, therefore, an important tool for organizing Web content, with specific applications on the improvement of results displayed by search engines. In this dissertation, a comparative study of different attribute sets and classification methods for the functional classification of web pages was made, focusing on 4 classes: Blogs, Blog Posts, News Portals and News. Throughout the experiments, it became evident the best approach for this task is to employ attributes that come both from the structure and the text of the web pages. We also presented a new strategy for extracting and building text attribute sets, that takes into account the different writing styles for each page class.

[pt] Recentemente, de maneira mais extensiva, mas desde o fim da década de 90, um fenômeno pôs em cheque os papéis de quem produz e de quem consome informação no mundo. Esta dissertação procura analisar esse fenômeno na internet, chamado aqui de comunicação individual de massa. Especificamente, o foco deste estudo é o site de compartilhamento de vídeos YouTube, cujo slogan é broadcast yourself, ou seja, transmita você mesmo, e que conta com mais de 78 milhões de vídeos publicados – são cerca de 240 mil filmes adicionados todos os dias. Integrante da fase web 2.0, na qual pessoas comuns passaram a publicar textos, fotos, vídeos, comentários, desenhos e outros tipos de conteúdo na internet, o YouTube, originalmente concebido por três amigos desejosos de compartilhar com outros amigos seus vídeos pessoais, hoje integra o Google Inc., um dos maiores grupos do mercado web. Além das réplicas de conteúdos já exibidos no cinema, na TV e em outros meios, a grande maioria dos vídeos publicados e exibidos no site é totalmente inusitada. Para a análise, foram agrupados os vídeos produzidos por usuários comuns em três categorias: filmes virais, de família e videobiografias. Por meio das análises desses filmes e do diálogo com teóricos, são elaboradas questões atuais, como identidade, autoria e agenciamento coletivo, que parecem refletir bem a sociedade conectada. / [en] Recently, more extensively, but since the end of the 90s, a phenomenon has changed the roles of those who produce and consume information in the world. This dissertation attempts to analyze this phenomenon, called here mass self communication, which took place in the internet in recent years. Specifically, the focus of this study is the website YouTube, whose slogan is broadcast yourself, and has over 78 million uploaded videos - about 240 thousand movies are being added there every day. Of the web 2.0 phase, in which ordinary people publish text, photos, videos, comments, drawings and other types of content on the internet, YouTube, originally conceived by three friends willing to share with their group their personal videos, today integrate Google Inc., one of the largest worldwide technology corporation groups. In addition to the large amount of cloned content, copied and digitalized from blockbuster movies, clips, TV soap opera and other sources, most of the videos published and displayed in YouTube are brand new. For the analysis of these videos produced by common users, they were grouped in three categories: viral films, family movies and video biographies. Some selected issues, particularly of identity, authorship and agency are then discussed, raising speculations about the nature and prospects of a interconnected society.

[pt] Com o crescimento da web semântica, cada vez mais bases de dados em RDF contendo todo tipo de informações, nos mais variados domínios, estão disponíveis para acesso na Internet. Para auxiliar o acesso e a integração dessas informações, esse trabalho apresenta uma ferramenta que permite a geração de aplicações para consultas a bases em RDF e RDFS através da programação por exemplo. Usuários podem criar casos de uso através de operações simples em cima do modelo RFDS da própria base. Esses casos de uso podem ser generalizados e compartilhados com outros usuários, que podem reutilizá-los. Com esse compartilhamento, cria-se a possibilidade desses casos de uso serem customizados e evoluídos colaborativamente no próprio ambiente em que foram desenvolvidos. Novas operações também podem ser criadas e compartilhadas, o que contribui para o aumento gradativo do poder da ferramenta. Finalmente, utilizando um conjunto desses casos de uso, é possível gerar uma aplicação web que abstraia o modelo RDF em que os dados estão representados, tornando possível o acesso a essas informações por usuários que não conheçam o modelo RDF. / [en] Due to increasing popularity of the semantic web, more data sets, containing information about varied domains, have become available for access in the Internet. This thesis proposes a tool to assist accessing and exploring this information. This tool allows the generation of applications for querying databases in RDF and RDFS through programming by example. Users are able to create use cases through simple operations using the RDFS model. These use cases can be generalized and shared with other users, who can reuse them. The shared use cases can be customized and extended collaboratively in the environment which they were developed. New operations can also be created and shared, making the tool increasingly more powerful. Finally, using a set of use cases, it’s possible to generate a web application that abstracts the RDF model where the data is represented, making it possible for lay users to access this information without any knowledge of the RDF model.

[pt] Prova automática de teoremas consiste na prova de teoremas matemáticos por intermédio de programas de computador. Dependendo da linguagem lógica em uso, o processo de provar uma determinada fórmula pode não ser computável. Além disso, dependendo do cálculo dedutivo empregado, a busca por uma prova envolve lidar com a possibilidade de aplicação de longas sequências de axiomas e regras de inferência. Tudo isso reforça a necessidade da intervenção humana no processo de prova em sistemas denominados provadores interativos de teoremas ou assistentes de prova. Em um cenário típico, um usuário interage com a máquina de prova através de uma interface gráfica, normalmente implementada como um aplicativo desktop. Recentemente, porém, muitos aplicativos deste tipo passaram a ser oferecidos para seus usuários através da web. Esta forma de disponibilizar software evita que o usuário final se preocupe com questões de instalação e configuração e possibilita o acesso ao sistema de qualquer computador, com qualquer sistema operacional, bastando ter disponível uma conexão com a Internet. Nesta dissertação, estudamos possibilidades de uso da web como plataforma para a construção de ambientes interativos para prova de teoremas. Nossa proposta é estudar os diferentes modelos de interação entre usuário e ambientes de prova automatizados e verificar como estes modelos podem ser adaptados para a web. Como resultado, apresentamos uma ferramenta gráfica para visualização e manipulação direta de provas formais na web como uma interface alternativa entre usuários e provadores. / [en] Automatic theorem proving consists of proving mathematical theorems by means of computer programs. Depending on the logic used, the process of proving a formula is not computable. Moreover, depending of the deductive system applied to, the search for a proof can involve the application of long sequences of axioms and inference rules, reinforcing the need of human intervention in the proof process. Such systems are known as interactive theorem provers or proof assistants. In a typical scenario, the user interacts with the prover through a graphical interface, usually a desktop application. Recently, however, applications like those started to be delivered to users through the web. This way of software deployment avoids that final users have to deal with complex activities like prover installation and configuration and allows this user to access the system from different machines with a simple Internet connection. In this research we study the use of web as a platform for interactive theorem proving environments construction. Our purpose is to study some interaction models between user and automated proof environments and verify how these models can be adapted to work as a web application. As a result we show a graphical tool for visualization and direct manipulation of formal proofs on web to work as an alternative interface between user and proving machines.