La variación semántica en el marco de la Lingüística Cognitiva: un estudio diacrónico del verbo pisar

Este trabajo trata cuestiones teóricas y descriptivas relacionadas con el análisis de la semántica histórica según los postulados de la Lingüística Cognitiva. La primera parte del trabajo contiene un breve recorrido descriptivo de los marcos teóricos más significativos que dicha perspectiva lingüística sostiene para el análisis del cambio semasiológico. A continuación, de forma más específica, se aplican los postulados teóricos de la semántica cognitiva diacrónica al análisis semántico del verbo pisar. El presente trabajo de fin de grado da muestra de la posibilidad de aplicar los axiomas teóricos de esta perspectiva lingüística para dar luz a los cambios semánticos que a lo largo de la historia de su uso presenta el verbo polisémico pisar.

Mecanización de semántica de lenguajes de programación: teoría, implementación y desarrollo.

El presente proyecto se enmarca en el área de métodos formales para computación; el objetivo de los métodos formales es asegurar, a través de herramientas lógicas y matemáticas, que sistemas computacionales satisfacen ciertas propiedades. El campo de semántica de lenguajes de programación trata justamente de construir modelos matemáticos que den cuenta de las diferentes características de cada lenguaje (estado mutable, mecanismos de paso de parámetros, órdenes de ejecución, etc.); permitiendo razonar de una manera abstracta, en vez de lidiar con las peculiaridades de implementaciones o las vaguezas de descripciones informales. Como las pruebas formales de corrección son demasiado intrincadas, es muy conveniente realizar estos desarrollos teóricos con la ayuda de asistentes de prueba. Este proceso de formalizar y corrobar aspectos semánticos a través de un asistente se denomina mecanización de semántica. Este proyecto – articulado en tres líneas: semántica de teoría de tipos, implementación de un lenguaje con tipos dependientes y semántica de lenguajes imperativos con alto orden - se propone realizar avances en el estudio semántico de lenguajes de programación, mecanizar dichos resultados, e implementar un lenguaje con tipos dependientes con la intención de que se convierta, en un mediano plazo, en un asistente de pruebas. En la línea de semántica de teoría de tipos los objetivos son: (a) extender el método de normalización por evaluación para construcciones no contempladas aun en la literatura, (b) probar la adecuación de la implementación en Haskell de dicho método de normalización, y (c) construir nuevos modelos categóricos de teoría de tipos. El objetivo de la segunda línea es el diseño e implementación de un lenguaje con tipos dependientes con la intención de que el mismo se convierta en un asistente de pruebas. Una novedad de esta implementación es que el algoritmo de chequeo de tipos es correcto y completo respecto al sistema formal, gracias a resultados ya obtenidos; además la implementación en Haskell del algoritmo de normalización (fundamental para el type-checking) también tendrá su prueba de corrección. El foco de la tercera línea está en el estudio de lenguajes de programación que combinan aspectos imperativos (estado mutable) con características de lenguajes funcionales (procedimientos y funciones). Por un lado se avanzará en la mecanización de pruebas de corrección de compiladores para lenguajes Algollike. El segundo aspecto de esta línea será la definición de semánticas operacional y denotacional del lenguaje de programación Lua y la posterior caracterización del mismo a partir de ellas. Para lograr dichos objetivos hemos dividido las tareas en actividades con metas graduales y que constituyen en sí mismas aportes al estado del arte de cada una de las líneas. La importancia académica de este proyecto radica en los avances teóricos que se propone en la línea de semántica de teoría de tipos, en las contribución para la construcción de pruebas mecanizadas de corrección de compiladores, en el aporte que constituye la definición de una semántica formal para el lenguaje Lua, y en el desarrollo de un lenguaje con tipos dependientes cuyos algoritmos más importantes están respaldados por pruebas de corrección. Además, a nivel local, este proyecto permitirá incorporar cuatro integrantes al grupo de “Semántica de la programación”.

Modelos de regressão para identificação de marcadores preditivos de asma na descendência de mulheres com atopia

Trabalho de projecto de mestrado, Bioestatística, Universidade de Lisboa, Faculdade de Ciências, 2016

Radiology Service Bus: Interoperabilidade semântica para Radiologia

A integração de sistemas é um tema sempre actual na temática das tecnologias de informação. Desde há muito tempo que as grandes empresas identificaram a necessidade de integrar dados de diferentes sistemas, criando mais valor para os seus negócios. Alguns sectores da indústria estão claramente mais avançados do que outros no que diz respeito à integração de sistemas. Alguns factores, como a concorrência e competitividade mais agressiva em alguns mercados, foram os catalisadores desses avanços tecnológicos. A indústria da saúde não foi, infelizmente, um dos sectores onde se registaram grandes avanços na integração de sistemas. Foi, no entanto, onde se registou uma explosão de normas e protocolos que suportam as diversas disciplinas da medicina, como por ex, a Radiologia. Essas normas e protocolos permitiram dotar a medicina de meios mais rigorosos de produzir diagnósticos e encontrar curas para as mais diversas patologias. Existem muitos produtos que adoptam estas normas. As organizações foram, progressivamente, adquirindo esses produtos mas sem grande preocupação da eventual necessidade da integração. A disciplina da Radiologia é uma das disciplinas onde se verifica, ainda hoje, uma enorme diversidade de equipamentos e sistemas de informação mas onde se encontra desafios consideráveis no que diz respeito à integração. Foram esses desafios que despoletaram o interesse de investigação e cujos resultados se partilham nesta dissertação.

El alma de las palabras : diseño de semántica general.

"Bibliografía" : p. [7]-9.

Sermaõ de acçaõ de graças pelo feliz regresso a este reino, e exaltaçaõ ao throno de sua magestade el rei D. Miguel I. nosso senhor, prégado na Real Basilica de Mafra, no dia 6 de julho de 1828, estando presente o mesmo augusto senhor, e suas altezas as serenissimas senhoras infantas.

Mode of access: Internet.

Oração gratulatoria recitada na sé cathedral de Coimbra em a solemnidade, que fizerão celebrar os nobres academicos realistas pelo feliz regresso de sua magestade o muito alto e poderoso senhor D. Miguel I, etc.

Mode of access: Internet.

Causación y ergatividad en la semántica relacional

En el marco de la gramática contrastiva entre inglés y castellano, asumimos la perspectiva generativista, según la cual la sintaxis humana resulta de procesos derivacionales que combinan, por medio de mecanismos innatos, elementos capaces de codificar significados primitivos. Trabajamos con datos, ya sea reales o inventados, que ilustran los distintos tipos de oraciones ?gramaticales? posibles en una lengua natural. Nos centramos en la noción de ?ergatividad?, utilizada por distintas teorías para explicar fenómenos sintácticos y semánticos no siempre coincidentes. Desde el Funcionalismo/Cognitivismo norteamericano, Scott DeLancey (2001) compara distintas lenguas y distingue morfológicamente los sujetos ?agentivos? en estructuras causadas de los sujetos ?afectados? en estructuras no causadas. Según la Lingüística Sistémica Funcional (Halliday 1985, 2004), la ergatividad abarca, no sólo la presencia o ausencia de Causa en un proceso particular, sino también la relación causal que vincula distintos procesos entre sí. El esquema ergativo de Halliday incluye, además de pares constituidos por eventos de cambio de estado no causados y de causa externa, eventos inergativos de causa externa, y eventos transitivos instigados por otro proceso, expresado lingüísticamente o bien inferido. Desde la perspectiva de la Semántica Relacional (Mateu, 2002), reducimos el número de ?constructos primitivos? disponibles de tres a dos. Consideramos dos alternancias: la ergativo-transitiva y la causa interna/externa con inergativos. No vinculamos ni sintáctica ni derivacionalmente las construcciones transitivas con los eventos inferidos que las instigan. Justificamos la relación derivacional que vincula las construcciones pasivas estáticas con las construcciones ergativas de verbos naturalmente alternantes, por un lado, y, con las construcciones transitivas de verbos de ?locatum? y de inergativos, por el otro. Reanalizamos, respecto de la bibliografía canónica, la naturaleza del clítico ?se? en las construcciones ergativas españolas. Este análisis orienta de manera teórica el abordaje de las construcciones pertinentes, y ofrece equivalencias posibles que pueden resultar útiles para la traducción

Más Impersonales que Pasivas : Un estudio sobre las construcciones pasivas con se e impersonales con se desde el Programa Minimalista y la Semántica Relacional

En el presente trabajo, rebatimos la clásica distinción entre oraciones pasivas con SE e impersonales con SE . Abordamos el análisis de ambas construcciones desde la perspectiva del Programa Minimalista (Chomsky 1995, 2001, 2005) y de la Semántica Relacional (Mateu i Fontanals 2002). Presentamos evidencia semántica y sintáctica con el fin de demostrar que las oraciones pasivas con SE comparten, con las impersonales transitivas con SE , una misma estructura semántico-relacional. Por hipótesis, las pasivas con SE son un subtipo de las impersonales con SE , ya que ambas proyectan, en su constructo semántico relacional, un sujeto indefinido y genérico, invariablemente materializado por un pronombre nulo (pro), cuyos rasgos de persona y número concuerdan con la flexión verbal. Por el contrario, las pasivas morfológicas o perifrásticas no proyectan un sujeto de estas características. Aunque estas construcciones comparten una misma estructura semántico-relacional con las pasivas con SE , las primeras, a diferencia de la segundas, contienen un argumento externo destematizado interpretable como una entidad definida y no genérica, lo cual justifica en términos morfosintácticos la concordancia que establece la flexión verbal con el argumento interno. Postulamos que, mientras las oraciones pasivas con SE deberían ?en términos estrictamente gramaticales? presentar concordancia verbal con su sujeto nulo pro, la concordancia superficial que se establece con el sintagma nominal en posición de objeto directo sería consecuencia de ciertos fenómenos sintácticos y/o pragmáticos. Observamos, además, que esta concordancia no podría darse bajo ciertas condiciones morfosintácticas

Causación y ergatividad en la semántica relacional

En el marco de la gramática contrastiva entre inglés y castellano, asumimos la perspectiva generativista, según la cual la sintaxis humana resulta de procesos derivacionales que combinan, por medio de mecanismos innatos, elementos capaces de codificar significados primitivos. Trabajamos con datos, ya sea reales o inventados, que ilustran los distintos tipos de oraciones ?gramaticales? posibles en una lengua natural. Nos centramos en la noción de ?ergatividad?, utilizada por distintas teorías para explicar fenómenos sintácticos y semánticos no siempre coincidentes. Desde el Funcionalismo/Cognitivismo norteamericano, Scott DeLancey (2001) compara distintas lenguas y distingue morfológicamente los sujetos ?agentivos? en estructuras causadas de los sujetos ?afectados? en estructuras no causadas. Según la Lingüística Sistémica Funcional (Halliday 1985, 2004), la ergatividad abarca, no sólo la presencia o ausencia de Causa en un proceso particular, sino también la relación causal que vincula distintos procesos entre sí. El esquema ergativo de Halliday incluye, además de pares constituidos por eventos de cambio de estado no causados y de causa externa, eventos inergativos de causa externa, y eventos transitivos instigados por otro proceso, expresado lingüísticamente o bien inferido. Desde la perspectiva de la Semántica Relacional (Mateu, 2002), reducimos el número de ?constructos primitivos? disponibles de tres a dos. Consideramos dos alternancias: la ergativo-transitiva y la causa interna/externa con inergativos. No vinculamos ni sintáctica ni derivacionalmente las construcciones transitivas con los eventos inferidos que las instigan. Justificamos la relación derivacional que vincula las construcciones pasivas estáticas con las construcciones ergativas de verbos naturalmente alternantes, por un lado, y, con las construcciones transitivas de verbos de ?locatum? y de inergativos, por el otro. Reanalizamos, respecto de la bibliografía canónica, la naturaleza del clítico ?se? en las construcciones ergativas españolas. Este análisis orienta de manera teórica el abordaje de las construcciones pertinentes, y ofrece equivalencias posibles que pueden resultar útiles para la traducción

Más Impersonales que Pasivas : Un estudio sobre las construcciones pasivas con se e impersonales con se desde el Programa Minimalista y la Semántica Relacional

En el presente trabajo, rebatimos la clásica distinción entre oraciones pasivas con SE e impersonales con SE . Abordamos el análisis de ambas construcciones desde la perspectiva del Programa Minimalista (Chomsky 1995, 2001, 2005) y de la Semántica Relacional (Mateu i Fontanals 2002). Presentamos evidencia semántica y sintáctica con el fin de demostrar que las oraciones pasivas con SE comparten, con las impersonales transitivas con SE , una misma estructura semántico-relacional. Por hipótesis, las pasivas con SE son un subtipo de las impersonales con SE , ya que ambas proyectan, en su constructo semántico relacional, un sujeto indefinido y genérico, invariablemente materializado por un pronombre nulo (pro), cuyos rasgos de persona y número concuerdan con la flexión verbal. Por el contrario, las pasivas morfológicas o perifrásticas no proyectan un sujeto de estas características. Aunque estas construcciones comparten una misma estructura semántico-relacional con las pasivas con SE , las primeras, a diferencia de la segundas, contienen un argumento externo destematizado interpretable como una entidad definida y no genérica, lo cual justifica en términos morfosintácticos la concordancia que establece la flexión verbal con el argumento interno. Postulamos que, mientras las oraciones pasivas con SE deberían ?en términos estrictamente gramaticales? presentar concordancia verbal con su sujeto nulo pro, la concordancia superficial que se establece con el sintagma nominal en posición de objeto directo sería consecuencia de ciertos fenómenos sintácticos y/o pragmáticos. Observamos, además, que esta concordancia no podría darse bajo ciertas condiciones morfosintácticas

Causación y ergatividad en la semántica relacional

En el marco de la gramática contrastiva entre inglés y castellano, asumimos la perspectiva generativista, según la cual la sintaxis humana resulta de procesos derivacionales que combinan, por medio de mecanismos innatos, elementos capaces de codificar significados primitivos. Trabajamos con datos, ya sea reales o inventados, que ilustran los distintos tipos de oraciones ?gramaticales? posibles en una lengua natural. Nos centramos en la noción de ?ergatividad?, utilizada por distintas teorías para explicar fenómenos sintácticos y semánticos no siempre coincidentes. Desde el Funcionalismo/Cognitivismo norteamericano, Scott DeLancey (2001) compara distintas lenguas y distingue morfológicamente los sujetos ?agentivos? en estructuras causadas de los sujetos ?afectados? en estructuras no causadas. Según la Lingüística Sistémica Funcional (Halliday 1985, 2004), la ergatividad abarca, no sólo la presencia o ausencia de Causa en un proceso particular, sino también la relación causal que vincula distintos procesos entre sí. El esquema ergativo de Halliday incluye, además de pares constituidos por eventos de cambio de estado no causados y de causa externa, eventos inergativos de causa externa, y eventos transitivos instigados por otro proceso, expresado lingüísticamente o bien inferido. Desde la perspectiva de la Semántica Relacional (Mateu, 2002), reducimos el número de ?constructos primitivos? disponibles de tres a dos. Consideramos dos alternancias: la ergativo-transitiva y la causa interna/externa con inergativos. No vinculamos ni sintáctica ni derivacionalmente las construcciones transitivas con los eventos inferidos que las instigan. Justificamos la relación derivacional que vincula las construcciones pasivas estáticas con las construcciones ergativas de verbos naturalmente alternantes, por un lado, y, con las construcciones transitivas de verbos de ?locatum? y de inergativos, por el otro. Reanalizamos, respecto de la bibliografía canónica, la naturaleza del clítico ?se? en las construcciones ergativas españolas. Este análisis orienta de manera teórica el abordaje de las construcciones pertinentes, y ofrece equivalencias posibles que pueden resultar útiles para la traducción

Más Impersonales que Pasivas : Un estudio sobre las construcciones pasivas con se e impersonales con se desde el Programa Minimalista y la Semántica Relacional

En el presente trabajo, rebatimos la clásica distinción entre oraciones pasivas con SE e impersonales con SE . Abordamos el análisis de ambas construcciones desde la perspectiva del Programa Minimalista (Chomsky 1995, 2001, 2005) y de la Semántica Relacional (Mateu i Fontanals 2002). Presentamos evidencia semántica y sintáctica con el fin de demostrar que las oraciones pasivas con SE comparten, con las impersonales transitivas con SE , una misma estructura semántico-relacional. Por hipótesis, las pasivas con SE son un subtipo de las impersonales con SE , ya que ambas proyectan, en su constructo semántico relacional, un sujeto indefinido y genérico, invariablemente materializado por un pronombre nulo (pro), cuyos rasgos de persona y número concuerdan con la flexión verbal. Por el contrario, las pasivas morfológicas o perifrásticas no proyectan un sujeto de estas características. Aunque estas construcciones comparten una misma estructura semántico-relacional con las pasivas con SE , las primeras, a diferencia de la segundas, contienen un argumento externo destematizado interpretable como una entidad definida y no genérica, lo cual justifica en términos morfosintácticos la concordancia que establece la flexión verbal con el argumento interno. Postulamos que, mientras las oraciones pasivas con SE deberían ?en términos estrictamente gramaticales? presentar concordancia verbal con su sujeto nulo pro, la concordancia superficial que se establece con el sintagma nominal en posición de objeto directo sería consecuencia de ciertos fenómenos sintácticos y/o pragmáticos. Observamos, además, que esta concordancia no podría darse bajo ciertas condiciones morfosintácticas

Modelagem semântica de processos industriais com aplicações

The main hypothesis of this thesis is that the deve lopment of industrial automation applications efficiently, you need a good structuri ng of data to be handled. Then, with the aim of structuring knowledge involved in the contex t of industrial processes, this thesis proposes an ontology called OntoAuto that conceptua lly models the elements involved in the description of industrial processes. To validat e the proposed ontology, several applica- tions are presented. In the first, two typical indu strial processes are modeled conceptually: treatment unit DEA (Diethanolamine) and kiln. In th e second application, the ontology is used to perform a semantic filtering alarms, which together with the analysis of correla- tions, provides temporal relationships between alar ms from an industrial process. In the third application, the ontology was used for modeli ng and analysis of construction cost and operation processes. In the fourth application, the ontology is adopted to analyze the reliability and availability of an industrial plant . Both for the application as it involves costs for the area of reliability, it was necessary to create new ontologies, and OntoE- con OntoConf, respectivamentem, importing the knowl edge represented in OntoAuto but adding specific information. The main conclusions of the thesis has been that on tology approaches are well suited for structuring the knowledge of industrial process es and based on them, you can develop various advanced applications in industrial automat ion.

Cloud query manager: uso de web semântica para evitar o problema de aprisionamento em IaaS

Cloud computing can be defined as a distributed computational model by through resources (hardware, storage, development platforms and communication) are shared, as paid services accessible with minimal management effort and interaction. A great benefit of this model is to enable the use of various providers (e.g a multi-cloud architecture) to compose a set of services in order to obtain an optimal configuration for performance and cost. However, the multi-cloud use is precluded by the problem of cloud lock-in. The cloud lock-in is the dependency between an application and a cloud platform. It is commonly addressed by three strategies: (i) use of intermediate layer that stands to consumers of cloud services and the provider, (ii) use of standardized interfaces to access the cloud, or (iii) use of models with open specifications. This paper outlines an approach to evaluate these strategies. This approach was performed and it was found that despite the advances made by these strategies, none of them actually solves the problem of lock-in cloud. In this sense, this work proposes the use of Semantic Web to avoid cloud lock-in, where RDF models are used to specify the features of a cloud, which are managed by SPARQL queries. In this direction, this work: (i) presents an evaluation model that quantifies the problem of cloud lock-in, (ii) evaluates the cloud lock-in from three multi-cloud solutions and three cloud platforms, (iii) proposes using RDF and SPARQL on management of cloud resources, (iv) presents the cloud Query Manager (CQM), an SPARQL server that implements the proposal, and (v) comparing three multi-cloud solutions in relation to CQM on the response time and the effectiveness in the resolution of cloud lock-in.