Informe de Seminario para optar al grado de Licenciado en Filosofía / Autor no autoriza el acceso a texto completo de su documento.

Investiga se o neoconstitucionalismo, teoria jurídica advinda do constitucionalismo do pós segunda guerra, cujo marco filosófico é o pós positivismo, enquadra-se no conceito restrito de ideologia, desde a perspectiva de Karl Marx e Gyorgy Lukács. Para tanto, parte do entendimento da categoria ideologia sob um prisma ontológico, ou seja, a ideologia estará alicerçada na realidade material da sociedade, logo as inversões ideológicas, necessariamente corresponderão as inversões materiais da sociedade, como ocorre no capitalismo. Neste sentido, a pesquisa pretende primeiramente expor e analisar o conceito de ideologia trazido por Karl Marx e Gyorgy Lukács. Em um segundo momento, buscará a análise dos aspectos doutrinários referentes ao neoconstitucionalismo, desde o sentido de seu marco histórico e teórico, mas também ressaltando os paradigmas filosóficos e políticos. Finalmente, propõe-se a analisar o neoconstitucionalismo enquanto ideologia, desde a análise ontológica do direito. / Investigates if Neoconstitutionalism, the legal theory originated from Post Second World War Constitutionalism whose philosophical framework is the post positivism, falls within the restricted concept of ideology from the perspective of Karl Marx and Gyorgy Lukacs. The perspective of analysis parts from the understanding of ideology in an ontological perspective, therefore considering it as rooted in material reality of society, as consequence of what ideological inversions will be interpreted as necessarily corresponding to material inversions in society, in the way it occurs in capitalism. In this sense, the research aims first to expose and analyze the concept of ideology brought by Karl Marx and Gyorgy Lukacs. The second effort will be directed to the analysis of doctrinal aspects of Neoconstitutionalism mainly in its historical and theoretical framework, but also emphasizing its philosophical and political paradigms. Finally, the ontological critic of law will be employed to analyze Neoconstitutionalism as ideology.

El presente texto busca desarrollar y explicitar el concepto de filosofía que Martin Heidegger tenía desde la segunda mitad de la década de 1920, es decir, en los años que giran en torno a Ser y tiempo. Se toman como ejes los cursos dictados en esos años en la Universidad de Marburgo. La distinción entre ciencias positivas y ciencia crítica, así como la distinción entre filosofía científica y filosofía como concepción del mundo, tendrán por objetivo precisar qué es lo propio del quehacer filosófico: la diferencia ontológica. Tematizar el ser es lo propio de la filosofía para Heidegger, lo cual implica considerar que la filosofía en sentido pleno y eminente es ontología. Su relación con el ente no es positiva, pues se da en función al problema del sentido del ser. Todo ello nos permitirá tener una mejor comprensión de lo que Heidegger entendía por quehacer filosófico (ontología fenomenológica) y poder, así, estar en una mejor posición para comprender aspectos fundamentales del proyecto de la ontología fundamental desarrollado por Heidegger en Ser y tiempo.

El objetivo principal de esta tesis es estudiar la retroalimentación entre los sistemas de representación visual de conocimiento y los formalismos lógicos, y definir la teoría subyacente a esta interacción, mediante la manipulación de ontologías gráficas basadas en Lógicas Descriptivas (DLs) y las características principales de los ambientes de ingeniería ontológica que la soporten. Las tecnologías semánticas son cada vez más preponderantes en la integración de datos e interoperabilidad de sistemas de información y, en este contexto, las ontologías son centrales para la definición de vocabularios compartidos y modelos conceptuales. De esta manera, proveer ambientes para el desarrollo de ontologías de calidad es esencial, potenciando la integración del conocimiento de los expertos de dominio con la semántica formal de los lenguajes de ontologías. En esta Tesis se presentan la formalización de los sistemas de manipulación de ontologías gráficas, a los cuales notamos como GOMS, y de un proceso de visualización de conocimiento basado en ontologías, que articula esta teoría junto con aspectos de visualización en el contexto de herramientas gráficas. A partir de los resultados obtenidos, se diseño y documentó una arquitectura de referencia web y se implementó una herramienta concreta, llamada crowd, para tareas de ingeniería ontológica, por medio de representaciones gráficas de dominios y sus reconstrucciones en DL. Esta infraestructura ha sido concebida como un sistema visual integrando fuertemente los modelos gráficos con sus representaciones lógicas, interfaces con multiples razonadores lógicos para validarlos y cumplimiento con estándares relevantes de la W3C. Asimismo, se incorporó la gestión de espacios de nombres para obtener modelos ontológicos listos para documentar y publicar. Evaluaciones basadas en experiencias de usuarios y en la formalización de un sistema para visualización de contenido semántico, son también presentadas y han sido ejecutadas sobre la implementación de crowd, actualmente en linea en http://crowd.fi.uncoma.edu.ar. / The aim of this thesis is to study how both knowledge representation visual systems and logic-based formalisms feed each other, theorise about this interaction through manipulating graphical ontologies based on Description Logics (DLs), and thus de ning the main requirements of ontology engineering environments to support them. Semantics technologies are increasingly important in data integration and information system interoperability. In this sense, ontologies are key for shared vocabularies and conceptual models. Thus, providing environments for high quality ontologies becomes an essential issue, empowering the integration of domain experts' knowledge with the semantics of ontology languages. In this thesis, we formalise a system for manipulating graphical ontologies, named as GOMS, and an ontology-based knowledge visualisation process, which orchestate the theoretical and visualisation aspects in the context of visual tools. From these results, we have designed and documented a reference web architecture. Moreover, we have implemented a concrete tool, named crowd, for ontology engineering tasks based on visual representations of domains and their logic-based reconstructions. This infrastructure has been conceived as a visual system intragrating closely visual models and their logical representations, interfacing with diverse reasoning tools to validate them and compliancing to all relevant W3C recommendations. The tool also support namespaces de nition in order to get ontologies ready to be documented and published. Evaluations based on user experiences and the formalisation as a system for visualising semantic content are also presented, which have been run on the current implementation of crowd, hosted at http://crowd.fi.uncoma. edu.ar.

Qual a idéia de história anunciada nos últimos textos de Merleau-Ponty? Que impasses ela procura resolver? Pareceu-nos que responder a essas questões exigia, de início, reavaliar os limites da filosofia da história presente no existencialismo de ju-ventude de Merleau-Ponty, ainda preso aos marcos de uma certa filosofia da consciên-cia. A partir da análise desses limites, procuramos reconstruir o trajeto que levou Merle-au-Ponty a reescrever seu conceito de história. Tentamos fazê-lo em dois momentos. No primeiro, trata-se de recompor o modo pelo qual, nos anos 50, Merleau-Ponty pensará a racionalidade do mundo da cultura, através das idéias de instituição de sentido e de estrutura diacrítica. A ela corresponderá uma idéia do sentido da história (pública, cultural) como núcleos inteligíveis ou afinidades eletivas. No segundo momento, será preciso perguntar em qual concepção de experiência podem se estribar aquelas no-vas análises acerca do mundo cultural. No lógos silencioso operante no mundo sensível, descobriremos a produtividade ontológica de uma Natureza já significante antes dos atos da consciência, o que retira da produtividade humana o papel de protagonista que lhe era dado nos textos de juventude. Tentaremos, por fim, esboçar que contornos isso acarretaria para idéia de uma história ontológica, anunciada pelos tetos finais de Mer-leau-Ponty. / Which idea of history is announced in Merleau-Pontys last writings? Which difficulties it intends to solve? In order to answer those questions, it seemed necessary to reexamine the limits of the philosophy of history characteristic of the philosophers early existentialism, still attached to a certain philosophy of consciousness. Once those limits were established, we tried to retrace the path that led Merleau-Ponty in rewrit-ing his concept of history. We tried to do it in two moments. Firstly, we analyzed the way in which Merleau-Ponty, in the early fifties, understood the cultural worlds ration-ality through the concepts of institution of meaning and diacritical structure. This goes along with an idea of history that is centered on the notion of elective affinities. Secondly, we tried to establish the concept of experience presupposed by these new analysis of the cultural world. In the sensible worlds silent lógos, Nature proved itself to be already meaningful independently of the acts of consciousness. That alters the role attributed to human productivity in Merleau-Pontys earlier texts. Finally we tried to comment on the notion of an ontological history, which can be found in the later texts of Merleau-Ponty.

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2012 / Bibliografia: f. 123-125 / Diante do grande número de pessoas que se sentem perdidas e sem rumo na vida, mesmo gozando do acúmulo de bens materiais, esta pesquisa tem por objetivo apresentar um antídoto que devolve a alegria de viver e o sentido da vida no encontro com Jesus Cristo / With the large number of people who feel lost and without direction in life, even enjoying the accumulation of material goods, this research aims to present an antidote that returns the joy of life and sense in the encounter with Jesus Christ. Furthermore

Qual a idéia de história anunciada nos últimos textos de Merleau-Ponty? Que impasses ela procura resolver? Pareceu-nos que responder a essas questões exigia, de início, reavaliar os limites da filosofia da história presente no existencialismo de ju-ventude de Merleau-Ponty, ainda preso aos marcos de uma certa filosofia da consciên-cia. A partir da análise desses limites, procuramos reconstruir o trajeto que levou Merle-au-Ponty a reescrever seu conceito de história. Tentamos fazê-lo em dois momentos. No primeiro, trata-se de recompor o modo pelo qual, nos anos 50, Merleau-Ponty pensará a racionalidade do mundo da cultura, através das idéias de instituição de sentido e de estrutura diacrítica. A ela corresponderá uma idéia do sentido da história (pública, cultural) como núcleos inteligíveis ou afinidades eletivas. No segundo momento, será preciso perguntar em qual concepção de experiência podem se estribar aquelas no-vas análises acerca do mundo cultural. No lógos silencioso operante no mundo sensível, descobriremos a produtividade ontológica de uma Natureza já significante antes dos atos da consciência, o que retira da produtividade humana o papel de protagonista que lhe era dado nos textos de juventude. Tentaremos, por fim, esboçar que contornos isso acarretaria para idéia de uma história ontológica, anunciada pelos tetos finais de Mer-leau-Ponty. / Which idea of history is announced in Merleau-Pontys last writings? Which difficulties it intends to solve? In order to answer those questions, it seemed necessary to reexamine the limits of the philosophy of history characteristic of the philosophers early existentialism, still attached to a certain philosophy of consciousness. Once those limits were established, we tried to retrace the path that led Merleau-Ponty in rewrit-ing his concept of history. We tried to do it in two moments. Firstly, we analyzed the way in which Merleau-Ponty, in the early fifties, understood the cultural worlds ration-ality through the concepts of institution of meaning and diacritical structure. This goes along with an idea of history that is centered on the notion of elective affinities. Secondly, we tried to establish the concept of experience presupposed by these new analysis of the cultural world. In the sensible worlds silent lógos, Nature proved itself to be already meaningful independently of the acts of consciousness. That alters the role attributed to human productivity in Merleau-Pontys earlier texts. Finally we tried to comment on the notion of an ontological history, which can be found in the later texts of Merleau-Ponty.

Submitted by isabela.moljf@hotmail.com (isabela.moljf@hotmail.com) on 2017-05-04T15:40:50Z No. of bitstreams: 1 danielecristinapalazzi.pdf: 10986138 bytes, checksum: 0dc14af800b34e649fec5c397c87cc25 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-05-17T13:31:34Z (GMT) No. of bitstreams: 1 danielecristinapalazzi.pdf: 10986138 bytes, checksum: 0dc14af800b34e649fec5c397c87cc25 (MD5) / Made available in DSpace on 2017-05-17T13:31:34Z (GMT). No. of bitstreams: 1 danielecristinapalazzi.pdf: 10986138 bytes, checksum: 0dc14af800b34e649fec5c397c87cc25 (MD5) Previous issue date: 2010-02-25 / FAPEMIG - Fundação de Amparo à Pesquisa do Estado de Minas Gerais / A utilização de ontologias em sistemas computacionais tem se tornando cada vez mais importante e difundida. Entretanto, por ser uma área em constante evolução, não existem modelos de processo de Engenharia Ontológica consolidados para a construção de uma ontologia. O uso de um processo de desenvolvimento torna esta tarefa mais impessoal, menos complexa e mais sistemática. A abordagem QDAontology - Quality Driven Approach for e-Science Ontologies, proposta nesta dissertação, foi elaborada para projetos de desenvolvimento de ontologias para e-Science. Nestas aplicações, as ontologias, em geral, se caracterizam por serem desenvolvidas por equipes multidisciplinares, onde os conteudistas pertencem à área do domínio da aplicação e os construtores são engenheiros ontológicos oriundos da Ciência da Computação. A abordagem proposta é composta por etapas, atividades, participantes, artefatos e características de qualidade. São seis etapas: Especificação, Conceitualização, Formalização, Implementação, Integração e Evolução. Cada etapa é constituída de atividades, em cada atividade são gerados artefatos e os participantes estão relacionados com as etapas e atividades do processo. A partir da evolução dos artefatos ocorre o desenvolvimento da ontologia. Com a implementação da ontologia a mesma deve ser integrada a outras ontologias, através de mecanismos de correspondência ontológica. O processo de desenvolvimento adotado é centrado em um modelo evolutivo e, portanto, os ciclos podem se repetir a cada evolução da ontologia. Para validar a proposta foi elaborado um estudo de caso no domínio biológico. O estudo constou de dois ciclos: no primeiro foi feita a reengenharia da ontologia CELO e no segundo sua expansão, no subdomínio Doenças Humanas. Todo o processo de modelagem do conhecimento e atuação da equipe multidisciplinar está detalhado e contou com o apoio de especialistas do domínio da Biologia. Para a correspondência ontológica foi adotado o mecanismo de alinhamento e construída a ferramenta A3O, que gera ligações e termos equivalentes entre ontologias descritas em OBO e OWL. / The use of ontologies in computational systems has become more important and spread out. However, as an area in constant evolution, it does not exist yet a consolidated process model of Ontological Engineering for ontology construction. The use of a development process makes this task more impersonal, less complex and more systematic. The QDAontology - Quality Driven Approach for e-Science Ontologies, proposed in this research, was developed for e-Science ontologies. In this kind of applications, ontologies are, in general, developed by multidisciplinary teams, where knowledge experts belong to the domain area and developers are ontological engineers from the Computer Science. This approach is composed of stages, activities, participants, artifacts and quality characteristics. There are six stages: Specification, Conceptualization, Formalization, Implementation, Integration and Evolution. Each stage is composed of activities, in each activity artifacts are generated and participants are related to process stages and activities. Based on the artifact evolution, the development of the ontology occurs. At implementation stage, the ontology must be then integrated to other ontologies through mechanisms of ontological correspondence. The development process is centered in an evolutionary model, therefore, the cycles can be repeated at each evolution of the ontology. To validate the proposal, a case study in the biological domain was done. The case study had two cycles: during the first one the reengineering process of the CELO ontology was made and in the latter the ontology was expanded with the Human Disease sub domain. All the knowledge modeling process and the multidisciplinary team tasks are detailed and they were supported by experts of the Biology domain. For the ontological correspondence, the alignment mechanism was adopted and the A3O tool was built to generate the equivalent links and terms between ontologies described in OBO and OWL

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-10-05T17:53:09Z No. of bitstreams: 1 marciomarcelosabinodasilva.pdf: 810051 bytes, checksum: 1d957c56dac4d00d966bb86feb839488 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-10-09T19:59:12Z (GMT) No. of bitstreams: 1 marciomarcelosabinodasilva.pdf: 810051 bytes, checksum: 1d957c56dac4d00d966bb86feb839488 (MD5) / Made available in DSpace on 2017-10-09T19:59:12Z (GMT). No. of bitstreams: 1 marciomarcelosabinodasilva.pdf: 810051 bytes, checksum: 1d957c56dac4d00d966bb86feb839488 (MD5) Previous issue date: 2017-03-28 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Este trabalho, A relação entre filosofia e teologia na conferência Fenomenologia e teologia de Martin Heidegger, explora a concepção que Heidegger estabelece sobre a relação entre filosofia e teologia pelo viés da cientificidade. A partir de uma pesquisa teórico-bibliográfica, que privilegia especialmente algumas obras heideggerianas da década de 1920, a pesquisa mostra a compreensão de Heidegger sobre a relação entre filosofia, enquanto ciência ontológica, e teologia, enquanto ciência positiva da fé. Esta – e não Deus – é o “objeto” de estudo da teologia. A pesquisa é dividida em três momentos: o primeiro apresenta uma contextualização da diferença ontológica como pano de fundo para a relação entre as duas ciências; o segundo apresenta uma análise da conferência que ressalta seus pontos de distinção e, a partir daí, o terceiro momento demonstra que o modo como o texto foi redigido por Heidegger visa assinalar as diferenças entre filosofia e teologia. Neste caso, o intuito é evitar que a relação entre as duas ciências continue reproduzindo o esquecimento da diferença ontológica. / This work, The relation between Philosophy and Theology in the conference Phenomenology and Theology by Martin Heidegger, aims to demonstrate Heidegger’s conception that stablishes the connection between Philosophy and Theology utilizing scientific theories. Through a theoretical-bibliographical research that specifically privileges some of Heidegger’s works from the 1920s, this research shows Heidegger’s comprehension of the relation between Philosophy, as an ontological science, and Theology, as a positive science of the faith. This — not God — is Theology’s subject of study. The current research is divided into three moments: the first one represents a contextualization of the ontological difference as a backdrop for the relation between the sciences; the second one presents an analysis of the conference that highlights its distinctive points and, from then on, the third moment demonstrates that the way in which Heidegger wrote his text aims to mark the differences between Philosophy and Theology. In this case, the intention is to avoid that the relation between the two sciences continue to reproduce the forgetfulness of the ontological difference.

El razonamiento y cambio de bases de conocimiento o knowledge bases (KBs) por sobre las inconsistencias, es de extrema importancia en áreas como la medicina y el derecho. Esto es, razonar y provocar la evolucion del conocimiento sin necesidad de restaurar la consistencia, sino proveyendo una forma de tolerancia a ella. La argumentacion puede brindar la posibilidad de dar con ambos problemas. Primeramente, me-diante la construcción de un marco argumentativo o argumen-tation framework (AF) a partir de la KB inconsistente, pode-mos decidir si aceptar o rechazar una cierta conclusion o claim a través de la interacción entre argumentos y contra-argumentos. Segundo, mediante el manejo de la dinámica de argumentos del AF, podemos dar con la dinámica del conoci-miento de la KB inconsistente subyacente.Por un lado, propondremos una nueva familia de marcos argumentativos abstractos a los cuales referimos como generalizados, e identificamos como generalized abstract argumentation frameworks (GenAF), debido a su habilidad de adaptacion a diferentes lenguajes de representación. El objetivo es proveer un marco argumentativo, no completamente abstracto, para razonar por sobre las inconsistencias de KBs representadas a través de cualquier lenguaje que se sepa conforme algún fragmento de primer-orden. Las semánticas estándar de Dung son adaptadas para construir la maquinaria de razonamiento del GenAF. En lo que constituye un primer enfoque a revision de creencias en esta tesis, se propondrá un operador de debugging para la KB subyacente definido sobre las semán-ticas argumentativas para GenAFs como un tipo de consoli-dación: operación propuesta por Hansson para restaurar consistencia a KBs. Por ello, nos basaremos sobre sus postula-dos usuales para caracterizar axiomaticamente la operación de debugging propuesta, mostrando el correspondiente teorema de representación. Luego, proponemos la reificación del lenguaje abstracto para argumentos del GenAF al lenguaje básico de descripción ALC. Esto muestra la flexibilidad del formalismo presentado y una forma de aplicar argumentación a ontologías para razonar sobre las inconsistencias. Finalmen-te, la operación de debugging provee una herramienta para reparar inconsistencias y conceptos insatisfacibles, restau-rando consistencia-coherencia a las ontologías ALC. La dinámica de argumentos ha recientemente atraído atención y aunque algunos enfoques han sido propuestos, una axioma-tización completa dentro de la teoría de revisión de creen-cias constituyó un resultado pendiente hasta el momento. Una revision surge cuando deseamos que las semánticas argumentativas acepten un nuevo argumento. La teorıa del cambio argumentativo o Argument Theory Change (ATC) define operadores de revision que modifican un AF mediante el análisis de árboles de dialéctica argumentos como nodos y ataques como arcos como la semántica argumentativa adoptada. Presentaremos un simple enfoque a ATC basado en KBs proposicionales. Esto nos permite manejar el cambio de KBs inconsistentes basandonos en la teoría clásica de revi-sión de creencias, aunque al contrario de lo que ella indica, se evitará la restauración de consistencia de la KB a trabajar. Subsecuentemente, un conjunto de postulados de racionali-dad será adaptado a argumentación y finalmente, el modelo de cambio propuesto será relacionado a los postulados a través del correspondiente teorema de representación. Seguidamente, los resultados serán extendidos a description logics, para manejar el razonamiento y evolución ontológicos con tolerancia a inconsistencias. / Reasoning and change over inconsistent knowledge bases (KBs) is of utmost relevance in areas like medicine and law. Argumentation may bring the possibility to cope with both problems. Firstly, by constructing an argumentation frame-work (AF) from the inconsistent KB, we can decide whether to accept or reject a certain claim through the interplay among arguments and counterarguments. Secondly, by handling dynamics of arguments of the AF, we might deal with the dynamics of knowledge of the underlying inconsistent KB. On the one hand, we propose a new family of abstract argu-mentation frameworks which we refer as generalized (iden-tified through the acronym GenAF), due to its ability of adapting to different representation languages. The objective is to provide a not so, but still, abstract argumentation framework for reasoning over inconsistent knowledge bases (KBs) represented through any language known to conform to some first-order fragment. The well known Dungs standard semantics are adapted to construct the GenAFs reasoning machinery. Constituting the first approach to belief revision in this thesis work, we propose a debugging operator for the underlying KB defined upon the argumentation semantics for GenAFs, as a kind of belief revisions consolidation. A consolidation is a well known Hanssons operation for restoring consistency to KBs, therefore, we rely upon its usual postulates to axiomatically characterize the debugging operation proposed here, showing the corresponding representation theorem. Afterwards, we propose a reification of the GenAFs abstract language for arguments to the basic ALC description logic. This shows both the flexibility of the formalism presented, and a way to apply argumentation for reasoning over inconsistent ontologies, subject of utmost relevance in areas like medicine and law. Finally, the debugging operation provides a tool for debugging inconsistent ontologies and repairing unsatisfiable concepts, for restoring both consistency and coherency to ALC ontologies. Dynamics of arguments has recently attracted attention and although some approaches have been proposed, a full axiomatization within the theory of belief revision was still missing. A revision arises when we want the argumentation semantics to accept an argument. Argument Theory Change (ATC) encloses the revision operators that modify the AF by analyzing dialectical trees arguments as nodes and attacks as edges as the adopted argumentation semantics. We present a simple approach to ATC based on propositional KBs. This allows to manage change of incon-sistent KBs by relying upon classic belief revision, although contrary to it, consistency restoration of the KB is avoided. Subsequently, a set of rationality postulates adapted to argumentation is given, and finally, the proposed model of change is related to the postulates through the corresponding representation theorem. Afterwards, the results are extended to description logics, to handle ontology reasoning and evolution with tolerancy to inconsistency.