[pt] A Web Semântica permite a divulgação de dados na Internet através de um formato comum com o objetivo de integrar ou combinar bases de dados provenientes de diversas fontes. O Instituto Nacional de Pesquisas da Amazônia - INPA possui várias coleções de dados, principalmente científicos, que podem ser divulgadas e utilizadas na pesquisa e desenvolvimento da Amazônia e para o progresso da ciência. O objetivo deste trabalho é investigar como a utilização das tecnologias da Web Semântica, dentre elas os recursos da ferramenta Rexplorator, pode melhorar o processo de pesquisa, através do processamento da semântica, das coleções de dados biológicos do instituto. A abordagem utilizada é de desenvolver casos de uso junto com os próprios pesquisadores, através de operações simples em cima dos modelos RDFS (Resource Description Framework Schema) das próprias bases. Os casos de uso poderão ser reutilizados por outros pesquisadores, inclusive de domínios de pesquisa diferentes. Neste processo de reutilização é possível que os casos de uso sejam customizados e evoluídos colaborativamente no próprio ambiente em que foram desenvolvidos. Como resultado do processo são geradas aplicações Web que abstraem os modelos RDF (Resource Description Framework) nos quais os dados estão representados tornando possível o acesso às informações por outros pesquisadores que não conhecem esses modelos. Essa facilidade de acesso, além de permitir consultas a bases semânticas por usuários leigos em um dado domínio de pesquisa, também visa permitir que pesquisadores possam realizar consultas transdisciplinares enriquecendo sua visão no desenvolvimento da pesquisa, bem como seu poder nas tomadas de decisões políticas, econômicas e sociais, e, consequentemente, uma melhor gestão do conhecimento. / [en] The Semantic Web enables the dissemination of data on the Internet through a common format in order to integrate or combine databases from different sources. The National Institute for Amazonian Research (INPA) has several collections of data, mainly scientific, that can be disclosed and used in the research and development of the Amazon as well as for the advancement of science. The objective of this study is to investigate how the use of Semantic Web technologies, among them the tool Rexplorator, can improve the research process by processing the semantics in collections of biological data. Use cases are developed with input from INPA researchers. Queries are constructed based on RDFS (Resource Description Framework Schema) created for INPAs existing collections. Use cases can be reused by other researchers, including researchers from different fields. In this process of reuse, the customization and collaborative development of use cases is possible. The result of this process is the generation of Web applications that abstract the RDF model on which data are represented. Consequently, other researchers unfamiliar with the RDF model are also able to access information. In addition to enabling semantic queries in databases by lay users in a given field of research, this ease of access enables researchers to make transdisciplinary queries enriching their vision of research development, as well as their power in political, economic and social decision-making, and hence better knowledge management.

[pt] Normalmente, aplicações semânticas utilizam o conceito de linked data, onde é possível obter dados de diversas fontes e em múltiplos formatos. Desta forma, as aplicações semânticas processam muito mais dados do que as aplicações tradicionais. Uma vez que nem todas as informações são públicas, alguma forma de autenticação será imposta ao usuário. Consultar dados de múltiplas fontes pode requerer muitos pedidos de autenticação, normalmente através de uma combinação de conta de usuário e senha. Tais operações consomem tempo e, considerando-se o tempo extra que uma aplicação semântica leva para processar os dados coletados, pode tornar a experiência frustrante e incômoda para os usuários, devendo ser minimizado, sempre que possível. O propósito desta dissertação é o de analisar e comparar as técnicas de autenticação disponíveis para as aplicações semânticas e propor um protocolo mais rápido e mais seguro para autenticação em aplicações semânticas. / [en] Usually, Linked Data makes Semantic Web Applications query much more information for processing than traditional Web applications. Since not all information is public, some form of authentication may be imposed on the user. Querying data from multiple data sources might require many authentication prompts. Such time consuming operations, added to the extra amount of time a Semantic Web application needs to process the data it collects might be frustrating to the users and should be minimized. The purpose of this thesis is to analyze and compare several Semantic Web authentication techniques available, leading to the proposal of a faster and more secure authentication protocol for Semantic Web Applications.

[pt] Este trabalho tem como objetivo primordial investigar as possibilidades de variação de significado decorrentes das orações adverbiais introduzidas pela conjunção quando. Consideramos que, para além da idéia temporal - à qual boa parte de nossas gramáticas costuma se limitar - outras circunstâncias adverbiais, como causa e condição principalmente, podem coexistir nas construções formadas pela chamada oração principal e pela oração subordinada adverbial. Para tanto, baseamos nossa pesquisa na análise de 60 exemplos retirados do jornal O Globo e da revista Veja, dois dos principais veículos de comunicação escrita em língua portuguesa. Ao fim, chegamos à conclusão de que, apesar do importante papel exercido por fatores sintático-gramaticais, como as diferentes combinações entre os tempos e os modos verbais, o sentido final das construções examinadas é, em última análise, resultado de fatores de ordem semântica, isto é, das relações de significado que se estabelecem entre o predicado e cada um dos termos que o constituem. / [en] This dissertation´s main objective is to investigate the possibilities of semantic variation on adverbials sentences introduced by the conjunction quando. We consider that, beyond the idea of time - to which some of our grammars use to be restricted - other adverbials circumstances, like cause and condition mainly, can coexist on the constructions formed by main clause and adverbial clause. To reach our goals, we based our study on the analysis of 70 examples found on O Globo journal and on Veja magazine., two of the most important vehicles of written communication in Portuguese. As a result, we concluded that, despite of the great importance of the role played by syntactical and grammatical factors, like the different combinations between verbal times and modes, the final meaning of the constructions that we examined is, definitely, determined by semantic factors, that is, the relationship of meanings established between the predicate and each of its terms.

Orientador: Clélia Aparecida Martins / Banca: José Carlos Bruni / Banca: Alberto Marcos Onate / Resumo: Procuramos delimitar o âmbito de interação do humano com a realidade a partir da teoria lingüística expressa no Tractatus Logico-Philosophicus e nas Investigações Filosóficas. A partir da identificação deste âmbito ontológico-lingüístico da ação humana, representadas pela tríade agir/sentir/pensar, demonstraremos como a linguagem representa a realidade a partir da afiguração. Através de contextualizações e aproximações das teorias wittgensteinianas com noções filosóficas tradicionais busca-se demonstrar a inovação do método wittgensteiniano e suas possibilidades de aplicação ao exercício filosófico contemporâneo. / Abstract: We have tried to delimit the ambit of the human's interaction with the reality starting from the linguistic theory expresses in Tractatus Logico-Philosophicus and in the Philosophical Investigations. Starting from the identification of this ontological-linguistic ambit of the human action, represented by the triad to act/to feel/to think, we will demonstrate as the language it represents the reality starting from the representation. Through contextualize and approaches of the Wittgenstein's theories with the traditional philosophical notions, we aim for to demonstrate the innovation of the Wittgenstein's method and your application possibilities to the contemporary philosophical exercise. / Mestre

[pt] Considere os seguintes dois tipos de transformções em demonstrações: 1) tornar uma prova mais incompleta, apagando um lema ou uma construção que sejam parte da prova e pondo no lugar um aviso dizendo isso é óbvio; 2) pegar um passo que foi provado por um isso é óbvio, aplicar algum algoritmo que encontre uma demonstração para esse passo, e trocar o aviso pela demonstração de verdade. Nós vamos considerar que a primeira operação vai em direção ao esqueleto da demonstração, e que ela é como uma projeção; a segunda operação é um levantamento de um esqueleto para uma demonstração um pouco mais completa com aquele esqueleto. Nós só estamos interessados em esqueletos que possam ser levantados até provas completas usando algum algoritmo conhecido. Nesta tese descrevemos uma linguagem - o sistema DNC - que permite provar vários fatos sobre categorias usando esqueletos. O método para o levantamento é, a grosso modo, o seguinte: a partir do nome de um termo em DNC nós podemos obter o seu tipo; por uma espécie de Isomorfismo de Curry-Howard um tipo desses pode ser visto como uma preposição numa certa lógica; um algoritmo que obtenha uma demonstração para essa proposição retorna uma árvore de demonstração (uma derivação) num certo sistema de Dedução Natural, e essa árvore pode ser lida como um lambda- termo do tipo dado - ela dá uma construção natural para um objeto daquele tipo, e esse objeto muito frequentemente é exatamente o objeto que esperávamos obter. Derivações em DNC podem ser traduzidas para derivações num Pure Type System com Dicionários (PTSD), e derivações em PTSDs podem ser traduzidas para derivações em Pure Type Systems (PTSs); daí, questões sobre a teoria da prova de DNC se tornam questões sobre a teoria da prova de PTSs, que é bastante bem-conhecida. Não só temos um levantamento de nomes de termos em DNC para provas completas, mas também temos um modo formal de levantar diagramas categóricos expressos na linguagem do DNC para termos em DNC e daí para provas completas; e se mudamos o dicionário embutido num PTSD podemos fazer com que o mesmo esqueleto em DNC represente provas em contextos diferentes; por exemplo, algumas provas que aparentemente estão sendo feitas sobre a categoria dos conjuntos podem ser reinterpretados como provas sobre um topos arbitrário. Usamos essa idéia para apresentar de uma forma simples - em que os passos óbvios omitidos são óbvios num sentido muito preciso - a semântica categárica para alguns PTSs, incluindo PTSs com polimorfismo e tipos dependentes, e os PTSs para quais as derivações em DNC são traduzidas. / [en] Consider the following two kinds of transformation on proofs; the first is to make a a proof more incomplete, by erasing a lemma or a construction from it and replacing it by a tag saying this is obvious; the second kind of transformation takes a step that is proved by a this is obvious tag, applies some kind of prof-search algorithm to it, and replaces the tag by a real proof for that step. We will consider that the first operation goes toward the skeleton towards a more complete proof that had that skeleton as a projection. We are only interested in skeletons can be lifted back to full proofs using some known algorithm. In this thesis we can describe a language - DNC - that lets us prove several categorical facts using skeletons. The method for lifting these skeletons goes like this: from the name of a DNC term we can obtain its type; by a kind of Curry-Howard isomorphism a such type can be seen as a proposition in a certain logic; proof-search for that proposition will obtain a proof-tree for it in a certain system of Natural Deduction, and that proof-tree can be read as a lambda-term of given type - the proof-tree gives a natural construction for an object of the given type, that very often is exactly the object that we were looking for. Derivations in DNC can be translated into derivations in a Pure Type System with Dictionaries (PTSD), and derivations in PTSDs can be translated into derivations in Pure Type Systems (PTSs); so questions about the proof- theory of DNC become questions about the proof-theory of PTSs, whose properties are quite well-known. Also, not only we can lift names of terms in DNC to full proofs in different settings; for example, some proofs that apparently are happening over the category of sets can be reinterpreted as proofs over an arbitrary topos. We use that idea to give a simple presentation (in which the omitted obvious steps are obvious in a very precise sense) of the categorical semantics for some PTSs - and that includes PTSs into which the DNC derivations are translated.

[pt] Em aplicações Web, sessões cliente são organizadas em transações, envolvendo requisições que leem e atualizam dados compartilhados. Executando concorrentemente, estas sessões podem invalidar os dados umas das outras. O advento do movimento Linked Data vem estimulando sobremaneira a criação de aplicações que empregam o modelo de dados RDF em sua camada de informação. Além de consultas aos dados RDF, também se faz presente o requisito de atualizações online, com adequado controle de concorrência. Este trabalho apresenta um modelo de bloqueio, inspirado no protocolo de bloqueio multigranular, voltado para isolamento entre transações que manipulam dados RDF, considerando quatro problemas de concorrência, a saber: lost updates, dirty reads, non-repeatable read e phantoms reads. São oferecidos quatro grânulos hierarquicamente relacionados, bem como novos tipos de bloqueio de escrita e leitura, especificamente criados para o modelo RDF. Por fim, o desempenho do modelo de bloqueio proposto é avaliado por meio de simulação. / [en] Client sessions in Web applications are organized as transactions involving requests that read and write shared data. Executing concurrently, these sessions may invalidate each other s data. The advent of Linked Data is spurring the deployment of applications that use the RDF data model at the information tier. In addition to querying RDF data, there is also the requirement for online updates with suitable concurrency control. This work presents a locking model, inspired by the multigranularity locking protocol, to address isolation between transactions that manipulate RDF data, considering four concurrency-related issues, namely: lost updates, dirty reads, non-repeatable reads and phantom reads. Four hierarchically related granules are offered, as well as new read and write lock modes, specifically created for the RDF data model. Finally, the performance assessment of the proposed locking model is done through simulation.

Menée dans le cadre de la Construction Morphology, ma thèse propose une analyse des verbes parasynthétiques de l’italien. La définition de parasynthèse courante en littérature correspond à ‘double affixation simultanée sur une base de dérivation’ ([préf+[X]N/A+suff]V, cf. par exemple IMBARCARE ’embarquer’). Cette particularité est motivée par l’impossibilité d’attester ‘l‘étape intermédiaire’ de dérivation entre la base et le verbe construit (cf. BARCA, *IMBARCA, *BARCARE). Cette définition relève d’une analyse morphemique, incrémentale et concatenative et présuppose que les procédés dérivationnels sont conçus comme des règles orientées. Dans mon analyse, au contraire, sont définis parasynthétiques tous les verbes construits par préfixation. Cette définition s’appuie uniquement sur le paramètre d’appartenance au schéma [préf+[X]N/A]V (le suffixe étant de nature flexionnelle). Selon mon point de vue, la non-attestation d’une forme est un paramètre qui est non seulement insuffisamment fiable d’un point de vue empirique, mais aussi négligeable du point de vue d’une théorie basée sur l’idée de procédés non-orientés. La base de données utilisée contient 1674 lexèmes tirés de façon automatique du corpus ItWaC. Les variables structurelles des verbes correspondent (i) au préfixe employé (a-, in-, s-, de- ou dis-), (ii) à la classe flexionnelle (-are ou -ire) et (iii) à la catégorie de la base (N ou A). Chaque lexème, définit comme construction, est l’association d’une forme (le résultat de la combinaison des variables) et d’une valeur sémantique holistique. Les valeurs sémantiques suivantes ont été identifiées : (i) changement d’état, (ii) changement de relation locative et (iii) valeur intensive/itérative. Pour les deux premières valeurs il a été proposé une analyse unifiée dans une même composante sémantique qui exprime un changement (formalisé au moyen du prédicat BECOME), alors que la classe des verbes qui expriment la valeur (iii) est exclue de cette généralisation. / My thesis proposes an analysis of the Italian parasynthetic verbs in within the framework of the Construction Morphology. The widespread definition of parasynthesis in literature corresponds to 'double simultaneous affixation on a derivational base' ([pref+[X]N/A+suff]V, cf. for example IMBARCARE 'to board'). Such definition is motivated by the impossibility of attesting the intermediate derivational stage between the base and the derived verb (cf. BARCA 'boat', *IMBARCA, *BARCARE) and it derives from a morpheme-based, incremental and concatenative approach to morphology that assumes that derivational processes are oriented rules. In my thesis I propose an alternative analysis which defines parasynthetic verbs as verbs built by prefixation. I consider as parasynthetic verb each verb belonging to the schema [préf[X]N/A]V (note that the suffix is analyzed as inflectional). This definition is purely based on the membership parameter in schema [préf[X]N/A]V (note that the suffix is analyzed as inflectional). According to this approach, the fact that a word is not attested not only represents an unreliable criterion from an empirical point of view but it also seems to be negligible within a theoretical framework considering morphological processes as non-oriented. The corpus includes 1674 lexemes automatically extracted from ItWaC. The structural variables for these verbs are (i) the prefix selected (a-, in-, s-, de-, dis-), (ii) the inflectional class (-are, -ire), (iii) the category of the base (N, A). Each lexeme is defined as a construction, i.e. a form-meaning pair (the form corresponding to a possible combination of variables and the meaning to a holistic sense). The possible semantic values are: (i) the change of state, (ii) the change of locative relation and (iii) the intensive/iterative value. For (i) and (ii) I propose a unified analysis in terms of a general semantic component expressing a change (formalized by the predicate BECOME), while the class of verbs expressing the value (iii) are not included in this generalization. / La mia tesi propone un’analisi des verbi parasintetici dell’italiano nel quadro teorico della Construction Morphology. La definizione di parasintesi diffusa in letteratura corrisponde a ‘doppia affissazione simultanea su una base di derivazione’ ([préf+[X]N/A+suff]V, cf. ad esempio IMBARCARE). Questa particolarità è motivata dall’impossibilità di attestare la ‘tappa intermedia’ di derivazione tra la base e il verbo costruito (cf. BARCA, *IMBARCA, *BARCARE). Questa definizione è dovuta ad un’analisi morfemica, incrementale e concatenativa e presuppone che i processi derivazionali siano concepiti come regole orientate. Nell’analisi proposta, al contrario, sono definiti come parasintetici tutti i verbi costruiti tramite prefissazione. Questa definizione si basa esclusivamente sul parametro di appartenenza allo schema [pref[X]N/A]V (il suffisso è di tipo flessivo). Secondo la prospettiva adottata, la mancata attestazione di una forma è un parametro che risulta, oltre che insufficientemente affidabile da un punto di vista empirico, persino irrilevante dal punto di vista di una teoria basata sull’idea che i processi siano non orientati. Il corpus utilizzato contiene 1674 lessemi estratti automaticamente da ItWaC. Le variabili strutturali dei verbi in questione corrispondono (i) al prefisso selezionato (a-, in-, s-, de-, dis-), (ii) alla classe flessiva (-are, -ire), (iii) alla categoria della base (N, A). Ogni lessema, definito come costruzione, è l’associazione tra una forma (il risultato della combinazione delle variabili) e di un valore semantico olistico. I valori semantici identificati sono : (i) cambiamento di stato, (ii) cambiamento di relazione locativa e (iii) valore intensivo/iterativo. Per i primi due valori è stata proposta un’analisi unificata all’interno di un’unica componente semantica che esprime il cambiamento (formalizzata con il predicato BECOME), mentre la classe di verbi che esprimono il valore (iii) rimane esclusa da questa generalizzazione.

Made available in DSpace on 2014-06-11T19:22:18Z (GMT). No. of bitstreams: 0 Previous issue date: 2006-03Bitstream added on 2014-06-13T19:27:07Z : No. of bitstreams: 1 fatori_mj_me_arafcl.pdf: 377330 bytes, checksum: 173994023adecc343d271ede7a2a8428 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O presente do indicativo é um dos tempos verbais mais empregados na língua portuguesa falada. Na medida em que é utilizado para expressar tanto o presente como o passado e o futuro, pode-se dizer que se trata do tempo mais versátil de nossa língua. No entanto, há poucos estudos acerca de seu emprego. Tendo em vista tal fato, resolvemos desenvolver esta pesquisa, que teve por objetivo principal analisar, num corpus constituído de textos orais, especificamente de entrevistas com enfoque em história de vida, os valores semânticos assumidos pelo presente do indicativo, bem como verificar a relação que se estabelece entre esse tempo verbal e os tipos de verbo (ação, processo, ação-processo e estado), os argumentos de primeiro grau (agente, paciente, instrumental, causativo, objetivo, locativo, experimentador), que se apresentam na função de sujeito e a pessoa (1ª, 2ª, 3ª) em que este se realiza. Em virtude do alto índice de ocorrência dos pretéritos perfeito e imperfeito do indicativo nas entrevistas, verificamos também a relação estabelecida entre esses dois tempos verbais e os tipos de verbo, de sujeito e de pessoa, com o intuito de podermos comparar os resultados com os do presente do indicativo. Como embasamento teórico para nossa discussão, foram utilizadas as pesquisas de Weinrich (1974) e de Corôa (1985). / The present of the indicative is one of the most useful tenses in spoken Portuguese language. Used to express present, past and future, the present of the indicative is the most versatile tense of our language. However, there are few studies about its use. Because of that, we decided to development this research, in order to analyze, in interviews with focus on past, the semantic values that the present of the indicative assumes. We also checked the relation between this tense and the kind of verb, kind of first-degree argument (that acts as subject) and kind of person used with it. As the past tenses of the indicative were also much used in the interviews, we decided to check the relation between them and the kind of verb kind of first-degree argument and kind of person, in order to establish a comparison with the present of the indicative. As theoretical basis for the analysis, we used the researches to Weinrich (1974) And Corôa (1985).

[pt] O objetivo dessa tese é expor a base filosófica por trás das propostas de Wittgenstein para a filosofia da matemática. Procuramos mostrar que há um núcleo semântico das quais essas propostas são derivadas: a idéia de que o significado de uma sentença deveria ser tomado como sendo suas condições de verdade. Procuramos acompanhar esse insight desde seu aparecimento em Frege, depois no Tractatus até a última fase do pensamento de Wittgenstein. Em nossos dois últimos capítulos discutimos as mudanças que essa abordagem sofreu nessa última fase do pensamento do filósofo em conexão com a idéia de triangularização da semântica subjacente. Tratamos em com algum nível de detalhamento as interpretações propostas por Wittgenstein de alguns tipos de proposições matemáticas elementares, especialmente proposições aritméticas. / [en] This thesis deals with the philosophical basis behind Wittgenstein s proposals in the philosophy of mathematics. We try to show that there is a semantic core from which these proposals are derived: the idea that the meaning of a sentence should be taken to be its truth conditions. We sort out this insight from its inception in Frege through the Tractatus all the way to the last phase of Wittgenstein s thought. In our last two chapters we discuss the changes this approach went through in this last phase of the philosopher s thought in relation to the idea of triangularization of the underlying semantics. We then deal in some detail with Wittgenstein s proposed interpretation of some types of elementary mathematical propositions, especially arithmetical propositions.

[pt] Este trabalho apresenta um modelo para projeto e implementação de aplicações hipermídia no contexto da Web semântica. A partir dos princípios o Object Oriented Hypermedia Design Method, utilizamos as noções de ontologias para definir o modelo conceitual de uma aplicação, estendendo o poder expressivo daquele método. Os modelos de navegação são definidos utilizando-se uma linguagem de consulta que permite referências tanto ao esquema de dados quanto às suas instâncias, possibilitando a definição de estruturas de navegação flexíveis e abrangentes. Adicionalmente, propomos a utilização de estruturas de acesso facetadas para o apoio à escolha de objetos de navegação utilizando múltiplos critérios. Finalmente, apresentamos uma arquitetura de implementação que permite a utilização direta da especificação da aplicação na derivação da implementação da aplicação final. / [en] In this thesis we present a method for the design and implementation of web applications for the Semantic Web. Based on the Object Oriented Hypermedia Design Method approach, we used ontology concepts to define an application conceptual model, extending the expressive power of the original method. The navigational models definitions use a query language capable of querying both schema and instances, enabling the specification of flexible access structures. Additionally, we propose the use of faceted access structures to improve the selection of navigational objects organized by multiple criteria. Finally, we present an implementation architecture that allows the direct use of the application specifications when deriving a final application implementation.