La Web Semántica Como Herramienta para el Apoyo a la Docencia

La web semántica consiste en un nuevo paradigma web para acceder, buscar, compartir y gestionar información a través de la combinación de tecnologías y de estructuras de gestión del conocimiento. El concepto de web semántica proporciona herramientas para el almacenamiento, intercambio y consulta de esta información mediante el desarrollo y la inclusión de metadatos y ontologías del cuerpo de conocimiento. La estructura de los datos que proporciona permite que sea consultada automáticamente por usuarios humanos o sistemas informáticos, mejorando su interoperabilidad. El desarrollo de la web semántica supone una evolución del desarrollo web en general hacia una web más inteligente o web 3.0. Este paradigma puede ser aprovechado en los procesos de docencia-aprendizaje para estructurar, almacenar y compartir los contenidos mediante sistemas automáticos de consultas alojados en web semánticas que tratan sobre los cuerpos de conocimiento de las materias. La disciplina informática es especialmente adecuada para este propósito debido a su complejidad y a la gran variedad de términos que maneja. Por otra parte, su desarrollo en continua evolución propicia la implantación de mecanismos automáticos de mantenimiento y de actualización de los nuevos contenidos.

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”.

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.

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.

Qualidade de vida na demência – adaptação transcultural dos questionários DEMQOL e DEMQOL-Proxy para a população portuguesa: equivalência semântica, conceptual e de conteúdo

Objetivo - Adaptar e realizar a transculturação dos questionários DEMQOL e DEMQOL-Proxy para a população portuguesa, construídas por Smith et al, em 2005, que pretendem colmatar as lacunas existentes aos dados relacionados com a qualidade de vida no que remete a esta em utentes com demência leve, moderada e severa. Metodologia – A metodologia inclui a parte de revisão da literatura (problemática em questão) e o processo de adaptação dos questionários. O processo implica tradução, retroversão, revisão e adaptação cultural à nossa cultura. Foram recolhidos alguns dados demográficos, com o intuito de melhor caracterização da população. Resultados – Os questionários DEMQOL e DEMQOL_Proxy versão portuguesa demostraram muito boa consistência interna α = 0,747 e 0,812, respetivamente. Apresentam excelente reprodutibilidade entre itens (ICC= 0,845 (-0,484 – 0,984; IC 95%) para o DEMQOL e 0,812 (0,636 – 0,928; IC 95%) para o DEMQOL-Proxy. Conclusões – Foi conseguida a equivalência semântica, conceptual e de conteúdo dos questionários que mostraram ser indicados para a população portuguesa, com bons indicadores em algumas das suas propriedades psicométricas, nomeadamente: consistência interna e reprodutibilidade entre itens.

De la conflictiva hermenéutica a la semántica del reconocimiento : Marco teórico de la práctica de los derechos humanos

La elaboración que Paul Ricoeur hiciera insistentemente para proponer una ética a la vez posible y justa tiene un rico desarrollo en la que cruza esas tesis con las de la identidad humana y las abre a preocupaciones presentes y conflictivas. El encuadre teórico es el que combina la descripción fenomenológica con una hermenéutica rigurosa pero que se define por la necesidad de aceptar su conflictiva y pluralidad -que es preciso explicar y comprender-. Este estilo dialéctico e itinerante puede encontrarse, a nuestro juicio, en varias obras como son: "Sí mismo como otro" donde encontramos la tensión y relación entre la identidad idem y la identidad ipse, mediadas por la identidad narrativa y entre los niveles de la eticidad y la moralidad, tal como aparecen allí, fundados en el deseo. También en una obra anterior donde el fundamento es la libertad, "conjugada" en primera, segunda y tercera persona. Y entre lo que podríamos llamar su "cuarteto" de la ontología del hombre capaz y su cruce con la experiencia del sufrimiento. En la síntesis que es su "Recorridos del reconocimiento" se recogen esas tensiones y aperturas y se las corona con las tesis que desarrollara al comparar el amor y la justicia, en especial, el mandamiento del amor al enemigo. Partiendo de la riqueza y polisemia del verbo reconocer recorre el camino de su conjugación en voz activa, en la forma reflexiva y en la voz pasiva. Todo este entramado paciente y sostenido durante tantos años nos proporciona un marco teórico precioso para pensar el actual fenómeno de los derechos humanos: por su condición de históricos, pactados, parciales y sucesivos y, a la vez, universales -o, como dice Ricoeur, con pretensión de universalidad-. No pueden ser pensados en profundidad y honestamente sino con una filosofía que acepte la conflictiva hermenéutica, transite las tensiones presentes y se abra a una propuesta a la vez amplia, crítica y situada, dado que no parece posible pensar hoy la vida buena sin referirnos a este sistema de derechos humanos