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.

Orientador: Sanderléia Roberta Longhin / Banca: Sandra Denise Gasparini Bastos / Banca: Ana Paula Antunes Rocha / Resumo: O propósito deste trabalho é investigar, sob uma abordagem que une tanto a perspectiva sincrônica quanto a diacrônica, aspectos relativos à gramaticalização dos itens juntivos derivados de tanto, considerando que existe uma relação de precedência entre o item fonte e os demais itens derivados - entretanto, no entanto (que), portanto e contanto que. O corpus utilizado foi obtido a partir de um conjunto de gêneros textuais diversos - como cartas, diários, anúncios, notícias, peças teatrais, discursos etc. -, que mostraram diferentes esquemas de junção. Todos os textos são datados dos séculos XVIII e XIX, com produção predominante no estado de São Paulo e extraídos de duas grandes fontes: do corpus do PHPP (Projeto para a História do Português Paulista) e da Biblioteca Brasiliana (USP). Partindo de propostos funcionalistas que tratam de juntores, entendidos como itens que exprimem alguma relação de sentido, além de ligar sintaticamente orações ou porções textuais maiores (TRAUGOTT; DASHER, 2002; HOPPER; TRAUGOTT, 2003; BLÜHDORN, 2006; NEVES, 2011), analisamos a transição categorial e a abstratização de significado sofridas por cada um dos juntores em questão. Para avaliação de aspectos formais, utilizamos uma série de parâmetros que permitiram averiguar uma maior/menor prototipicidade dos diferentes juntores; quanto à relação de sentido expressa, nos apoiamos no mapeamento da derivação semântica (KORMTANN, 1997) para descrever os diferentes padrões funcionais de cada juntor e, sobretudo, para identificar os diferentes tipos de contextos que condicionaram a emergência de novas relações de sentido, semânticas e pragmáticas. Por meio da análise das ocorrências, pudemos constatar que entretanto, no entanto, portanto e contanto que percorreram a trajetória juntor [- prototípico] > juntor [+ prototípico], permeando mudanças... / Abstract: The purpose of this study is to investigate, from an approach that unites both synchronic and diachronic perspectives, aspects related to the grammaticalization of junctive items derived from tanto, considering that there is a precedence relation between the source item and the other derived items - entretanto, no entanto (que), portanto e contanto que. The used corpus was obtained from a set of several textual genres - such as letters, diaries, advertisements, news, theater plays, speeches etc. -, which showed different junction schemes. All texts are dated to the XVIII and XIX centuries, with predominant production in the state of São Paulo and extracted from two great sources: the corpus from PHPP (History of the Paulista Portuguese Project) and from the Brasiliana Library (USP). Starting from functionalist proposals that adress junctives, which are understood as items that express a certain relation of meaning, besides syntactically linking sentences or larger textual portions (TRAUGOTT; DASHER, 2002; HOPPER; TRAUGOTT, 2003; BLÜHDORN, 2006; NEVES, 2011), categorical transition and the process of making meaning abstract that were suffered by each one of the junctives in question were analyzed. For the evaluation of formal aspects, a series of parameters which allowed to ascertain a higher/lower prototypicality of the different junctives were utilized; as for the relation of meaning expressed, the study relied on the mapping of semantic derivation (KORMTANN, 1997) to describe the different functional patterns of each junctive and, specially, to identify the different types of contexts that influenced the emergence of new semantic and pragmatic relations of meaning. Through the analysis of the occurrences, it was stated that entretanto, no entanto, portanto and contanto que went through the following path: junctive [- prototypical] > junctive [+ prototypical], permeating ... / Mestre

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.

Orientador: Claudia Bauer Medeiros / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-07T03:38:23Z (GMT). No. of bitstreams: 1 Santanche_Andre_D.pdf: 5630081 bytes, checksum: a9ac93609b33f3525c7597c3bbc398b9 (MD5) Previous issue date: 2006 / Resumo: A Web está evoluindo de um espaço para publicação/consumo de documentos para um ambiente para trabalho colaborativo, onde o conteúdo digital pode viajar e ser replicado, adaptado, decomposto, fundido e transformado. Designamos esta perspectiva por Fluid Web. Esta visão requer uma reformulação geral da abordagem típica orientada a docu­mentos que permeia o gerenciamento de conteúdo na Web. Esta tese apresenta nossa solução para a Fluid Web, que permite nos deslocarmos de uma perspectiva orientada a documentos para outra orientada a conteúdo, onde "conteúdo" pode ser qualquer objeto digital. A solução é baseada em dois eixos: (i) uma unidade auto-descritiva que encap­sula qualquer tipo de artefato de conteúdo - o Componente de Conteúdo Digital (Digital Content Component - DCC); e (ii) uma infraestrutura para a Fluid Web que permite o gerenciamento e distribuição de DCCs na Web, cujo objetivo é dar suporte à colaboração na Web. Concebidos para serem reusados e adaptados, os DCCs encapsulam dados e software usando uma única estrutura, permitindo deste modo composição homogênea e proces­samento de qualquer conteúdo digital, seja este executável ou não. Estas propriedades são exploradas pela nossa infraestrutura para a Fluid Web, que engloba mecanismos de descoberta e de anotação de DCCs em múltiplos níveis, gerenciamento de configurações e controle de versões. Nosso trabalho explora padrões de Web Semântica e ontologias ta­xonômicas, que servem como uma ponte semântica, unificando vocabulários para gerenci­amento de DCCs e facilitando as tarefas de descrição/indexação/descoberta de conteúdo. Os DCCs e sua infraestrura foram implementados e são ilustrados por meio de exemplos práticos, para aplicações científicas. As principais contribuições desta tese são: o modelo de Digital Content Component; o projeto da infraestrutura para a Fluid Web baseada em DCCs, com suporte para armaze­namento baseado em repositórios, compartilhamento, controle de versões e gerenciamento de configurações distribuídas; um algoritmo para a descoberta de conteúdo digital que explora a semântica associada aos DCCs; e a validação prática dos principais conceitos desta pesquisa, com a implementação de protótipos / Abstract: The Web is evolving from a space for publicationj consumption of documents to an en­vironment for collaborative work, where digital content can traveI and be replicated, adapted, decomposed, fusioned and transformed. We call this the Fluid Web perspective. This view requires a thorough revision of the typical document-oriented approach that permeates content management on the Web. This thesis presents our solution for the Fluid Web, which allows moving from the document-oriented to a content-oriented pers­pective, where "content" can be any digital object. The solution is based on two axes: a self-descriptive unit to encapsulate any kind of content artifact - the Digital Content Component (DCC); and a Fluid Web infrastructure that provides management and de­ployment of DCCs through the Web, and whose goal is to support collaboration on the Web. Designed to be reused and adapted, DCCs encapsulate data and software using a single structure, thus allowing homogeneous composition and processing of any digital content, be it executable or noto These properties are exploited by our Fluid Web infrastructure, which supports DCC multilevel annotation and discovery mechanisms, configuration ma­nagement and version controI. Our work extensively explores Semantic Web standards and taxonomic ontologies, which serve as a semantic bridge, unifying DCC management vo­cabularies and improving DCC descriptionjindexingjdiscovery. DCCs and infrastructure have been implemented and are illustrated by means of examples, for scientific applicati­ons. The main contributions of this thesis are: the model of Digital Content Component; the design of the Fluid Web infrastructure based on DCCs, with support for repository­based storage, distributed sharing, version control and configuration management; an algorithm for digital content discovery that explores DCe semantics; and a practical validation of the main concepts in this research through implementation of prototypes / Doutorado / Banco de Dados / Mestre em Ciência da Computação

Orientador: Claudia Maria Bauzer Medeiros / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-15T04:11:30Z (GMT). No. of bitstreams: 1 Macario_CarlaGeovanadoNascimento_D.pdf: 3780981 bytes, checksum: 4b8ad7138779392bff940f1f95ad1f51 (MD5) Previous issue date: 2009 / Resumo: Dados geoespaciais constituem a base para sistemas de decisão utilizados em vários domínios, como planejamento de transito, fornecimento de serviços ou controle de desastres. Entretanto, para serem usados, estes dados precisam ser analisados e interpretados, atividades muitas vezes trabalhosas e geralmente executadas por especialistas. Apesar disso estas interpretacoes nao sao armazenadas e quando o são, geralmente correspondem a alguma informacao textual e em linguagem própria, gravadas em arquivos tecnicos. A ausencia de solucoes eficientes para armazenar estas interpretaçães leva a problemas como retrabalho e dificuldades de compartilhamento de informação. Neste trabalho apresentamos uma soluçao para estes problemas que baseia-se no uso de anotações semânticas, uma abordagem que promove um entendimento comum dos conceitos usados. Para tanto, propomos a adocão de workflows científicos para descricao do processo de anotacão dos dados e tambíem de um esquema de metadados e ontologias bem conhecidas, aplicando a soluçao a problemas em agricultura. As contribuicães da tese envolvem: (i) identificacao de um conjunto de requisitos para busca semantica a dados geoespaciais; (ii) identificacao de características desejóveis para ferramentas de anotacão; (iii) proposta e implementacao parcial de um framework para a anotacão semântica de diferentes tipos de dados geoespaciais; e (iv) identificacao dos desafios envolvidos no uso de workflows para descrever o processo de anotaçcaão. Este framework foi parcialmente validado, com implementação para aplicações em agricultura / Abstract: Geospatial data are a basis for decision making in a wide range of domains, such as traffic planning, consumer services disasters controlling. However, to be used, these kind of data have to be analyzed and interpreted, which constitutes a hard task, prone to errors, and usually performed by experts. Although all of these factors, the interpretations are not stored. When this happens, they correspond to descriptive text, which is stored in technical files. The absence of solutions to efficiently store them leads to problems such as rework and difficulties in information sharing. In this work we present a solution for these problems based on semantic annotations, an approach for a common understanding of concepts being used. We propose the use of scientific workflows to describe the annotation process for each kind of data, and also the adoption of well known metadata schema and ontologies. The contributions of this thesis involves: (i) identification of requirements for semantic search of geospatial data; (ii) identification of desirable features for annotation tools; (iii) proposal, and partial implementation, of a a framework for semantic annotation of different kinds of geospatial data; and (iv) identification of challenges in adopting scientific workflows for describing the annotation process. This framework was partially validated, through an implementation to produce annotations for applications in agriculture / Doutorado / Banco de Dados / Doutora em Ciência da Computação

[pt] A teoria da verdade de Tarski, também conhecida como teoria clássica da verdade, forneceu uma definição para o conceito de verdade que pode ser considerada adequada do ponto de vista material, no sentido de implicar logicamente todas as definições parciais de verdade para sentenças isoladas, do tipo ´s é verdadeira se e somente se p`, sendo p uma sentença qualquer de uma das linguagens às quais a definição tarskiana de verdade se aplica, e sendo s um nome para tal sentença. Essa definição de verdade é consistente - até onde se sabe - mas para garantir a consistência da mesma Tarski precisou restringir seu campo de aplicação ao conjunto das linguagens que não podem ser utilizadas para tratar de sua própria semântica, às quais chamamos linguagens semanticamente abertas. Uma outra teoria da verdade, devida a J. Barwise e J. Etchemendy, foi desenvolvida com vistas a poder ser aplicada de modo consistente às linguagens semanticamente fechadas. Entretanto, para garantir a consistência de sua teoria, Barwise e Etchemendy acabaram por formulá-la de um modo em que a mesma não pudesse ser considerada materialmente adequada, no sentido especificado acima. Isso poderia causar a impressão de que a consistência de uma definição de verdade exigisse que se abrisse mão da adequação material da mesma, tal como fazem Barwise e Etchemendy, ou então que se restringisse seu campo de aplicação às linguagens semanticamente abertas, tal como faz Tarski. Construindo uma definição de verdade materialmente adequada no sentido em questão, e ao mesmo tempo aplicável a linguagens semanticamente fechadas, contudo, S. Kripke mostrou que isso não é o caso. Após uma análise comparativa dessas três teorias da verdade, encontramos razões para formular uma outra definição de verdade, baseada nas intuições russellianas acerca dessa noção, e capaz de ser aplicada consistentemente às linguagens semanticamente fechadas, mantendo a adequação material no sentido acima descrito. No presente trabalho, podem ser encontradas essa análise comparativa das teorias da verdade de Tarski, Barwise-Etchemendy e Kripke, bem como a definição de verdade que formulamos de modo a satisfazer as condições que mencionamos acima. / [en] The tarskian theory of truth, that is also known as the classical theory of truth, has provided a truth definition that may be considered adequate from a material standpoint. By a materially adequate truth definition we understand a truth definition that logically entails every partial truth definition for a specific sentence, of the kind ´s is true if and only if p`, where p is any sentence from some language that is object of the tarskian truth definition, and where s is a name for such sentence. This truth definition is consistent - so far as we know - but in order to guarantee its consistency Tarski had to restrict its field to the set of the languages which cannot be used to speak about their own semantics. These languages are called semantically open languages. Another truth definition, due to J. Barwise and J. Etchemendy, was developed in order to be consistently applied to semantically closed languages. However, in order to assure the consistency of their theory, Barwise and Etchemendy developed it in such a way that it cannot be considered as a materially adequate theory in the sense that has been specified above. We may conclude from this that in order to guarantee the consistency of a truth definition we have either to abandon its material adequacy or to restrict its field to the set of semantically open languages. Kripke showed that this is not the case through developing a truth definition that is both materially adequate and applicable to semantically closed languages. After doing a comparison between these three truth theories, we have found some reasons to formulate another truth definition, which is based on russellian intuitions concerning the notion of truth, and which is able to be consistently applied to semantically closed languages and is also materially adequate in the sense specified above. In this dissertation one can find the comparison between the truth theories of Tarski, Barwise and Etchemendy, and Kripke, which we just mentioned, and also the truth definition that we formulated in order to satisfy the conditions which we described above.

[pt] O trabalho investiga os processos lexicais pertinentes à formação de novos itens através do não- anteposto a substantivos e adjetivos, incluindo os aspectos semânticos relevantes. Abordam-se inicialmente a derivação e a composição, na medida em que estes macro-processos de formação se colocam como hipóteses alternativas para a explicação do emprego lexical do elemento negativo não, tradicionalmente classificado apenas como advérbio. Expõe-se a visão trazida pela gramática tradicional, concluindo-se que esta não explica o fenômeno de modo satisfatório. Revisa-se a literatura produzida até o momento sobre o não ocorrendo em função diversa da de advérbio, observando-se grande divergência de abordagens. Apresentadas e analisadas as ocorrências do não- anteposto, opta-se pela derivação como explicação mais conveniente para o tópico investigado, que inclui a questão de estabelecer critérios de discriminação entre as construções que constituem novas palavras e as que devem ser excluídas do rol das novas formações. A análise é baseada em dois corpora representativos – o CORPOBRAS PUC RIO e o CORPUS NILC, que foram comparados em relação ao fenômeno investigado. A pesquisa foi parcialmente feita com base nos mecanismos e metodologias ditadas por pesquisadores da Lingüística de Corpus, tendo sido utilizadas ferramentas computacionais e o conceito de corpus definidos por estes autores. A partir da referida análise, verifica-se que nem todos os itens formados por não- seguido por nome configuram novas formações lexicais, uma vez que muitos dos exemplos estudados revelam aspectos sintáticos predominantes. Quanto à questão semântica, concluiu-se que os significados são relativamente delimitados, existindo algumas exceções. A pesquisa aponta ainda para a presença de possíveis aspectos estilísticos nestas formas. / [en] This work investigates lexical processes underlying the formation of não- X nouns and adjectives in Portuguese, taking into account both morphological and semantic aspects. We approach first the two main word formation possibilities, derivation and compounding, as they correspond to the possible alternative hypotheses for the use of não in word formation, since this lexical item is traditionally considered only as an adverb. Traditional approaches to the topic are described and considered insufficient to explain the phenomena in a satisfactory manner. More recent descriptive proposals on the subject are analyzed and their controversies commented upon. The data favor the analysis of não-X constructions in Portuguese as a case of derivation, specially in what concerns the need to establish criteria to classify não-X constructions as new words. The data were collected from two corpora – the CORPOBRAS PUC-RIO and the CORPUS NILC, which were compared as for the phenomena in question. The work is based, to a great extent, on the mechanisms and methodologies proposed by Corpus Linguistics researchers, with the use of computational tools and the conception of corpora as defined by CL authors. As a result of the analysis, it is proposed that not every não-X occurrence constitutes a new lexical item, since many of the studied examples reveal predominance of syntactic aspects. As for the semantic question, it has been observed that the meanings of the não-X constructions are partially predictable, in spite of some exceptions. The research also indicates the presence of some stylistic possibilities for the use of the não X construction.

[pt] A Web de Dados cresceu significativamente nos últimos anos, tanto em quantidade de dados, quanto em fontes responsáveis por esses. A partir desse aumento no número de fontes de dados, ligações owl:sameAs têm sido cada vez mais utilizadas para conectar dados equivalentes e publicados por fontes distintas. Com isso, torna-se necessário haver uma rotina de identificação e manutenção dessas conexões. Com o objetivo de automatizar essa tarefa, desenvolvemos o Framework MsA – Materialização de sameAs para materializar e recomputar ligações do tipo owl:sameAs entre bancos de dados locais e dados publicados na Web. Essas ligações, uma vez identificadas, são materializadas juntamente aos dados locais e recomputadas apenas quando necessário. Para isso, a ferramenta monitora as operações (cadastramento, remoção e atualização) realizadas nos dados locais e remotos e, para cada tipo, implementa uma estratégia de manutenção das ligações envolvidas. / [en] The Web of Data has grown significantly in recent years, not only in the amount of data but also in the number of data sources. In parallel with this tendency, owl:sameAs links have been increasingly used to connect equivalent data published by different sources. As a consequence, it becomes necessary to have a routine for the identification and maintenance of these connections. In order to automate this task, we have developed the MsA Framework - sameAs Materialization to materialize and recompute owl:sameAs links between local databases and data published on the Web. These connections, once identified, are materialized along with the local data and recomputed only when necessary. To achieve this goal, the tool monitors the operations (insertion, update and deletion) performed on local and remote records, and for each type of operation it implements a maintenance strategy on the links involved.

[pt] Atualmente, com a emergente Web Semântica, o volume de pesquisa relacionadas com o desenvolvimento de aplicações hipermídia (páginas na Web) nesta área tem aumentado. O objetivo comum é dar significado semântico ao conteúdo da Web. Isto é, há possibilidade de os dados contidos na Web serem definidos e relacionados de maneira que possam ser usados por máquinas não só para automação, integração e reuso de dados entre aplicações, mas também para permitir interações mais ricas com seres humanos. Este trabalho apresenta a aplicação dos conceitos da Web Semântica no desenvolvimento de interfaces para aplicações hipermídia, como parte do método SHDM (Semantic Hypermedia Design Method). Para isto, é proposto o uso de duas ontologias, uma representando elementos de interface concretos (ontologia de widgets concretos) e a outra representando elementos de interface abstratos (ontologia de widgets abstratos). Estes elementos abstratos são utilizados para descrever as interfaces abstratas e são mapeados em elementos de interface concreta, especificados como instância da ontologia de widgets concretos. Finalmente, para a geração da página concreta a partir de uma interface abstrata, definida como instância da ontologia de widgets abstratos, é proposta uma arquitetura de implementação baseada em JSP e Tag Libraries. / [en] The current emergence of the Semantic Web has increased the volume of research initiatives related to the development of hypermedia applications in this environment. The common goal is to give semantic meaning to the content of the Web. This means that it is now possible that the data contained in the Web to be defined and related in such a way that it can be used by machines not only for automation, integration and reuse of data among applications, but also to allow richer interaction with human beings. This work applies the concepts of the Semantic Web to the development of interfaces for hypermedia applications, in the context of the Semantic Hypermedia Design Method (SHDM). For this, two ontologies are proposed, one representing concrete interface elements (concrete widgets ontology) and another representing abstract interface element (abstract widgets ontology). These abstract elements are used to describe the abstract interfaces and are mapped to concrete interface elements, specified as instances of the concrete widgets ontology. An implementation architecture is proposed, based on JSP and Tag Libraries, allowing the generation of the concrete page based on a defined abstract interface.

[pt] A resolução de problemas distribuídos com o uso de sistemas compostos de vários agentes, agrupados em organizações, e que visam objetivos comuns vem ganhando grande atenção da comunidade científica. Este interesse evidencia-se pelo número crescente de iniciativas para a criação de métodos de desenvolvimento e plataformas de implementação de sistema multi-agentes. Algumas plataformas concentram-se no suporte a aspectos específicos destes sistemas, enquanto outras preocupam-se com a criação de uma infra-estrutura completa que permita o desenvolvimento dos agentes e suas organizações. O Web Life é uma arquitetura para a implementação de sistemas multi-agentes para a Web, que auxilia a criação dos agentes e suas organizações, oferecendo toda a infra-estrutura de comunicação, coordenação, tomada de decisões e realização de tarefas necessária a atuação dos agentes. A arquitetura procura aproveitar diversas iniciativas de padronização e de criação de ferramentas para resolução de certos aspectos do problema, agrupando-as sob um framework integrado. A arquitetura promove a evolução da Web no sentido de se tornar uma Web de conteúdos semânticos aptos ao tratamento automático por mecanismos de software - a Web Semântica. / [en] The resolution of distributed problems by applying computer systems composed by agents and organized towards a common objective is attracting the scientific community s attention. This is shown by the increasing number of initiatives for the development of methods and platforms to help constructing multiagent systems. Some platforms concentrate efforts on supporting some multi-agent systems aspects while others try to offer a complete infrastructure for the agents and organizations development. The Web Life architecture offers an implementation platform for developing Web-based multi- agent systems. The architecture is focused on the provision of a complete multi-agent infrastructure with native support for communication, coordination, decision-taking and task-oriented behavior. The incorporation of current under development standards and tools for solving specific problems in multi-agent systems is one of the main objectives of this work. These standards and tools are integrated by the Web Life framework. The architecture try to help the evolution of the Web into a Web with semantic contents that may be automatically processed - the Semantic Web.