[pt] A dissertação consiste em uma reflexão sobre a noção de existência. É feita, de início, uma breve exposição a respeito do argumento ontológico de Santo Anselmo e o tipo de concepção de existência que ele demanda. A seguir, é empreendida uma breve investigação a respeito da visão de três pilares de nossa tradição filosófica a respeito da noção de existência: Hume, Kant e Frege. Suas concepções são estudadas, até certo ponto, em separado, a fim de que possam ser trazidos à luz seus principais aspectos e os contornos peculiares que conferem à noção de que pretendem dar conta. Posteriormente, são postas lado a lado em um cotejo de algumas de suas mais relevantes semelhanças e discrepâncias. A esse estudo, segue-se uma investigação crítica. Em primeiro lugar, é exposta a parte negativa desta: algumas observações a respeito de problemas envolvidos em cada um dos tipos de concepção da existência exemplificados nas partes precedentes, mescladas a reflexões a respeito da relação da existência com noções como quantificação e indivíduo, às quais dão ensejo. Em segundo lugar, sua parte positiva: com base nas observações já feitas, algumas sugestões de como dar conta de certos aspectos relevantes da noção de existência. A dissertação inclui ainda um apêndice em que se leva a cabo uma breve incursão no pensamento aristotélico. Mais precisamente, será investigada a relação entre a existência e a quantificação no contexto da teoria do quadrado das oposições, tal como formulada no célebre tratado De Interpretatione. / [en] The dissertation consists of a reflection on the notion of existence. At first, a brief exposition about St. Anselms ontological argument and the kind of conception of existence that it demands is made. After that, a brief investigation regarding the vision of the notion of existence of three main pillars of our philosophical tradition - Hume, Kant and Frege - is undertaken. To a certain extent, their conceptions are studied separately, so that the main aspects and peculiar outline that they convey to the notion of which they intend to give an account can be brought to light. Subsequently, these conceptions are put side by side in a comparison of some of their most relevant similarities and discrepancies. This study is followed by a critical investigation. First, its negative part is exposed: some observations regarding problems involved in each one of the kinds of conception of existence exemplified in the precedent parts, mixed with reflections on the relation between existence and notions such as that of individual and quantification to which they give rise. Secondly, its positive part: based on the observations already made, some suggestions on how to give an account of some relevant aspects of the notion of existence. The dissertation also contains an appendix in which a brief incursion in the aristotelian thought is undertaken. More specifically, it consists of an investigation regarding the relation between existence and quantification in the context of the theory of the square of oppositions as formulated in the famous treatise De Interpretatione.

[pt] Utilizada por Nietzsche em momentos diversos de sua obra, a expressão grande política revela uma perspectiva diferenciada sobre os problemas de natureza política, radicalmente divergente do aporte crítico da modernidade política. O objetivo desta dissertação é analisar a grande política, a partir de quatro hipóteses complementares. Em primeiro lugar, supomos que a grande política deva ser analisada estritamente no campo de problemas do pensamento nietzscheano, e não à contra- luz do aporte da modernidade política e filosófica. Em segundo lugar, sendo a grande política um produto da crítica dos valores morais, sua análise exige, preliminarmente, uma discussão acerca dos temas e peculiaridades concernentes a esta crítica. Em terceiro lugar, definida como um conhecimento das condições e circunstâncias nas quais [os valores] nasceram, sob as quais se desenvolveram e se modificaram, a crítica dos valores morais, entretanto, está fincada sobre uma concepção muito específica do ser e da existência, a ontologia de Nietzsche. A análise desta ontologia é, portanto, indispensável para acessar a crítica e, consequentemente, a grande política. Em qua rto e último lugar, a grande política representa o corolário das pesquisas que Nietzsche desenvolve a partir de Verdade e mentira no sentido extra-moral (1873), acerca da gênese e desenvolvimento dos valores morais, figurando portanto como expressão fundamental de seu pensamento. / [en] Used by Nietzsche in many moments of his work, the expression great politics reveals a perspective on problems of political nature radically different from the modernity theorical political critique. The aim of this work is to justify an analysis of the great politics, from four complementary hypotheses. First of all, we assume that the great politics must strictly be analyzed inside nietzschean`s thought, and not from any values related to philosophical modernity and politics. Secondly, the expression is a product of the critique of moral values (kritik der moralischen werte), and its analysis demands, preliminarily, a discussion concerning those themes related to this critique. In third place, defined as the knowledge of the conditions and circumstances in which they [the values] grew, under which they evolved and changed`, the critique of moral values, however, is sticked on a very specific conception of the being and the existence. Therefore, it`s our hypotheses that the analysis of Nietzsche`s onthology is indispensable to access the critique and, consequently, the great politics. At last, the great politics represents a corollary of Nietzsche`s researchs developed from Truth and lie in the direction extra-moral (1873) that concerns the genesis and development of moral values and, therefore, figures as a fundamental expression of his thought.

[pt] O estudo visa mostrar a natureza da metáfora, e em particular seu valor especulativo e fundamento ontológico (ou ontologia implícita) para Santo Tomás de Aquino e Paul Ricoeur, realizando uma comparação entre as duas concepções. Em um primeiro momento, é apresentada a concepção tomista da metáfora, através do recurso a quatro intérpretes do Aquinate (Penido, McInerny, Cruz e Duffy). Em um segundo momento é apresentada a concepção de Paul Ricoeur, especialmente em A metáfora viva. Na parte final do trabalho, são comparadas a incorporação da imagem no discurso especulativo (valor especulativo da metáfora) e a relação metáfora-ontologia (fundamento ontológico da metáfora) nos dois autores. / [en] The study aims at showing the nature of metaphor, particularly its speculative value and its ontological foundation (or implicit ontology), for Saint Thomas Aquinas and Paul Ricoeur, making a comparison between both conceptions. In a first moment, Aquinas` conception of metaphor is presented, recurring to four interpreters (Penido, McInerny, Cruz and Duffy). In a second moment, Ricoeur`s conception of metaphor is displayed, especially as presented in The living metaphor. In the final part of the work, the incorporation of image in speculative discourse (speculative value of metaphor) and the relation metaphor-ontology (ontological foundation of metaphor) in both authors are compared.

[pt] Com o processo de globalização, as empresas estão cada vez mais descentralizadas, o que torna um desafio a troca de conhecimentos entre seus funcionários. Na literatura, há diversas práticas de Gestão do Conhecimento que visam facilitar essa troca de conhecimentos, porém muitas apresentam dificuldades na coleta e reutilização posterior desse conhecimento. Algumas dessas práticas se baseiam na troca de experiências entre os funcionários por meio de histórias. Este trabalho tem por objetivo definir um modelo para a representação (ontologia) de histórias, compreendendo um conjunto de atividades, papéis e ferramentas, visando melhorar a dinâmica coletiva de levantamento e reuso de conhecimentos. Com base na realização de alguns experimentos, constatou-se que o modelo proposto é melhor que outros no que tange ao levantamento e ao reuso de conhecimentos. / [en] With the globalization process, companies are increasingly decentralized, which makes it a challenge to exchange knowledge between employees. In literature, several Knowledge Management practices aims at facilitating the knowledge exchange, but many of them have difficulties in collecting and later reuse that knowledge. Some of these practices are based on the employee experience exchange, through sharing stories. The objective of this Thesis is define a model for the representation of stories (ontology), a set of activities, rules and tools to improve the collective dynamic gathering and the reuse of knowledge. Through some experiments we observed that this proposed model is better than other models regarding the collection and reuse of knowledge.

[pt] Há uma crescente demanda por ferramentas que automatizem tarefas complexas relacionadas ao SGBD, tais como aquelas relacionadas às atividades de sintonia fina. Nestas ferramentas, existe uma falta de clareza sobre as decisões e as ações que são tomadas de forma automática. Essa tese propõe um framework para execução das heurísticas de sintonia fina para apoiar o DBA (e possivelmente outros usuários) nas escolhas envolvidas na atividade de sintonia fina. Esse trabalho de pesquisa inclui uma proposta de ontologia para a sintonia fina (automática ou não) que proporciona uma abordagem formal para decisões e inferências. A contribuição inovadora dessa abordagem é oferecer transparência e confiabilidade acerca das alternativas disponíveis para possíveis cenários no SGBD, por meio de justificativas concretas para as decisões que foram tomadas. Além disso, através do uso de uma ontologia específica, proporcionar a geração automática de novas práticas de sintonia fina, que podem ser obtidas a partir das práticas existentes (uso de inferências) ou de novas regras e conceitos que venham a surgir no futuro. Esta abordagem permite também a realização de combinações de heurísticas de sintonia fina em alto nível. / [en] There is a strong demand for automation of Database Management Systems (DBMS) tasks, as those related to self-management and self-tuning activities. However, whenever automatic decisions are made, there is also a lack of clearness about the considered decisions and actions. This thesis proposes a framework to support the DBA (and possibly other database users) on choices concerning tuning activities. This research work includes the proposal of an ontology for (autonomous or not) database tuning that enables a formal approach for decisions and inferences. The goals are to offer transparency and confidence on the available tuning alternatives with respect to the possible DBMS scenarios through a concrete justification about the decisions that are made. Moreover, new tuning practices may be obtained automatically as soon as new rules, concepts and practices are known. Finally, our approach enables an actual combination, at a high level of abstraction, of distinct database tuning strategies.

[pt] O estabelecimento de um processo de negócios se faz por meio de relacionamentos entre parceiros que têm um objetivo comum. Esses relacionamentos são definidos em contratos, que podem ser explícitos ou implícitos, podem ser verbais ou escritos, e assim por diante. Quando uma pessoa busca um parceiro de negócios, ela procura um parceiro que possa completar um relacionamento definido em um contrato. Para dar suporte a esses processos na Internet (e na Web) é necessário caracterizar todos os seus aspectos, tais como: agentes, contratos, papéis, relacionamentos, interações entre os parceiros, políticas etc. Este trabalho apresenta o Contract Oriented Web Services Model (COWS) - um modelo para um ambiente apropriado para diálogos de E- Business, implementados por meio de Web Services. COWS é baseado em contratos bemdefinidos, acordados entre todas as partes envolvidas e que incorpora vários níveis de políticas. Essas políticas podem estar relacionadas a formas de pagamento, qualidade de serviço (QoS), políticas de privacidade, direitos, retorno de produtos, confiança entre parceiros, entre outros. Os contratos podem se referenciar a outros contratos e têm escopo em foros específicos, que contêm políticas globais. Um protótipo, para um ambiente Web com suporte ao COWS, foi implementado para testar os conceitos que estendem o processo de casamento de parceiros, em um processo de negócios. Todos os modelos do COWS foram especificados como ontologias, utilizando-se a linguagem Flora-2. / [en] Business processes are established via relationships between partners with a common goal. These relationships are specified in contracts, which could be explicit or implicit, oral or written, and so on. When a person searches for a business partner, she is looking for a partner that can fulfill a relationship specified in a contract. To support such processes in the Internet (and in the Web) it is necessary to characterize all of its aspects, such as agents, contracts, roles, relationships, interactions between partners, policies, etc. This dissertation presents the Contract Oriented Web Services Model (COWS) - a model for an appropriate environment for E-Business dialogues, implemented using Web Services. COWS is based on well-defined contracts agreed upon by all concerned parties and incorporates various levels of applicable policies. These policies can be related to payment methods, quality of service (QoS), privacy policies, rights, products return, trust, etc. Contracts may refer to other contracts and are valid within forae, which have default global policies. A prototype web environment supporting COWS has been implemented to test the concepts that extend the discovery process. All COWS models have been specified as ontologies, using Flora-2.

[pt] A reivindicação que Gadamer faz de um caráter prático para a hermenêutica filosófica se deve, em grande parte, a uma releitura da filosofia prática de Aristóteles - tendo como principal referência o livro VI da Ética a Nicômaco - fortemente influenciada pela leitura ontológica proposta por Martin Heidegger. A retomada das noções aristotélicas, principalmente, de práxis e phronesis, oferece a Gadamer a possibilidade de realçar uma implicação ético-política no cerne da questão da compreensão. Esta última passará a ser pensada nos termos da interpretaçãoaplicação que ocorre no âmbito da vida prática, onde toda compreensão encontra-se operante enquanto dimensão fundamental de todo lidar com as coisas. Por essa razão, a relação entre hermenêutica e práxis abre um âmbito de reflexão e discussão que tem como principal objetivo um engajamento em defesa da razão prática, em detrimento da consideração de que toda racionalidade deve se apresentar, fundamentalmente, como lógico-científica. Deste modo, visamos com este trabalho refletir sobre a questão da práxis tal como pensada por Gadamer, apontando para uma pretensão filosófica fundamental: a defesa de uma universalidade para sua ontologia da compreensão. Para Gadamer, pensar uma hermenêutica filosófica é pensar a experiência universal de compreensão mútua que é inseparável do acontecer da vida em comum. É este o âmbito, a um só tempo, compreensivo e prático da sua hermenêutica filosófica. / [en] Gadamer s claim of a practical character involved in philosophical hermeneutics is based, to a large extent, on a rereading of Aristotle s practical philosophy - having as a main reference, the sixth book of the Nicomachean Ethics - strongly influenced by Heidegger s ontological reading of Aristotle. The reappropriation of Aristotelian concepts, mainly, of praxis and phronesis, offers the possibility of bringing to light the existence of an ethical-political implication within the center of the question of understanding. Such a question turns to be thought in terms of the happening of interpretation-application that takes place in the scope of practical life where all understanding finds itself already operative in the commerce with things in general. In this way, the relation between hermeneutics and praxis opens a scope of reflection and discussion that has, as a main objective, an engagement in favor of practical reason, in contrast with logical-scientific arguments. In this way, our aim in this work is to approach the question of praxis such as thought by Gadamer, in the light of a basic philosophical aim: his claim of universality to his ontology of understanding. For Gadamer, the thought of philosophical hermeneutics is the thought of the universal experience of mutual understanding that is inseparable from the happening of communitarian life. Such a realm is, the comprehensive as well as practical one of his philosophical hermeneutics.

[pt] A partir das reflexões de Frege em seus Grundlagen der Arithmetik, destaca-se como o fio condutor da presente dissertação o problema que se refere à determinação da natureza numérica. A análise que Frege dedica a este problema almeja caracterizar a noção de número com o auxílio da noção de objeto lógico, e tal aproximação receberá um intenso ataque teórico por parte de Paul Benacerraf. Este ataque teórico, por sua vez, será auxiliado pela sugestão de que, na medida em que o interesse dos matemáticos (enquanto matemáticos) permanece em um âmbito estruturalista, uma pesquisa filosófica sobre a matemática deveria, em princípio, preservar semelhante aspecto. Esta argumentação de Benacerraf, aliada aos trabalhos anteriores do grupo Bourbaki, impulsionou as mais diversas pesquisas no âmbito estruturalista, constituindo-se os trabalhos de Stewart Shapiro como um de seus mais interessantes desenvolvimentos. São assim apresentadas as bases ontológicas e epistemológicas que sustentam tal teoria – intitulada como estruturalismo ante rem – para, por fim, se delinear um histórico de tais concepções. Sublinham-se, então, alguns debates ocorridos ao final do século XIX e início do século XX, com a intenção de se iluminar as heranças conceituais de Shapiro e alguns possíveis pressupostos de Benacerraf, oferecendo-se alguma notoriedade às figuras do matemático alemão Richard Dedekind e do grupo francês Nicholas Bourbaki. / [en] Frege’s reflections on the nature of numbers, presented in his Grundlagen der Arithmetik (1884), provide the guiding theme for this dissertation. His characterization of numbers as logical objects was sharply criticized by Paul Benacerraf (1965), who suggested that since mathematicians (as mathematicians) work within a structural framework, philosophical research on mathematics should preserve this structural aspect of mathematics. Benacerraf’s arguments, as well as earlier works by the Bourbaki group, gave raise to several structuralist research projects, one of the most interesting of which is developed by Stewart Shapiro. We present the ontological and epistemological basis of Shapiro’s socalled ante rem structuralism, as well as some of the debates from the late 19th and early 20th centuries which throw some light on the conceptual presuppositions of Shapiro and Benacerraf. In this connection we emphasize the work of the German mathematician Richard Dedekind and of the French group Nicholas Bourbaki.

[pt] Soluções que utilizam a abordagem multiagentes para sistemas distribuídos e heterogêneos de grande porte têm como característica a coexistência de agentes e objetos. Assim, para acomodar e combinar objetos e agentes pode-seutilizar extensões de linguagens de modelagem orientadas a objetos a fim de representar as novas abstrações associadas aos agentes, tais como papéis, organizações e ambiente. Porém, se já é difícil analisar e estabelecer a boa formação de diagramas descritos em uma linguagem de modelagem orientada a objetos, mais difícil se torna esta tarefa quando a linguagem considerada é uma extensão da primeira, a partir da adição de abstrações que descrevem as características de agência. Esta tese apresenta um método para estruturação e análise de modelos de sistemas multiagentes (SMAs) baseado em ontologias. O método propõe a análise de modelos de projeto de SMAs usando uma abordagem bifásica, onde cada fase analisa diferentes propriedades de projeto de SMA. Os diagramas são analisados isoladamente, em suas propriedades internas, e, posteriormente, aos pares, quando são analisadas as propriedades de interdependência entre os diagramas. Além disso o método também provê meios para indicar ao projetista sugestões de boas práticas de projeto, que podem melhorar sua qualidade final. / [en] Agents are becoming a popular technology for the development of distributed, heterogeneous and always available systems. The application of agent technologies requires extensions to the existing object-oriented modeling languages to accommodate agent-related abstractions such as roles, organizations and environments. If it is difficult to analyze and establish the wellformedness of a set of diagrams of a UML-like object-oriented modeling language, it gets far more complex when the language is extended to add a set of agency related abstractions. This thesis presents an ontology-based method for structuring and analyzing multiagent systems (MAS) design models. The method proposes the analyses of MAS designs based on a two-phase approach that covers different sets of MAS design properties. These properties are the ones related to each individual diagram and the ones associated with pairs of diagrams. The later take into consideration the interdependencies between diagrams. The method also provides features that allow the suggestion of some design guidelines which may improve the design quality.

[pt] Vivemos hoje na era da Web 2.0, onde os navegadores executam interfaces gráficas cada vez mais ricas, permitindo que virtualmente todo tipo de aplicação possa explorar a ubiqüidade dos navegadores Web sem comprometer a experiência do usuário. Os modelos utilizados no desenvolvimento de software, além de mecanismos de abstração e documentação, sob o paradigma do Desenvolvimento Dirigido por Modelos, também são poderosas linguagens de especificação, que, aliadas a técnicas de transformação, podem automatizar a tarefa repetitiva de gerar código de infraestrutura. A proposta deste trabalho consiste em definir uma linguagem de descrição, em alto nível, do funcionamento das interfaces RIA (Rich Internet Application), um processador para esta descrição, capaz de gerar o código executável da interface, e a respectiva máquina de runtime para executar as interfaces geradas. Por dar suporte ao desenvolvimento Web baseado no método SHDM (Semantic Hypermedia Design Method), o ambiente de prototipação HyperDE foi escolhido como a plataforma-alvo para a geração de interfaces executáveis. O ambiente de modelagem e execução das interfaces RIA também introduz um protocolo assíncrono baseado em fila de mensagens como forma de implementar a comunicação entre as camadas de Modelo e Visão. Se a tecnologia Ajax permite a comunicação assíncrona entre cliente e servidor, de tal forma que diferentes componentes da interface possam ser atualizados de forma independente, as interações entre Visão e Modelo, quando mediadas por um sistema de fila de mensagens, tornam possível a atualização de interfaces com os resultados parciais do processamento de uma requisição. / [en] In this Web 2.0 era, the browsers perform ever-richer graphical interfaces. Today, virtually every type of application can benefit from the ubiquity of Web browsers without compromising the user experience. Under the Model-Driven Development paradigm, models represent more than abstraction and documentation tools; they can also perform as powerful specification languages. When transformation rules are applied to these models, this can automate the repetitive task of generating infrastructure code. This work proposes an abstract RIA interface description language and a whole software environment that can make it possible to the application designer to automatically generate an executable interface from an abstract description. Being the Semantic Hypermedia Design Method (SHDM) development environment, the HyperDE framework became the target platform for the RIA interface code generation. Our solution also introduces a message queue-based protocol as a way to implement asynchronous communication between Model and View. It will make it possible to update the interface with the partial results of a request processing and, therefore, improve the user experience, enhancing what Ajax technology has accomplished so far.