Dissertação (mestrado)—Universidade de Brasília, Programa de Pós-Graduação em Sistemas Mecatrônicos, 2011. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2011-12-06T13:59:34Z No. of bitstreams: 1 2011_CharlesHenriqueGoncalvesSantos.pdf: 4603051 bytes, checksum: 934a2d08a37ed6bfceb7959aceba8c58 (MD5) / Approved for entry into archive by Leila Fernandes (leilabiblio@yahoo.com.br) on 2012-01-03T14:14:38Z (GMT) No. of bitstreams: 1 2011_CharlesHenriqueGoncalvesSantos.pdf: 4603051 bytes, checksum: 934a2d08a37ed6bfceb7959aceba8c58 (MD5) / Made available in DSpace on 2012-01-03T14:14:38Z (GMT). No. of bitstreams: 1 2011_CharlesHenriqueGoncalvesSantos.pdf: 4603051 bytes, checksum: 934a2d08a37ed6bfceb7959aceba8c58 (MD5) / A Nomenclatura Comum do Mercosul (NCM) é uma taxonomia utilizada pelo Brasil para a classificação de produtos, classificação esta considerada de grande importância no processo de importação e exportação de mercadorias, assim como nas operações de mercado interno. No entanto a NCM, da forma que está, não permite que a classificação de mercadorias seja uma prática simplificada, pois a atual nomenclatura utilizada no Mercosul encontra-se com os nomes dos produtos desatualizados, os quais acabam por gerar sentidos dúbios. Uma forma de solucionar o problema seria com utilização do conceito de web semântica, que propicia a coleta de dados automáticos pela internet, e a ontologia, instrumento capaz de conceber novos sentidos aos termos existentes na NCM. Assim, a proposta de ontologia deste trabalho tem por objetivo fornecer novos domínios de interesse aos produtos da NCM, o que inclui sinônimos, línguas adicionais, restrições de comercialização dos produtos (importação e/ou exportação) bem como a possibilidade de correlacionar as leis existentes com os respectivos produtos. O estudo de caso realizado comprovou a e ciência da ontologia, uma vez que forneceu respostas esperadas a todos os estionamentos até então pendentes. Desta forma, comparando a atual taxonomia utilizada pelo Mercosul na classificação de seus produtos com a proposta deste trabalho, pode-se afirmar que a utilização da ontologia otimizou a forma de uso da Nomenclatura Comum do Mercosul. ______________________________________________________________________________ ABSTRACT / The Mercosur Common Nomenclature (NCM) is a taxonomy used for product classification by Brazil, being considered of great importance in the process of importing and exporting goods, as well as in internal sales operations. However, as the way the NCM is so far, it does not allow the classification of goods to be a simplified practice, as the current nomenclature used in Mercosur is with outdated product names, which ultimately generate dubious interpretations. One way to solve the problem would be to use the concept of semantic web, which provides automatic data collection via the Internet, and ontology, an instrument capable of conceiving new meanings to existing terms from NCM. Thus, the proposed ontology of this dissertation aims to provide new areas of interest to the NCM products, including synonyms, additional languages, restrictions on product sales (import / export) and the possibility to correlate the existing laws with their products. The case study proved the efficiency of ontology, since it provided the expected answers to all pending questions. Hence, comparing the current taxonomy used by Mercosur in their products classification with the purpose of this work, it can be argued that the use of ontology improved the ways on how to use the Mercosur Common Nomenclature.

Made available in DSpace on 2014-06-12T15:59:11Z (GMT). No. of bitstreams: 2 arquivo4936_1.pdf: 1288760 bytes, checksum: e9b38bddcefdbcf94c0812a3c4d81dc1 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 1993 / Este trabalho descreve uma semântica formal para MooZ, uma extensão µa linguagem Z proposta pelo Grupo de Especificações Formais do DI/UFPE. Os conceitos fundamentais de orientação a objetos foram incluídos em MooZ: abstração, encapsulamento, modularidade e hierarquia. A semântica formal é apresentada como uma extensão à semântica de variedades pro- posta por J.M. Spivey para Z. A extensão traz como vantagens um maior entendimento da facilidade de expressão de MooZ em relação à Z e a demonstração de que MooZ é uma extensão conservativa de Z. Após uma introdução informal à MooZ, os conceitos da teoria axiomática dos conjun- tos de Zermelo-Fraenkel utilizados para descrever a semântica de MooZ são apresentados e especificados em Z. O sistema de tipos de MooZ é descrito e o modelo de assinaturas, estruturas e variedades de Spivey é expandido para comportar os conceitos de MooZ. As funções semânticas que fornecem o significado de cada elemento de MooZ são definidas. Por fim, são apresentadas a importância deste trabalho, as dificuldades encontradas no seu desenvolvimento e as sugestões para a sua continuação

Submitted by Alice Araujo (alice.caraujo@ufpe.br) on 2017-11-30T19:32:07Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) dissertacao-mestrado.pdf: 1137883 bytes, checksum: 9a8f7f4770dbbe3447440be8dc484c65 (MD5) / Made available in DSpace on 2017-11-30T19:32:07Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) dissertacao-mestrado.pdf: 1137883 bytes, checksum: 9a8f7f4770dbbe3447440be8dc484c65 (MD5) Previous issue date: 2016-09-15 / FACEPE / Testes constituem uma parcela significativa da energia despendida em projetos voltados ao desenvolvimento de software. Estima-se que entre 30% a 50% do custo total do projeto é destinado a testes. Esta necessidade de verificar a regularidade de sistemas é bastante antiga e nos últimos anos a busca por novas técnicas e ferramentas que mitiguem o esforço gasto nestas verificações vem se acentuando. Neste contexto, uma técnica que se destaca é a de verificação de modelos (Model checking) que consiste em explorar exaustivamente todos os estados alcançáveis de um determinado sistema no intuito de descrever cenários que indiquem possíveis comportamentos, embasando tal verificação em matemática precisa e inequívoca. Esta técnica tem despertado o interesse de muitas indústrias devido ao sucesso obtido pelo apoio das ferramentas de verificação de modelos (model checkers) em vários projetos de alta complexidade. Estes verificadores são ferramentas que exploram um sistema de transições rotuladas (LTS), construído a partir de algumas especificações (um modelo M), para determinar se uma dada fórmula (f) em lógica temporal, ou propriedade, é válida; ou simplesmente, M |ù f. O presente trabalho apresenta uma forma sistemática de construir um verificador de modelos LTL para um subconjunto da linguagem Circus totalmente baseado na semântica operacional desta linguagem. Mas em vez de codificar diretamente o verificador de modelos em alguma linguagem de programação, é usado o framework K por se tratar de um framework semântico executável à base de reescrita em que as linguagens de programação, sistemas de tipos e ferramentas de análise formais podem ser definidos usando configurações, computações e regras. Além disso, a ferramenta resultante deste trabalho é demostrada com alguns estudos de caso no intuito de comparar seu desempenho bem como aspectos qualitativos com outros verificadores de modelos. / Tests constitute a significant portion of the energy expended in projects aimed at software development. It is estimated that between 30% and 50% of the total project cost is spent in testing. This need to verify the correctness of systems is quite old and in recent years the search for new techniques and tools to mitigate the effort spent on these checks has been increasing. In this context, a technique that stands out is Model Checking. This technique consists in exhaustively exploring all reachable states of a given system in order to check whether a given property, usually given in terms of some temporal logics, is valid. Several industries are interested in this technique due to the success achieved by the support of model checking tools (Model checkers) in various projects of high complexity. This paper presents a systematic way to build a LTL model checker for a subset the Circus language using its operational semantics. But instead of directly encoding the semantics using a programming language, we use the K framework because it is an executable semantic framework based on rewrite rules. Moreover, the resulting tool is exercised with few case studies in order to compare their performance as well as qualitative aspects with other model checkers.

Orientador: Sirio Possenti / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Estudos da Linguagem / Made available in DSpace on 2018-08-03T19:29:48Z (GMT). No. of bitstreams: 1 Silveira_FernandaMussalimGuimaraesLemos_D.pdf: 9788931 bytes, checksum: 80b4fcece9174bddcdc38eb098ea482e (MD5) Previous issue date: 2003 / Resumo: Nesta tese, pretendemos verificar de que modo se deu a constituição do discurso modernista no Brasil, a partir da análise de artigos publicados na imprensa brasileira' entre' os anos de 1917 e 1929. Para proceder à análise, iremos nos valer do conceito de semântica global que Maingueneau apresenta em Geneses du discours (1984). No primeiro capítulo" abordaremos questões referentes à constituição da Análise do Discurso, a fim de discutir em que medida e de que maneira a problemática da objetividade científica foi incorporada por essa disciplina, e quais as implicações decorrentes de um posterior abandono desse projeto de cientificidade. O intuito dessa discussão é justificar nossa escolha do modelo teórico-metodológico pautado em uma semântica global, tal como nos propõe Maingueneau. No segundo capítulo, devido ao fato de o surgimento do Modernismo no Brasil estar estreitamente ligado a um movimento mais amplo de renovação estética que ocorreu no mundo todo, buscaremos reconstituir, minimamente, as condições de surgimento de uma nova concepção de arte que surge em função da construção de uma nova forma de compreender a relação entre o homem e o mundo, bem como a relação do homem consigo mesmo. No terceiro capítulo, a questão das condições que propiciaram o surgimento do Modernismo no Brasil será apresentada a partir de um outro enfoque, abordando, mais especificamente, as condições históricas brasileiras que possibilitaram o surgimento do discurso modernista no país. O nacionalismo será um dos tópicos fundamentais deste capítulo. No quarto capítulo, o intuito é mostrar o modo de funcionamento do discurso modernista em constituição no campo discursivo da arte. Nossa hipótese, centrada no modelo de semântica global de Maingueneau (1984), é que o filtro semântico desse discurso organiza-se sobre dois semas centrais - o nacionalismo e a subjetividade -, em função dos quais o discurso organiza seu optimum semântico, que materializa o núcleo da doutrina modernista. No quinto capítulo, abordaremos aspectos relacionados à material idade discursiva, no intuito de mostrar que o modo de funcionamento do filtro semântico do sistema de restrições do discurso modernista sustenta-se sobre uma base lingüística: o discurso modernista estabelece, com os outros discursos com os quais trava embates, relações de concessão, negação e denegação, verificáveis na estruturação sintática desse discurso. No capítulo 6, faremos alguns apontamentos (o capítulo tem um caráter de apêndice) a respeito da discussão em tomo da existência ou não de uma variedade lingüística brasileira, separada da variedade de Portugal. Neste capítulo, retrocederemos até o ano de 1824, a fim de traçar a trajetória de discussão realizada no país em tomo dessa questão, desde as primeiras manifestações a esse respeito, até os modernistas. / Abstract: In this thesis we aim to analyse how the modernist discourse was constituted in Brazil. Articles that were published by the Brazilian press from 1917 to 1929 were analysed. Maingueneau's concept of global semantics, presented in Geneses du discours (1984), was used to develop the proposed analyses. In the first chapter we approach questions concerning the constitution of Discourse Analysis in order to discuss how and to what extent the problematic of the scientific objectivity was assimilated by this discipline. We also discuss the current implications of a posterior abandonment of this project of scientificity. The aim of this discussion is to justify the choice of the theoretical and methodological model used which is based on the concept of global semantics such as it is proposed by Maingueneau. In the second chapter we try to reconstitute the emergent conditions of a new concept of art that arises from the construction of a new way to understand the relation between the man and the world as well as the relation of the man with himself. Such a reconstitution is due to the fact that the emergence of Modernism in Brazil is strictly linked to a wider movement of esthetical renewal that occurred all over the world. In the third chapter the conditions that propitiated the emergence of Modernism in Brazil is presented from another focus that approaches more specifically the Brazilian historical conditions that made the emergence of the modernist discourse in the country possible. The nationalism is one of the fundamental issues of this chapter. In the fourth chapter the aim is to show the modernist discourse's functioning way and how it is constituted within the discursive field of art. Our hypothesis, centred in Maingueneau's concept of global semantics, is that the semantic filter of this discourse is organised in two central semas - the nationalism and the subjectivity -, in which the discourse organises its semantic optimum that materialises the nucleus of the modernist doctrine. In the fifth chapter we deal with aspects concerning the discursive materiality. The aim is to show that the semantic filter's functioning way of the modernist discourse's system of restrictions is supported on a linguistic base: the modernist discourse which is engaged in combat with other discourses establishes relations of concession, negation and denegation and these relations may be verified in the syntactic structure of the discourse. In the sixth chapter we discuss whether there is a Brazilian linguistic variety or not, apart from the existing one in Portugal (the chapter has an appendix nature). In this chapter we retrocede to 1824 in order to delineate the discussion developed in the country about this issue since its first manifestations until the first modernists. / Doutorado / Doutor em Linguística

Orientador: Eduardo R. J. Guimarães / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Estudos da Linguagem / Made available in DSpace on 2018-08-03T22:20:12Z (GMT). No. of bitstreams: 1 Schumm_GabrieledeSouzaeCastro_M.pdf: 472402 bytes, checksum: 097a48c3bfbcf1820920ab6b1e8f4b96 (MD5) Previous issue date: 2004 / Resumo: A partir de uma visão distinta que tem sido vista pela sociolingüística sobre línguas em contato, concebemos a língua, e as línguas em contato, dentro do quadro teórico da semântica da enunciação, como uma relação de línguas que convivem em um espaço de enunciação específico. Tomando o espaço de enunciação como dispositivo teórico que movimenta as reflexões que sustentam esta dissertação, na relação de línguas e falantes que constitui este espaço, é a língua nacional que determina o falante como cidadão de um determinado país. No espaço de convivência das línguas alemão e português, há uma relação de litígio que as distribui neste espaço, dividindo-as e as refazendo o tempo todo. Não há um lugar estanque para cada uma das línguas que possibilite se pensar numa especialização das línguas segundo categorias pré-estabelecidas. O modo como as línguas alemão e português se configuram neste espaço ganha materialidade na análise dos dados coletados nas cidades de descendentes de alemães, localizadas no Paraná. A coleta foi realizada através de entrevistas em alemão.A metodologia usada para as mesmas se afasta da teoria desenvolvida por Labov, de modo que a interação entrevistador/entrevistado não foi apagada e as entrevistas foram acercadas línguas das cidades. O cruzamento das línguas alemão e português foi analisado com as seguintes categorias de análise: cena enunciativa, locutor e enunciador. A análise do funcionamento da linguagem neste espaço de enunciação dá visibilidade à relação constitutiva da língua na constituição dos falantes. A compreensão da constituição do espaço de enunciação das cidades pesquisadas e de como as línguas alemão e português se relacionam na determinação da identidade dos falantes é o lugar de compreender especificamente como se dá a participação de cada uma das línguas, a língua alemã, como memória de uma origem, e o português como a língua nacional que regula o funcionamento do espaço de enunciação, na constituição dupla dos sujeitos falantes / Abstract: Within a perspective which is different from the sociolinguistics approach of languages in contact, we conceive language and languages in contact as a relation of language which cohabit in a specific space of enunciation. Taking semantics of enunciation as the theoretic model which put into motion the questions that sustain this Dissertation, it is the national language which determines the speaker as a citizen of a determined country. In the space of sociability between German and Portuguese, there is a relationship of litigation which distributes them in this space, dividing and renewing them all the time. There is not a tight place for these languages which makes possible to think about a specialization of the languages accordingto pre-established categories. The configuration of German and Portuguese in this space is better recognized in the analysis of the data captured in some cities of German descendants, located in Paraná. The data were captured during interviews made in German. The methodology adopted is distinct from the theory developed by Labov, considering that the interaction between interviewer/interviewed was not erased and the subject of the interviews was the languages spoken in their cities. The crossing over German and Portuguese was analyzed considering the enunciative scene, locutor and the enunciation as the categories of analysis. The analysis of functioning of language in this enunciative space makes visible the constitutor relation of language in the constitution of speakers. To understand the constitution of the enunciative space of these cities and how Portuguese and German relate in the determination of speaker identity is the best way to comprehend the participation of both languages in the double constitution of subjects speakers: German as the memory of an origin and Portugueseas the national language which regulates the operation of the enunciative space / Mestrado / Mestre em Linguística

Made available in DSpace on 2014-06-12T18:34:04Z (GMT). No. of bitstreams: 2 arquivo4042_1.pdf: 5712555 bytes, checksum: 9b790b52b1f02850b0ffe8b326797c81 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Este estudo tem como objetivo observar a linguagem utilizada nos anúncios publicitários de preservação do meio ambiente produzidos pelos três setores que compõem a economia de uma sociedade pós-moderna: entidades públicas, empresas privadas e organizações não governamentais, as ONGs. Aborda a questão do conflito de papéis que se estabelece a partir do momento em que tais instituições, imersas no sistema capitalista que tem como princípio básico a constante fabricação de mercadorias, tomam uma posição em defesa da conservação da natureza, que vai contra esta lógica do mundo artificial. A intenção é trazer à tona, com a ajuda da metodologia proposta pela Análise do Discurso, o apoio da Arqueologia de Michel Foucault e dos pressupostos da Psicolingüística, as contradições presentes nestes discursos. Apresenta aspectos significativos na elaboração das mensagens que evidenciam as estratégias utilizadas por seus autores a fim de não irem contra os interesses do sistema, cuja hegemonia depende da alienação do cidadão comum

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão, Programa de Pós-Graduação em Linguística, Florianópolis, 2016 / Made available in DSpace on 2016-09-20T04:28:03Z (GMT). No. of bitstreams: 1 340625.pdf: 1064236 bytes, checksum: 3aff4a08aa5ecd4bc22d76d2479db230 (MD5) Previous issue date: 2016 / Esta dissertação contesta a obrigatoriedade de uniformidade na interface sintaxe e semântica, partindo da análise do fenômeno da subpredicação em português brasileiro. O objeto foi delimitado a partir do conceito de predicação para Frege (2009) e para Searle (1969), que definem esse fenômeno como a atribuição de uma propriedade a um objeto. A subpredicação é definida por nós como uma segunda predicação, interna à principal. Nossa ancoragem teórica é a proposta de Culicover e Jackendoff (2005) na Teoria da Sintaxe mais Simples, que defende um sistema linguístico não transformacional, mas baseado em restrições, embora ainda gerativo e formalizável; a arquitetura da gramática, para os autores, é composta por três níveis: fonologia, sintaxe e semântica, gerados de forma independente e concomitante. Como a semântica deixa de ser um nível meramente interpretativo, a sua geração não depende mais unicamente da forma sintática; é postulada, então, a não-uniformidade de interface como opção de economia teórica: a estrutura sintática é reduzida ao máximo, projetando somente os itens pronunciados. A representação arbórea é flat, formada a partir de regras de constituência sintagmática e de ordem linear. Tomando a Sintaxe mais Simples como base, analisamos sentenças com verbos que selecionam semanticamente uma subpredicação e aplicamos testes de constituência sugeridos por Haegeman (2006) para verificar em quais casos esses verbos licenciam um único constituinte sintático onde há a subpredicação como complemento. Nos casos em que é atestada a formação de constituinte, a subpredicação é projetada sintaticamente como uma small clause (SC); nos demais casos, a relação de predicação se dá diretamente com o verbo e, portanto, não é formada uma SC para esse grupo de verbos, a representação sintática é semelhante à projeção de verbos triargumentais. Os resultados mostraram que muitos verbos tradicionalmente considerados selecionadores de SC pela tradição gerativa (CHOMSKY, 1981; STOWELL, 1983; HAEGEMAN, 1994; PROGOVAC, 2006; MIOTO E FOLTRAN, 2007) não o são, embora estabeleçam uma relação de subpredicação no nível semântico. Constatamos que a postulação de complexidade estrutural e de uniformidade de interface entre esses níveis deve ser empiricamente motivada. <br> / Abstract : This dissertation questions the obligatoriness of uniformity at the syntax/semantics interface based on the analysis of the subpredication phenomenon in Brazilian Portuguese. The object of study was delimited according to the concept of predication, as it appears in Frege (2009) and Searle (1969), who define it as the attribution of a property to an object. We define subpredication as a secondary predication, internal to the main one. Our theoretical grounding is Culicover and Jackendoff s (2005) proposal in their Simpler Syntax Theory, wherein they defend a linguistic system that is not transformational, but based on restrictions, whilst remaining generative and formalizable; the architecture of grammar, according to them, is composed by three levels: phonology, syntax and semantics, all of which are generated independently and concomitantly. As semantics ceases to be a merely interpretative level, its generation no longer depends uniquely on syntactic form. We have, therefore, a presumption of non-uniformity as an option for theoretical economy: syntactic structures are maximally reduced, projecting only pronounced elements. The tree-representation is flat and formed according to constituency and linearization rules. Taking Simpler Syntax as our basis, we analyzed sentences containing verbs that semantically select subpredications and applied the constituency tests suggested by Heageman (2006) in order to verify in which of these cases the verbs license an unique syntactic constituent where there is subpredication as complement. Where we do attest the formation of such a constituent, the subpredication is syntactically projected as a small clause (SC); in all other cases, predication relations are set up directly with the verb, and, therefore, no SC is formed for this group of verbs, the syntactic representation is similar to that of double object verbs. Our results revealed that many verbs traditionally considered to select SCs according to the generative tradition (CHOMSKY, 1981; STOWELL, 1983; HAEGEMAN, 1994; PROGOVAC, 2006; MIOTO E FOLTRAN, 2007), in fact, don t do so, even though they establish a subpredication relation on the semantic level. We hold that the postulation of structural complexity and interface uniformity among these levels should be empirically motivated.

Orientador: Luiz Cesar Marques Filho / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-03T14:59:29Z (GMT). No. of bitstreams: 1 Lian_AntonioHenrique_M.pdf: 6466004 bytes, checksum: deff13c99d3d56f7f7e6d1f354e0144f (MD5) Previous issue date: 2003 / Resumo: Através da análise da Sinfonia nº1, em ré maior ("Titã') de Gustav Mahler, o presente trabalho busca compreender a obra de arte musical como um universo de complexas significações metafóricas e inter-relações com outras formas de manifestação artística e cultural, discutindo o percurso histórico do pensamento estético sobre a música e avaliando em que medida a antiga estética dos sentimentos e o formalismo alemão convergiram no nascimento dessa obra-prima musical, composta às portas da música moderna, entre a primeira e a segunda Escolas de Viena. A pesquisa propõe a elaboração de um discurso sobre a obra, recorrendo-se à análise direta das diversas versões da partitura (bem como de outras obras de Mahler que a antecederam e imediatamente sucederam), inventariando, ainda, os textos críticos e analíticos mais relevantes e reveladores sobre ela escritos. A detida análise de cada um dos seus movimentos busca elencar o conjunto de recursos expressivos e intenções musicais e extramusicais (como idéias filosóficas, argumentos literários, influências visuais e referências biográficas) utilizados em sua composição / Abstract: Through the analysis of Gustav Mahler's Symphony n° 1, in D major ('Titan') the present work aims at comprehending the musical art work as a complex universe of metaphorical meanings and interrelations with other sorts of artistic and cultural manifestations. By doing so, it proposes a discussion on the historical path of aesthetic thought on music and the assessment of to what extent both the old aesthetics of sentiment and German formalism converged in the birth of this masterpiece, composed at the threshold of Modern Art, between the first and second Viennese Schools. The research proposes the elaboration of a discourse on the mentioned work, taking into consideration the many sources of the score (as well as other Mahler pieces composed before and just after this symphony) and also lists the most relevant, and revelatory, critical and analytical texts written about it. The careful analyses of its movements attempt to reveal the set of expressive means and intentions of the composer, whether intrinsically musical or extra-musical (such as philosophical ideas, literary arguments, visual influences and biographical references) / Mestrado / Historia da Arte / Mestre em História

Submitted by Isaac Francisco de Souza Dias (isaac.souzadias@ufpe.br) on 2016-04-22T19:21:52Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO Webber de Souza Fantini.pdf: 3976342 bytes, checksum: ee19a7c7532d84db865f1cc0f4b5c21d (MD5) / Made available in DSpace on 2016-04-22T19:21:52Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO Webber de Souza Fantini.pdf: 3976342 bytes, checksum: ee19a7c7532d84db865f1cc0f4b5c21d (MD5) Previous issue date: 2015-08-28 / Para transparência e fortalecimento da democracia, é de suma importância que a sociedade tenha acesso às informações livremente. No controle social e na fiscalização do governo, o Orçamento Público é um grande aliado que pode determinar quais ações (despesas) serão feitas pelo Governo com os recursos originados de contribuições (receitas) da sociedade. A iniciativa de disponibilização dos dados orçamentários em formato aberto foi concretizada, e para isso ser realizado, utilizou-se uma ontologia do orçamento federal, denominada LOA, com o objetivo de representar a classificação das despesas do orçamento. Ela possibilita discriminar e detalhar os valores da despesa em categorias denominadas classificações orçamentárias de tal forma que é possível identificar, por meio dessas classificações, em quais categorias se enquadra uma determinada despesa. Porém, entre as informações nela descritas, não consta a identificação das empresas ou pessoas e os respectivos pagamentos recebidos. Neste contexto, este trabalho realiza uma extensão ao modelo ontológico do Orçamento Federal Brasileiro, de modo a apresentar valores de execução orçamentária, discriminando os pagamentos efetuados, os respectivos valores e os favorecidos – pessoas, empresas ou organizações. Esta expansão da ontologia proposta neste trabalho permite uma representação do conhecimento dos dados de pagamentos referente ao domínio do orçamento. Os dados disponibilizados pelo governo no Portal da Transparência são convertidos para o formato RDF e conectados com os conjuntos de dados do Portal de Dados Abertos do Governo Brasileiro. O novo conjunto de dados é publicado e acessado em um terminal de consultas denominado endpoint, por meio da linguagem SPARQL, visando dar suporte a um monitoramento público, para o planejamento e a execução do orçamento. Como forma de avaliação, é construída uma aplicação como prova de conceito da publicação dos dados conectados e, para avaliação da ontologia, são criadas Questões de Competência (QCs) que permitem que a ontologia desenvolvida neste trabalho esteja de acordo com os requisitos levantados, bem como com os conceitos referentes ao domínio orçamentário. / It is crucial that the society has open access to information easily in order to keep the transparency and strength of democracy. The Public Budget is a great ally in social control and government invigilation which can determine which actions (expenses) will be taken by the Government with the income collected by taxes. An ontology of the Federal Budget, named LOA, has been used to represent the classification of the budget expenses, since the budgetary data has been provided. It allows the discrimination and detailing of the value of each expense in categories, named budgetary classifications, in a way we can identify, through this classification, in which category each expense falls into. The identification of the companies or people and the respective payment they got, however, is not included in it. Having considered all these issues, this work shows the results of an extension of the ontological model of the Brazilian Federal Budget, in order to present the budget execution data, differentiating the payments finalized, its respective values and who received them – people, companies or organizations. The ontology expansion proposed in this work allows for the representation of budgetary data disclosure. The data made available through the Portal de Transparência (transparency portal) is converted into RDF format and connected to the data from the Portal de Dados Abertos do Governo Brasileiro (Brazilian Government Open Data Portal). The new data set is published and accessed in a consult terminal designated endpoint, through SPARQL language, aiming to maintain public monitoring, throughout the planning and execution of the data. As an evaluation, an application has been built to prove the concept of the publication of the connected data, and, to evaluate the ontology, we designed Competence Questions (CQs) to allow the ontology to be in accordance with the requirements raised in this work, as well as the concepts related to the budgetary domain.

Orientador: Luiz Carlos Cagliari / Banca: Teresa Cristina Wachowicz / Banca: Angel Corbera Mori / Resumo: Essa dissertação tem como objetivo a categoria aspect no Grego Antigo. Aspecto é tipicamente uma característica semântica e morfológica dos verbos das línguas naturais onde ocorre, como em Grego Antigo. Semanticamente mostra como eventos são especificados em relação ao tempo nas sentenças. Do ponto de vista morfológico, aspecto é um morfema adicionado a certas formas verbais como o presente, perfeito, o aoristo e o futuro. Esta dissertação apresenta a estrutura morfológica dos verbos do Grego Antigo, a fim de mostrar como o valor aspectual é associado aos morfemas. Em relação à literatura, a noção de aspecto está presente em gramáticas e em trabalhos específicos de linguistas. Uma revisão das principais idéias é apresentada e discutida. Assumi-se que o valor aspectual nos verbos é uma marca morfológica que depende dos valores expressos pelo lexema verbal. Novos trabalhos sobre este tema trazem novas visões não só sobre a definição de aspecto, como também sobre análises de sua ocorrências nas línguas naturais, incluindo uma revisão sobre a tradicional interpretação do aspecto em Grego Antigo. Esta dissertação detecta alguns problemas remanescentes e traz possíveis soluções para eles. Desta forma, esta dissertação afirma que nos verbos do Grego Antigo os elementos que definem o valor aspectual são morfologicamente determinados por morfemas verbais especiais, mas deve-se levar em conta o as classes aspectuais que se enquadram os lexemas verbais em questão. Somente quando ambos os elementos são considerados, é possível atribuir o valor aspectual de uma sentença / Abstract: This dissertation focuses on the category of aspect in Ancient Greek. Aspects is typically a semantic and morphological characteristic of verbs in the languages where it occurs, as in Ancient Greek. Semantically it is related to how time is considered in the discourse. It shows how events are specified in relation to time in sentences. From the morphological point of view, aspect is as morphological morpheme aggregated to certain verbal forms such as present, perfect, aorist and future. The dissertation presents the morphological structure of Ancient Greek verbs, to show how the aspectual meaning is associated to morphemes. In relation to the literature, the notion of aspect is presented in grammars and in specific works by linguists. A review of the principal ideas is presented and discussed. It is assumed that the aspectual meaning in verbs is a morphological mark, but it also depends on the meaning conveyed by the lexemes. New works on the subject brought new insights not only on the definition of aspect, but also in the analysis of its occurrence in languages, including a review of the traditional interpretation of aspect in Ancient Greek. This dissertation detected some remaining problems and it brings possible solutions. In this way, this dissertation states that in Ancient Greek verbs the elements that define the aspectual meaning are morphologically determined by special verbal morphemes, but it is also important to take into account the semantic meaning of the lexemes. Only when both elements are considered, it is possible to assign the aspectual meaning to a sentence / Mestre