Made available in DSpace on 2014-06-11T19:30:28Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-05-24Bitstream added on 2014-06-13T20:00:40Z : No. of bitstreams: 1 fatori_mj_dr_arafcl.pdf: 640663 bytes, checksum: 002a0ee57c25351199c521068ffe2dc2 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / A presente pesquisa tem por objetivo analisar o emprego do presente do indicativo no português do Brasil, sob uma perspectiva semântico-discursiva. Seu propósito principal é analisar, num corpus constituído de diversos gêneros discursivos, tanto da modalidade escrita como da oral, os valores semânticos do presente do indicativo, bem como o contexto em que ele é empregado. Pretende-se verificar ainda se o que propicia o seu emprego é o gênero discursivo (editorial, artigo de opinião, crônica literária, etc.) ou as sequências textuais (sequência descritiva, narrativa, argumentativa, etc.) das quais esses gêneros são compostos. Além disso, objetiva-se averiguar se há alguma relação entre o presente do indicativo e os tipos de verbos (ação, processo, ação-processo e estado). Na realidade, busca-se aqui verificar se o presente do indicativo realmente possui maior afinidade com os verbos de estado, conforme constatou Fatori (2006) em pesquisa anteriormente realizada, ou se o fator condicionador da seleção do tipo verbal está atrelado aos diversos valores semânticos que esse tempo verbal pode assumir. A pesquisa estabelece suas bases fundamentalmente sobre os trabalhos de Weinrich (1964), segundo o qual a principal função dos tempos verbais é situar o interlocutor no processo comunicacional, e de Corôa (1985), que analisa os tempos verbais sob uma perspectiva semântica / The purpose of this research is to analyze the use of the present of the indicative in the Portuguese language spoken in Brazil in a semantic discoursive perspective. The main aim of this work is to analyze the semantic values that the present of the indicative assumes, as well as the context in which it is used, in a group of different discoursive genders, from both written and spoken modalities. Besides we intend to verify if what promotes its use is the discoursive gender (editorial, opinion article, chronicles, etc.) or the textual sequences (descriptive sequence, narrative sequence, argumentative sequence, etc.) that compose the discoursive genders. We also intend to verify if there is any relation between the present of the indicative and the types of verbs used with this tense. In fact, our purpose is to observe if the present of the indicative really has more affinity with the state verbs, as noticed by Fatori (2006) in research previously done, or if what promotes the selection of the verbal type is linked to the different semantic values that the present of the indicative can assume. As theoretical basis for the analysis, we use the researches of Weinrich (1974) and Côroa (1985)

[pt] Dados estatísticos são uma das mais importantes fontes de informação para atividades humanas e organizações. No entanto, o acesso, consulta e correlação deste tipo de dados demanda grande esforço, principalmente em situações que envolvem diferentes organizações. Soluções que facilitem o acesso e a integração de grandes bases de dados analíticos, desta forma, agregam muito valor a este cenário. Neste trabalho propomos um arcabouço de software que permite com que dados estatísticos sejam eficientemente transformados e representados no formato de triplas RDF. Utilizando como base o DataCube Vocabulary, padrão W3C para o processo de triplificação de informações, a solução proposta facilita a consulta, análise, e reuso dos dados quando no formato RDF. O processo inverso, RDF para Excel, também é suportado, de modo a oferecer uma solução para a integração e consumo de dados RDF a partir de planilha. / [en] Statistical data represent one of the most important sources of information both for humans and organizations alike. However, accessing, querying and correlating statistical data demand a great deal of effort, especially in situations that involve different organizations. Therefore, solutions to facilitate the manipulation and integration of large statistical databases add value to this scenario. In this dissertation we propose a framework that allows statistical data to be efficiently processed and represented as RDF triples. Based on the DataCube Vocabulary, W3C s triplification standard, the proposed solution makes it easy to query, analyze, and reuse statistical data in RDF format. The reverse process, RDF for Excel, is also supported, so as to offer a solution for the integration and use of RDF data in spreadsheets.

[pt] A adoção de abordagems de desenvolvimento orientada a agentes de software traz inúmeros benefícios, tais como o suporte à análise, ao projeto e a implementação de sistemas de software. Postulamos que um ambiente de desenvolvimento robusto para a construção de sistemas orientados a agentes de software será reforçado por meio de métodos avançados de reuso. O reuso na engenharia de software leva à redução de custos e tempo envolvidos no desenvolvimento dos projetos. Além disso, promove melhorias relacionadas à adatação a diferentes exigências e necessidades dos engenheiros de software, melhorando qualidade dos sistemas desenvolvidos. No entanto, a pesquisa relacionada ao reuso de agentes ainda é escassa. Consequentemente, o problema da organização e do armazenamento de artefatos orientados a agentes ainda não atende as necessidades dos engenheiros de software. Portanto, o processo de recuperação de agentes ainda é um importante desafio a ser superado na engenharia de software orientada a agentes. Neste contexto, esta dissertação propõe uma metodologia e um protótipo de repositório baseado em tecnologias da web semântica que suportam estratégias de reuso, fundamentais ao processo de desenvolvimento de sistemas orientados a agentes. A metodologia proposta inclui (i) um meta-modelo flexível para representar os agentes e as suas características comuns e variáveis. Tais características são modeladas por meio de uma ontologia e um modelo de características (em inglês feature model), (ii) uma taxonomia específica de domínio para classificar os agentes de acordo com o seu domínio de aplicação, (iii) uma taxonomia para classificar os diferentes tipos de agentes, (iv) um serviço de subscrição (RSS) para anunciar a atualização dos agentes associados a categorias específicas, (v) um sistema de recomendação, apoiado por a ontologia e as taxonomias propostas, que permite aos usuários descobrir agentes reutilizáveis inter-relacionados, e (vi) métodos avançados de busca e navegação. Finalmente, avaliamos o repositório construído. O resultado da nossa avaliação mostra que o método proposto promove uma melhoria em relação à relevância da recuperação dos artefatos orientados a agentes. / [en] The adoption of a software agent-oriented development approach brings a number of benefits such as the support of analyses, design and implementation of software systems. We posit that a robust development environment for the construction of agent-oriented software systems will be enhanced by advanced reuse methods. Reuse in software engineering leads to the reduction of cost and time involved for developing projects, improvement of software quality, and easy adaptation to different requirements and needs of software engineers. However, research addressing agent reuse is meager and does not tackle the problem of organizing and storing agent-oriented artifacts according to the software engineers needs. Therefore, the agent retrieval process turns into an important challenge to be overcome in agent-oriented software engineering. In this context, this thesis proposes a methodology and a repository prototype based on semantic web technologies that supports reuse for developing agent systems. The proposed methodology includes (i) a flexible meta-model for representing the agents and their common and variable features, which are represented by means of ontology and feature model, (ii) a domain-specific taxonomy to classify agents according their application domain, (iii) a taxonomy to classify the different behaviors of agents, (iv) a subscription service, RSS, to announce updates to the agents that are associated to specific categories, (v) a recommendation system, supported by the ontology and the taxonomies, that allows end-users to discover reusable interrelated agents and learn new information or agents as needed, and (vi) enhanced search and browsing methods for agents. Finally, we evaluate the constructed repository. The outcome of this evaluation shows that the proposed reuse method is an improvement in terms of the relevance of retrieved agent-oriented artifacts.

[pt] Em sua Teoria Pura do Direito, Hans Kelsen defende que os textos legais precisam ser isolados de questões ideológicas para serem interpretados em sua essência. Essa corrente teórica formalista-positivista considera contaminada qualquer interpretação atrelada a interesses pessoais ou questões políticas, afinal o Direito deve existir apenas como real, e não como ideal ou justo. Só assim ele pode ser considerado uma ciência. Dessa forma, as inegáveis indeterminações das leis se devem apenas a questões semânticas relativas à multiplicidade de significados das palavras, a defeitos técnicos e a necessidades do mundo jurídico, tanto em relação ao fato condicionante quanto à conseqüência condicionada. Sem negar o valor dessa teoria, a Hermenêutica jurídica hoje trabalha com conceitos bem próximos aos desenvolvidos pelos estudos sociolingüísticos, em que o intérprete não desempenha uma função essencialmente passiva na construção de significados. Assim, esta dissertação rejeita algumas idéias clássicas do Direito sobre interpretação e apresenta novas possibilidades criadas pela perspectiva sociolingüística na interpretação de textos legais. O foco da análise são as indeterminações presentes nas leis, que ganham nova hipótese explicativa a partir da consideração de contextos e participantes desse processo comunicativo. Defende-se que boa parte das ambigüidades e vaguezas presentes em textos legais, freqüentemente disfarçada por uma linguagem de difícil acesso ao homem médio e até a operadores do Direito, na realidade, faz parte de uma estratégia intencional de legisladores para obscurecer sentidos potencialmente polêmicos. O corpus analisado é um recorte do material constitucional brasileiro: artigos da Constituição de 1988 e leis complementares previstos pelos mesmos. / [en] Hans Kelsen´s Pure Theory of Law argues that legal texts must be isolated from ideological questions in order to be interpreted in their true meanings. Accordingly, this theory considers an interpretation to be biased when it is influenced by personal interests or political questions. After all, the law should exist only as real, not as ideal or fair. That is the only way it can be considered a science. This way, the unavoidable uncertainty of laws should only be due to semantics questions related to the multiple meanings of the words, technical errors, and necessities of the juridical world. Without negating the importance of this theory, the juridical Hermeneutic today deals with concepts similar to the ones developed by sociolinguistics studies, in which the interpreter does not have a passive role in constructing meaning. Thus, this dissertation rejects some classical ideas of interpretation of law and presents new possibilities created by the sociolinguistic perspective in the interpretation of legal papers. The focus of this analysis is the uncertainty found in the laws, that gains new perspectives through the consideration of context and participants in this communication process. Some argue that a significant numbers of ambiguity and vagueness found in legal texts, often disguised by a language hard to be understood even to law professionals, in fact, is an intentional strategy to veil potential polemic meanings. The material analyzed is a sample of the Brazilian Constitution texts, including articles from the Constitution of 1988 and supplemental laws foreseen by it.

[pt] Sistemas Multiagentes Orientados a Serviços (SOMS) têm surgido visando incorporar os benefícios de duas disciplinas da Engenharia de Software: Arquitetura Orientada a Serviços e Engenharia de Software Orientada a Agentes. A primeira visa fornecer serviços fracamente acoplados que podem ser utilizados em diferentes domínios. A segunda se baseia em um novo paradigma que visa o desenvolvimento de Sistemas Multiagentes, que são compostos por entidades, chamadas agentes, com raciocínio, autonomia e pró-atividade. Um dos principais objetivos de SOMS é ajudar no desenvolvimento de sistemas orientados a serviços capazes de adaptar-se em ambientes computacionais dinâmicos, onde é necessário reagir às mudanças em seus requisitos em tempo de execução, assim como, adaptar-se eficientemente diante de erros de execução e baixa qualidade de serviço. Neste contexto, este trabalho propõe um framework (Java self-Adaptive Agent Framework - JAAF) para implementar agentes autoadaptativos capazes de autonomamente e pró-ativamente descobrir serviços, selecionar o mais apropriado e adaptar-se caso algum problema ocorra durante a execução do serviço. A aplicabilidade do framework proposto é demonstrada através de dois estudos de caso. O primeiro é um sistema responsável por gerar mapas de susceptibilidades, ou seja, mapas que mostram locais com risco de deslizamento em determinada área. O segundo é um sistema onde o principal objetivo é satisfazer necessidades, relacionadas à viagens, de usuários. / [en] Service Oriented Multi-agent Systems (SOMS) have emerged in order to incorporate the benefits of two software engineering disciplines: Serviceoriented Architecture and Agent-oriented Software Engineering. The first provides loosely coupled services that can be used within different domains. The second is based on a new software engineering paradigm that addresses the development of Multi-agent Systems, which are composed of autonomous, pro-active and reasoning entities, named software agents. One of the main goal of SOMS is to help the development of service-oriented systems able to adapt themselves on dynamic computing environments. Those systems must be able to react at runtime to changes in their requirements, as well as to efficiently accommodate for deviations from their expected functionality or quality of services. In this context, this work proposes a framework (Java self- Adaptive Agent Framework - JAAF) to implement self-adaptive agents able to autonomously and pro-actively discover services, decide about the most appropriate one and adapt themselves if they face a problem while executing the service. The applicability of the proposed framework is demonstrated through two case studies. The first is a system responsible for generating susceptibility maps, i.e., maps that show locations with landslides risks in a given area. The second is a system where the main goal is to satisfy the users’ needs related to travel.

A noção de tipo é intrínseca ao raciocínio humano, na medida que os seres humanos tendem a "classificar" os objetos segundo seu use e seu comportamento como parte do processo de resolução de problemas. Tal classificação dos objetos implica numa abstração das características irrelevantes dos mesmos,permitindo dessa maneira uma simplificação importante da complexidade do universo de discurso Por outro lado, certos problemas são altamente complexos e requerem um tratamento diferenciado.Esses problemas exigem, para sua resolução, um grande conhecimento do universo de discurso. O ponto critico nesta situação é que o domínio do problema não é exato como poderia ser um domínio matemático. Pelo contrario, ele inclui geralmente aspectos ambíguos e pouco formais que dificultam seu entendimento. Tal domínio a chamado de senso comum e é objeto de estudo de uma linha da computação, a Inteligência Artificial (IA). Para [KRA 87], entre outros, as soluc6es pare muitos problemas de IA dependern mais da capacidade de adquirir e manipular conhecimento do que de algoritmos sofisticados. Por este motivo, existem na IA muitos tipos de linguagens que tentam, de di verses maneiras,facilitar a representação de conhecirnentos sobre universos de discurso de problemas particulares. São as chamadas Linguagens de Representação de Conhecimento. A noção de tipo e implícita nas linguagens de representação de conhecimento, uma vez que tal noção é natural no raciocínio humano e esta intimamente ligada ao conceito de abstração. Este trabalho visa explicitar a noção de tipo subjacente ao núcleo definido da linguagem RECON-II. Para isto, foi realizado um estudo semântico prévio para identificar os tipos semânticos da linguagem. A partir da noção semântica dos tipos foi possível definir a correspondente sintática e finalmente, descrever um Sistema de Tipos para RECON-II. Um Sistema de Tipos consiste numa Linguagem de Tipos (tipos básicos + construtores de tipos) e num Sistema de Dedução que relaciona as expresses da linguagem objeto (linguagem de programação com as expresses da linguagem de tipos. Para a primeira etapa realizada neste trabalho, a determinação da semântica da linguagem, foi utilizado o método algébrico. Nele toda expressão RECON-II é um termo de uma assinatura Z, de modo quo cada assinatura Z determina um conjunto de expressos RECON-UL Mas, por outro lado, uma assinatura também determina um conjunto de álgebras. Dessas álgebras-Z só um subconjunto significativo para as expressões RECON-II. As álgebras-Z significativas são aquelas que satisfazem a assinatura-Z mais um conjunto E de axiomas. A assinatura-Z junto como o conjunto E de axiomas constituem o quo se denomina Tipo Abstrato de Dados, T=CZ, E), e as álgebras-Z significativas são os chamados modelos-Z do tipo T. Assim, uma expressão RECON-II a e um elemento da álgebra de termos quo g uma Álgebra gerada a partir do E. Essa álgebra, 44 4-) conjunto das expressi5es_: RECON-II significativas, e o modelo inicial de tais expressões WOG 781 Dado um tipo abstrato T existe um único modelo para T, ou uma classe de modelos, não isomórficos, denominada MCT>. No segundo caso, asses modelos constituem uma "quasi" ordem parcial com modelo inicial e terminal. A existência e unicidade do modelo inicial para qualquer tipo T foi demonstrada por [GOG 77] Com Σ = (S, F). a (Ws )para 9 S, e o conjunto dos termos de "sort." e. Na RECON-II, são os termos de uma categoria sintática determinada. As categorias sintáticas principais são : Conceitos, Relações, Funções e Redes. Um tipo semântico para s E S é um subconjunto M(T) S M(T) quo satisfaz os axiomas E exigidos de (WΣ) s, constituindo o tipo abstrato T .s.(por exemplo TConceitos, TRedes, etc.) Por último foi definido o Sistema de Tipos, que consiste numa estrutura sintática adequada para os tipos semânticos de cada expressão-RECON e, para cada expressão de tipo, um conjunto de regras de inferências que permuta, a partir de uma expressão-RECON inferir seu tipo mais geral. / The notion of type is intrinsic to human reasoning, since human beings tend to classify objects according their use and behaviour as part of the problem solving process. By classifying objects, their irrevelant characteristics are abstrated; in this way, the complexity of the universe of discourse is much reduced. On the other hand, certain problems are higly complex and require a differentiated treatament. In order to solve these problems, a great knowledge of de universe of discourse is needed. The critical proint in this situation is that the domain of the problem isn't as precise as a matliematic domain. On the contrary, it generally, includes ambiguous and not very formal aspects wich make its uderstanding difficult.. Such a domains is known as common sense and this is the object of studies of one line of Computer Science, Artificial Intelligence CAI). For [KRA 871, among others, the solutions for many AI problems depend on the ability for acquiring and manipulating knowledge rather than on sophisticated algorithm. For this reason, there are in AI many type of languages that attemps in different ways, to represent the UD of a particular problem. These languagesare known as Knowledge Representation Languages. The notion of type is implicit in Knowledge Representation Languages, since it is natural in human reasoning and closely rrelated to the concept of abstraction. This work intends to make the notion of type intrinsic to the RECON-II's kernel language, explicity. In order to do this, a preliminary semantic stidy was carriedaut to identify the semantic types of the languages. From the semantic notion of the types it was possible to define the sintactic counterpart and finally to describe a Type System for RECON- II. A Type System conssit of a type language (basic types + types constructors) end a deduction system that relattes expressions in the language object (programming language) to the expressions in the type language. In the first step of this work, language semantic determination, the algebric method was used. In it every RECON-II expression is one term of a signature 2, so Chet every signature 2 determines a RECON-II expressions set. On the other hand, a signature also determines a set of algebras. Out of these 2-algebras only one subset is significant to the RECON-II expressions. The significant 2-algebras are those t.het satisfy the 2-signature and a' set E of axioms. Together the 2-siganture and the set E of axioms, constitute what is called Abstract Data Type T = (2, E) and the significant E-algebras are the so-called Z-models of type T. Therefore a RECON-II expressions a is an element, of the wich is an algebra generated from E. This 2- 211)1`.9 is the set. of Sl !.171-11. RECON-II expressions, and is the initia; model of such expressions CLOG 78]. Given an abstract type T there is one single model for T or one class of nonisomorphic models denominated M(T). In the second cas,4, these models constitute a "quasi" partial order with an initial and terminal model. the exixstence nad uniqueness of the inititia1 model for any type T was shown at. CLOG 773. With r = <SS, F ) , (W ) for s S. is the set of terms of e sort. In RECON-II, those are •he term of determinate sintactic category. The main -sintactic categories are Concepts, Relations, Functions and Nets. A semantic type for s E S is s subset MCI') S MCT> that satisfies the axioms E required from C.W_), constituting the 8 2- abstract type T (for instance Tconcepts, Tnets, etc.). 8 Finally, the type systems was defined, consisting a syntatic structure suitable for the semantic types of each RECON-II expressions and for every type expressions, a set of inference rules wich allows infering its more general type from a RECON-II expressions.

[pt] Este trabalho define uma arquitetura para adaptação e meta- adaptação de sistemas hipermídia, utilizando modelos propostos para a Web Semântica. As aplicações adaptativas são capazes de alterar algumas de suas características, tais como modelo de navegação ou de apresentação, em função de um contexto de adaptação. Este contexto pode incluir informações sobre o usuário, tais como preferências, navegações prévias, etc., e sobre o ambiente de execução, tais como dispositivo de acesso, banda passante, etc. As aplicações meta-adaptativas são capazes de alterar tanto os modelos da aplicação quanto o próprio processo de adaptação, também em função do contexto. A partir do modelo SHDM, são definidas extensões para representar o contexto de adaptação, as regras de adaptação e a arquitetura de execução deste tipo de aplicação. Através de comparações, é mostrado como os principais modelos descritos na literatura são casos particulares do modelo e da arquitetura propostos nesta dissertação. / [en] This dissertation defines an architecture for adaptation and metaadaptation in hypermedia systems, using models proposed for the Semantic Web. Adaptive applications are able to alter some of their characteristics, such as its navigation model or presentation model, according to the adaptation context. This context may include information about the user, such as her preferences, navigation history, etc., and about the execution environment, such as access device, bandwidth, etc. Meta-adaptive applications are able to alter both its models and its adaptation process according to the adaptation context. The proposal extends the SHDM model with a context model, adaptation rules and execution architecture. It is shown, by comparison, that the major adaptation models described in the literature can be seen as particular cases of the proposed model and architecture.

Made available in DSpace on 2014-06-11T19:26:44Z (GMT). No. of bitstreams: 0 Previous issue date: 2005Bitstream added on 2014-06-13T18:30:28Z : No. of bitstreams: 1 alves_rcv_me_mar.pdf: 1114303 bytes, checksum: 18a01cab5a57564bfe296f1d00501495 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Atualmente a nossa sociedade, denominada sociedade da informação, vem sendo caracterizada pela valorização da informação, pelo uso cada vez maior de tecnologias de informação e comunicação e pelo crescimento exponencial dos recursos informacionais disponibilizados em diversos ambientes, principalmente na Web. Essa realidade trouxe algumas mudanças no acesso automatizado às informações. Se por um lado temos uma grande quantidade de recursos informacionais disponibilizados, por outro temos como conseqüência problemas relacionados à busca, localização, acesso e recuperação dessas informações em ambientes digitais. Nesse contexto, o problema que originou essa pesquisa está relacionado com a dificuldade na busca e na recuperação de recursos informacionais digitais na Web e a ausência de tratamento adequado para a representação informacional desses recursos. O maior desafio para a comunidade científica no momento está na identificação de padrões e métodos de representação da informação, ou seja, na construção de formas de representação do recurso informacional de maneira a proporcionar sua busca e recuperação de modo mais eficiente. Assim, a proposição apontada nesse trabalho como solução do problema refere-se ao estabelecimento da Web Semântica e a aplicação de padrões de metadados para a representação da informação, pois são consideradas como iniciativas importantes para proporcionar uma melhor estruturação e representação dos recursos informacionais em ambientes digitais. Com uma metodologia baseada na análise exploratória e descritiva do tema a partir da literatura disponível, apresenta-se uma análise da Web Semântica como uma nova proposta para organização dos recursos informacionais na Web e as ferramentas tecnológicas que permeiam sua construção, com enfoque no uso de metadados como elemento fundamental para proporcionar... . / Nowadays our society, named society of information, has been characterized by the valorization of information through the increasing use of the information and communication technologies and the exponential growth of the informational resources, available in various environments, mainly on the Web. This reality has brought some changes for the automated access to information. If we have a big amount of informational resources available at one side, on the other we have problems related to search, localization, access and recuperation of this information in digital environments as a consequence. In this context, the problem that originated this research is related to the difficulty on searching and recuperating digital informational resources on the Web, and the lack of adequate treatment for the informational representation of these resources. At the moment, the biggest challenge for the scientific community is to identify patterns and methods of representation of information, that is, the construction of forms of representation of the informational resource in order to provide its search and recuperation in a more efficient manner. So, the pointed proposition for the solution of the problem, in this paper, refers to the Semantic Web establishment and the application of metadata patterns to the representation of information, because they are considered an important initiative for providing a better structuring and representation of the informational resources in digital environments. With a methodology based on the exploratory and descriptive analysis of the theme, beginning from the available literature, it is possible to present a Semantic Web analysis as a new proposal for the organization of the informational resources on the Web, and the technological tools that permeate its construction, focusing the use of metadata as the fundamental element to provide a better representation of the informational resources available on the Web, and their.

A noção de tipo é intrínseca ao raciocínio humano, na medida que os seres humanos tendem a "classificar" os objetos segundo seu use e seu comportamento como parte do processo de resolução de problemas. Tal classificação dos objetos implica numa abstração das características irrelevantes dos mesmos,permitindo dessa maneira uma simplificação importante da complexidade do universo de discurso Por outro lado, certos problemas são altamente complexos e requerem um tratamento diferenciado.Esses problemas exigem, para sua resolução, um grande conhecimento do universo de discurso. O ponto critico nesta situação é que o domínio do problema não é exato como poderia ser um domínio matemático. Pelo contrario, ele inclui geralmente aspectos ambíguos e pouco formais que dificultam seu entendimento. Tal domínio a chamado de senso comum e é objeto de estudo de uma linha da computação, a Inteligência Artificial (IA). Para [KRA 87], entre outros, as soluc6es pare muitos problemas de IA dependern mais da capacidade de adquirir e manipular conhecimento do que de algoritmos sofisticados. Por este motivo, existem na IA muitos tipos de linguagens que tentam, de di verses maneiras,facilitar a representação de conhecirnentos sobre universos de discurso de problemas particulares. São as chamadas Linguagens de Representação de Conhecimento. A noção de tipo e implícita nas linguagens de representação de conhecimento, uma vez que tal noção é natural no raciocínio humano e esta intimamente ligada ao conceito de abstração. Este trabalho visa explicitar a noção de tipo subjacente ao núcleo definido da linguagem RECON-II. Para isto, foi realizado um estudo semântico prévio para identificar os tipos semânticos da linguagem. A partir da noção semântica dos tipos foi possível definir a correspondente sintática e finalmente, descrever um Sistema de Tipos para RECON-II. Um Sistema de Tipos consiste numa Linguagem de Tipos (tipos básicos + construtores de tipos) e num Sistema de Dedução que relaciona as expresses da linguagem objeto (linguagem de programação com as expresses da linguagem de tipos. Para a primeira etapa realizada neste trabalho, a determinação da semântica da linguagem, foi utilizado o método algébrico. Nele toda expressão RECON-II é um termo de uma assinatura Z, de modo quo cada assinatura Z determina um conjunto de expressos RECON-UL Mas, por outro lado, uma assinatura também determina um conjunto de álgebras. Dessas álgebras-Z só um subconjunto significativo para as expressões RECON-II. As álgebras-Z significativas são aquelas que satisfazem a assinatura-Z mais um conjunto E de axiomas. A assinatura-Z junto como o conjunto E de axiomas constituem o quo se denomina Tipo Abstrato de Dados, T=CZ, E), e as álgebras-Z significativas são os chamados modelos-Z do tipo T. Assim, uma expressão RECON-II a e um elemento da álgebra de termos quo g uma Álgebra gerada a partir do E. Essa álgebra, 44 4-) conjunto das expressi5es_: RECON-II significativas, e o modelo inicial de tais expressões WOG 781 Dado um tipo abstrato T existe um único modelo para T, ou uma classe de modelos, não isomórficos, denominada MCT>. No segundo caso, asses modelos constituem uma "quasi" ordem parcial com modelo inicial e terminal. A existência e unicidade do modelo inicial para qualquer tipo T foi demonstrada por [GOG 77] Com Σ = (S, F). a (Ws )para 9 S, e o conjunto dos termos de "sort." e. Na RECON-II, são os termos de uma categoria sintática determinada. As categorias sintáticas principais são : Conceitos, Relações, Funções e Redes. Um tipo semântico para s E S é um subconjunto M(T) S M(T) quo satisfaz os axiomas E exigidos de (WΣ) s, constituindo o tipo abstrato T .s.(por exemplo TConceitos, TRedes, etc.) Por último foi definido o Sistema de Tipos, que consiste numa estrutura sintática adequada para os tipos semânticos de cada expressão-RECON e, para cada expressão de tipo, um conjunto de regras de inferências que permuta, a partir de uma expressão-RECON inferir seu tipo mais geral. / The notion of type is intrinsic to human reasoning, since human beings tend to classify objects according their use and behaviour as part of the problem solving process. By classifying objects, their irrevelant characteristics are abstrated; in this way, the complexity of the universe of discourse is much reduced. On the other hand, certain problems are higly complex and require a differentiated treatament. In order to solve these problems, a great knowledge of de universe of discourse is needed. The critical proint in this situation is that the domain of the problem isn't as precise as a matliematic domain. On the contrary, it generally, includes ambiguous and not very formal aspects wich make its uderstanding difficult.. Such a domains is known as common sense and this is the object of studies of one line of Computer Science, Artificial Intelligence CAI). For [KRA 871, among others, the solutions for many AI problems depend on the ability for acquiring and manipulating knowledge rather than on sophisticated algorithm. For this reason, there are in AI many type of languages that attemps in different ways, to represent the UD of a particular problem. These languagesare known as Knowledge Representation Languages. The notion of type is implicit in Knowledge Representation Languages, since it is natural in human reasoning and closely rrelated to the concept of abstraction. This work intends to make the notion of type intrinsic to the RECON-II's kernel language, explicity. In order to do this, a preliminary semantic stidy was carriedaut to identify the semantic types of the languages. From the semantic notion of the types it was possible to define the sintactic counterpart and finally to describe a Type System for RECON- II. A Type System conssit of a type language (basic types + types constructors) end a deduction system that relattes expressions in the language object (programming language) to the expressions in the type language. In the first step of this work, language semantic determination, the algebric method was used. In it every RECON-II expression is one term of a signature 2, so Chet every signature 2 determines a RECON-II expressions set. On the other hand, a signature also determines a set of algebras. Out of these 2-algebras only one subset is significant to the RECON-II expressions. The significant 2-algebras are those t.het satisfy the 2-signature and a' set E of axioms. Together the 2-siganture and the set E of axioms, constitute what is called Abstract Data Type T = (2, E) and the significant E-algebras are the so-called Z-models of type T. Therefore a RECON-II expressions a is an element, of the wich is an algebra generated from E. This 2- 211)1`.9 is the set. of Sl !.171-11. RECON-II expressions, and is the initia; model of such expressions CLOG 78]. Given an abstract type T there is one single model for T or one class of nonisomorphic models denominated M(T). In the second cas,4, these models constitute a "quasi" partial order with an initial and terminal model. the exixstence nad uniqueness of the inititia1 model for any type T was shown at. CLOG 773. With r = <SS, F ) , (W ) for s S. is the set of terms of e sort. In RECON-II, those are •he term of determinate sintactic category. The main -sintactic categories are Concepts, Relations, Functions and Nets. A semantic type for s E S is s subset MCI') S MCT> that satisfies the axioms E required from C.W_), constituting the 8 2- abstract type T (for instance Tconcepts, Tnets, etc.). 8 Finally, the type systems was defined, consisting a syntatic structure suitable for the semantic types of each RECON-II expressions and for every type expressions, a set of inference rules wich allows infering its more general type from a RECON-II expressions.

AGUIA é uma aplicação web front-end, desenvolvida para gerenciar dados clínicos, demográficos e biomoleculares de pacientes coletados durante os ensaios clínicos gastrointestinais no MD Anderson Cancer Center. A diversidade de metodologias envolvidas na triagem de pacientes e no processamento da amostra traz uma heterogeneidade dos tipos de dados correspondentes. Sendo assim, estes devem ser baseados em uma arquitetura orientada a recurso que transforma dados heterogêneos em dados semânticos, mais especificamente em RDF (Resource Description Framework - Estrutura para a descrição de recursos). O banco de dados escolhido foi o S3DB, por este ter cumprido os requisitos necessários de transformação dos dados heterogêneos de diferentes fontes em RDF, distinguindo explicitamente a descrição do domínio e sua instanciação, permitindo simultaneamente a contínua edição de ambos. Além disso, ele usa um protocolo REST, e é de código aberto e domínio público o que facilita o desenvolvimento e divulgação. Contudo, por mais abrangente e flexível, um formato de web semântica pode por si só, não abordar a questão de representar o conteúdo de uma forma que faça sentido para especialistas do domínio. Assim, o objetivo do trabalho aqui descrito foi identificar um conjunto adicional de descritores que forneceu as especificações para a interface gráfica do usuário. Esse objetivo foi perseguido através da identificação de um formalismo que faz uso do esquema RDF para permitir a montagem automática de interfaces gráficas de uma forma significativa. Um modelo RDF generalizado foi, portanto, definido de tal forma que as mudanças nos descritores gráficos sejam automaticamente e imediatamente refletidas na configuração da aplicação web do cliente, que também está disponível neste trabalho. Embora os padrões de design identificados reflitam e beneficiem os requisitos específicos de interagir com os dados gerados pelos ensaios clínicos, a expectativa é que eles contenham pistas para uma solução de propósito geral. Em particular, sugere-se que os padrões mais úteis identificados pelos utilizadores deste sistema sejam suscetíveis de serem reutilizáveis para outras fontes de dados, ou pelo menos para outros bancos de dados semânticos de ensaios clínicos. / AGUIA is a web application front-end originally developed to manage clinical, demographic and biomolecular patient data collected during gastrointestinal clinical trials at MD Anderson Cancer Center. The diversity of methodologies involved in patient screening and sample processing, brings corresponding heterogeneity of data types. Thus, this data must be based on a Resource Oriented Architecture that transforms heterogeneous data in semantic data, most specifically in RDF (Resource Description Framework). The database chosen was a S3DB, because it met the necessary requirements of transforming heterogeneous data from different sources in RDF, explicitly distinguishing the description of the domain from its instantiation, while allowing for continuous editing of both. Furthermore, it uses a REST protocol, and is open source and in the public domain which facilitates development and dissemination. Nevertheless, comprehensive and flexible a semantic web format may be, it does not by itself address the issue of representing content in a form that makes sense for domain experts. Accordingly, the goal of the work described here was to identify an additional set of descriptors that provide specifications for the graphic user interface. That goal was pursued by identifying a formalism that makes use of the RDF schema to enable automatic assembly of graphic user interfaces in a meaningful manner. A generalized RDF model was therefore defined such that changes in the graphic descriptors are automatically and immediately reflected into the configuration of the client web browser interface application, which is also made available with this report. Although the design patterns identified reflect, and benefit, from the specific requirements of interacting with data generated by clinical trials, the expectation is that they contain clues for a general purpose solution. In particular, it is suggested that the most useful patterns identified by the users of this system are susceptible to being reusable for other data sources, or at least for other clinical trial semantic web data stores.