The research project "Semantic Web" has the objective to propose a data storage model with parameters derived from the information in the social networks of university using the technology of the same name. If it is true, there are various storage models or ontologies related to social networks, but they lack parameters identified in a social and university context, or just contemplate one context or have parameter. So this model integrates these two previously contexts solving inadequate organization, overload and heterogeneity of information on the web. To perform this project, it is realized an exploratory research, whose aim is to discover and make an overall analysis of the Semantic Web technology and also a Ontology Development 101 methodology for the design of the main objective: the ontology. In addition, contextual parameters that support the design of the storage model in terms of the Semantic Web technology are identified and, then, benchmarking of possible semantic tools that are actually in the market is performed, which both support the model validation. The contribution of this work is the storage model called "Ontology of data from social networks university" which is based on the academic and social contexts. For these ontology, contextual parameters of location, activity, social network, relationships, events, friends, user link, album, page are defined; which then can be used in a deployment of Context Awareness to facilitate communication and information sharing between different entities or identified parameters. / Propone un modelo de almacenamiento de datos con parámetros obtenidos de la información existente en las redes sociales de universitarios haciendo uso de la tecnología del mismo nombre. Si bien es cierto, existen diversos modelos de almacenamiento u ontologías relacionadas a redes sociales, pero éstas carecen de los parámetros identificados en un contexto social y universitario, o algunos solo poseen un contexto o un parámetro. Por lo que este modelo integra los dos contextos mencionados anteriormente solucionando la inadecuada organización, sobrecarga y heterogeneidad de esta información en la web. Para efectuar este proyecto se realiza una investigación exploratoria cuyo fin es descubrir y hacer un análisis general de la tecnología Web Semántica y, también, se utiliza la metodología Ontology Development 101 para el diseño del objetivo principal, la ontología. Además, se identifican parámetros contextuales que apoyan en el diseño del modelo de almacenamiento en términos de la tecnología Web Semántica y posteriormente a ello se realiza un benchmarking de las posibles herramientas semánticas que hoy en día se encuentran en el mercado, las cuales apoyan en la validación del modelo. El aporte de este trabajo es el modelo de almacenamiento con nombre “Ontología de datos obtenidos de redes sociales de universitarios” que se basa en los contextos universitario y social. Para esta ontología se definen parámetros contextuales de ubicación, actividad, red social, relaciones, evento, lista de amigos, usuario, enlace, página y álbum; la cual, luego, puede tener uso en una implementación de Context Awareness para facilitar la comunicación y el intercambio de información entre diferentes entidades o parámetros identificados.

Esta investigación consta de ocho (08) capítulos, los mismos que están organizados de la siguiente manera: En el capítulo I, presentamos las generalidades. Este capítulo se divide en dos subcapítulos: el primero, donde desarrollamos datos sobre la lengua taushiro (1.1), hablamos de la situación lingüística de la lengua en (1.1.1), historia del grupo étnico en (1.1.2), la ubicación geográfica pasada en (1.1.3), hablamos de la información cultural en (1.1.4), en (1.1.5) hablamos de la cronología poblacional y finalmente hablamos sobre el último hablante Amadeo García García en (1.1.6). El segundo, en el cual mencionamos los antecedentes de las investigaciones en (1.2); aquí hacemos mención de los trabajos realizados por la lingüista Neftalí Alicea Ortiz con aproximación a la gramática del taushiro en (1.2.1), presentamos también información de los fonemas, alófonos y grafemas de la lengua taushiro, esto en (1.2.2); y por último presentamos la descripción de los símbolos ortográficos de los fonemas, con el fin de facilitar a los lectores de otras disciplinas en (1.2.3). En el capítulo II, desarrollamos el problema de la investigación, se presenta el planteamiento del problema en (2.1), la formulación del problema en (2.2), la hipótesis en (2.3), los objetivos en (2.4). Esta parte se subdivide en (2.4.1) con objetivos generales y con objetivos específicos en (2.4.2); seguidamente, se especifica la justificación de la investigación en (2.5) y las limitaciones de la investigación; en (2.6), incluimos (2.6.1) para explicar las limitaciones del estudio y en (2.6.2) para explicar las limitaciones de aspectos complementarios, encontramos la metodología empleada en (2.7) esta parte se subdivide en (2.7.1) con la explicación de los métodos y técnicas de recolección; en esta misma parte ,en (2.7.1.1) hablamos del colaborador; en (2.7.1.2), hablamos de los instrumentos de recolección de datos; y finalmente en (2.7.2), presentamos el corpus propuesto para el análisis. En el capítulo llI tratamos el marco teórico. Aquí registramos datos informativos sobre la teoría cognitiva en (3.1), para ello, en (3.1.1), hacemos la introducción y en (3.1.2) desarrollamos los puntos relevantes de la lingüística cognitiva que tienen relación con el tema de la tesis; en (3.1.3), hablamos de los postulados básicos de la lingüística cognitiva; en el subcapítulo (3.2), hablamos de los fundamentos teóricos de la semántica cognitiva, de modo específico, de la semántica conceptual; el objetivo es describir y explicar la estructura conceptual (EC) en la gramática en (3.2.1); luego en (3.2.2) desarrollamos la semántica cognitiva, en (3.3) hablamos de la teoría de los verbos de movimiento, hablamos en (3.3.1) de la clasificación de los verbos de movimiento y en (3.3.2) de la tipología semántica de los verbos de desplazamiento para luego desarrollar en (3.3.2.1) la tipología semántica de los verbos de desplazamiento. En el capítulo IV, se presenta el análisis del corpus. Este capítulo constituye la parte más importante de la tesis, aquí podemos encontrar la presentación de los verbos de desplazamiento en (4.1), como también la presentación del corpus para el análisis en (4.2); igualmente, en el apartado (4.3) encontramos la descripción morfológico-semántica de los verbos de desplazamiento propuestos. En el capítulo V presentamos los resultados de la investigación. En (5.1) encontramos la presentación de los resultados de la investigación; asimismo, en (5.1.1) presentamos los resultados descriptivos de los morfemas de desplazamiento en la lengua taushiro de acuerdo a los verbos propuestos, en (5.1.2) presentamos los resultados descriptivos desde el punto de vista semántico del corpus empleado, en (5.1.2.1) hablamos del evento en el taushiro, en (5.1.2.2) desarrollamos la figura en el taushiro, en (5.1.2.3) hablamos de la trayectoria y finalmente en (5.1.2.4) hablamos del fondo en el taushiro; en (5.1.3) presentamos los resultados de las estructuras léxicos conceptuales (ELC) de los verbos de desplazamiento del taushiro; finalmente en (5.2) presentamos la discusión de los resultados. En el capítulo Vl, encontramos las conclusiones en (6.1) y las recomendaciones en (6.2). Luego de la bibliografía encontramos como anexo los mapas lingüísticos del grupo étnico taushiro, mapa de ubicación actual del informante, corpus completo, fotos, entre otros documentos de interés.

Magíster en Ciencias, Mención Computación / Los sistemas de tipos-y-efectos (type-and-effect systems) permiten a los programadores hacer valer invariantes y restricciones sobre los efectos secundarios que se generan durante la evaluación de un programa. Los sistemas de tipos-y-efectos consideran efectos secundarios tales como estado, excepciones y E/S, entre otros. Desafortunadamente, los sistemas de tipos-y-efectos también obligan al programador a introducir anotaciones de efectos, lo que implica un esfuerzo adicional. En la práctica, los sistemas de tipos-y-efectos no son comúnmente usados. Conjeturamos que una de las razones importantes para la limitada adopción de los sistemas de efectos son las dificultades para realizar la transición desde un sistema donde los efectos secundarios son implícitos hacia una disciplina de efectos totalmente estática. Los tipos graduales (Gradual typing) permiten a los programadores combinar la flexibilidad de los lenguajes dinámicamente tipados con las garantías provistas por los sistemas de tipos estáticos. En lenguajes con tipos graduales, las anotaciones de tipos son parte del lenguaje, pero no son obligatorias. Un sistema de tipos gradual utiliza la información disponible para proveer garantías estáticas, rechazando los programas claramente incoherentes, e introduce verificaciones en tiempo de ejecución cuando la información estática no es suficiente para aceptar o rechazar definitivamente un programa. Esta tesis demuestra que las ideas de diseño detrás de los tipos graduales pueden aplicarse a los sistemas de tipos-y-efectos, tanto para aumentar la expresividad de estos sistemas así como para proveer flexibilidad para migrar programas con efectos secundarios impl ́ıcitos e irrestrictos hacia programas con una disciplina de efectos completamente estática. Se adaptaron ideas de tipos graduales para introducir verificación gradual de efectos para sistemas de tipos-y-efectos. La verificación gradual de efectos habilita al programador para decidir dónde y cuándo introducir anotaciones de efectos, agregando verificaciones en tiempo de ejecución cuando las anotaciones estáticas son insuficientes. Para evitar redefinir la verificación gradual de efectos para cada disciplina de tipos-y-efectos, introducimos verificación gradual de efectos para una plataforma genérica de tipos-y-efectos, en la que se puede instanciar cualquier disciplina de efectos monotónica, produciendo un sistema coherente. Presentamos la verificación gradual de efectos basándonos en conceptos de interpretación abstracta para construir la verificación gradual de efectos genérica. Utilizando verificación gradual de efectos genérica, introducimos tipos graduales para sistemas de tipos-y-efectos: un sistema donde las anotaciones de efectos y de tipos no son obligatorias, y donde se introducen verificaciones en tiempo de ejecución y casts cuando la información estática no es suficiente para asegurar la coherencia de un programa. De la manera definida, los tipos graduales para sistemas de tipos-y-efectos permiten migrar desde sistemas carentes de anotaciones de efectos o de tipos hacia una disciplina estática de tipos-y-efectos de manera segura.

Magíster en Análisis sistémico aplicado a la sociedad / A partir de análisis de contenido cualitativo, este estudio explora las trasformaciones semánticas en la política pública nacional e internacional (2000-2016) en relación con el fenómeno de la participación, desvinculación y reinserción de los excombatientes NNA (niños, niñas, adolescentes) que han tomado parte en conflictos armados, haciendo una observación detallada sobre el caso colombiano. El marco teórico-analítico que se utiliza es la Teoría de sistemas sociales de Niklas Luhmann, y en él, específicamente el concepto de Semántica. Con ello, la investigación profundiza en las diferentes comprensiones que se han elaborado alrededor de este fenómeno tanto en los lineamientos internacionales sobre procesos de DDR –Desarme, desmovilización y reintegración de NNA, como en las directrices legales y programáticas que se han emitido desde el Estado colombiano para intervenir este fenómeno; además problematiza su relación con los cambios sociales contemporáneos y la aparición de estructuras en diferentes sistemas sociales. Se presentan hallazgos específicos en relación con transformaciones semánticas dadas desde el sistema político –en relación con la denominación y abordaje del oponente en el marco de los conflictos–, en el sistema jurídico –en relación con las nociones que orientan la aplicación de justicia en las situaciones ‘excepcionales’ que representan los conflictos armados–, y trasformaciones trasversales a diversos sistemas sociales asociadas a la observación creciente de los Derechos del niño, los marcos de Derecho Internacional Humanitario, la perspectiva de reparación e inclusión social dirigida a los NNA que participan en los conflictos armados y que se consideran víctimas de ellos, la construcción del rol ‘excombatiente’, entre otros elementos. El estudio aporta evidencia sobre cómo las semánticas sobre DDR de NNA han articulado las políticas públicas dirigidas a diversos sistemas y han actuado como antecesoras de la creación de nuevas semánticas y estructuras de alta especificidad para abordar la problemática del reclutamiento forzado de NNA en Colombia y el mundo

No description available.

La selección de información relevante de documentos digitales es uno de los principales problemas para los estudiantes de pregrado de la especialidad de Ingeniería Informática. Para facilitar dicha tarea, es necesario un modelo que represente la relación entre las entidades en las que se define toda la información disponible. Por ello, se decidió llevar a cabo una revisión sistemática acerca de las posibles soluciones que representen dicho domino. Como resultado de la revisión realizada, se propone el uso de ontologías como estructura básica para la representación del conocimiento por su eficacia a la hora de realizar la recuperación. Además, se plantea utilizar un proceso de etiquetación semántica de documentos para relacionar cada documento digital con - al menos - una entidad de la ontología con la finalidad de poder realizar búsquedas mediante el uso de etiquetas y lenguaje natural. Se concluye que las ontologías son una estructura flexible y que soportan la recuperación de conocimiento en un dominio específico y que el modelo planteado cumple con las necesidades de búsqueda y etiquetación para los usuarios. / Tesis

Con el continuo crecimiento de la subida de archivos multimedia a la Web, páginas conocidas como Youtube. Vimeo, entre otras; han estado realizando el continuo mejoramiento de sus Sistemas de Recuperación. De esta manera la cantidad de videos relevantes para el usuario no se verá afectada en la respuesta dada a este. Otros factores como el tipo de búsqueda (Sintáctica) realizada por estas páginas Web conforman esta problemática. Por esta razón, la solución que se plantea viene en base a la búsqueda Semántica, dado que al ser una búsqueda orientada a las relaciones entre conceptos se espera una mayor eficiencia que la obtenida por la búsqueda Sintáctica la cual se basa en que las palabras usadas en la búsqueda sean las mismas que se colocaron como etiquetas al archivo multimedia. Para llevar a cabo esta solución se realizó primero la Ontología, la cual posee los conocimientos que necesita la máquina acerca del dominio que ente caso son las Artes Marciales Mixtas. Para esto se debe tener un gran conocimiento del deporte, para reunir y relacionar los conceptos que lo conforman. Luego, se planificó como iba a actuar la herramienta, dado que hay varias opciones que se pueden realizar, con lo cual se decidió que el proceso comenzaría con un usuario haciendo una búsqueda textual, la cual nos permitirá conocer a que concepto del dominio pertenece y así a través de las relaciones de la Ontología encontrar otros conceptos relevantes; para luego consultarle a la base de datos cuales son los videos enlazados a estos conceptos. Al tener ya el proceso de funcionamiento, se realizaron tanto la base de datos que contendría en cada fila el URL de un video y la URI de un concepto (individuo) de la Ontología; de esta manera, se sabe qué contiene cada video. Para saber exactamente si mostraba todo el contenido del concepto se usaron flags. Finalmente se realizó el algoritmo que permite la búsqueda Semántica y se realizaron inferencias para búsquedas más específicas en el dominio. Teniendo la herramienta finalizada se realizaron pruebas de eficiencia usando 50 videos para lo cual se hallaron tanto la precisión como el recall de la herramienta al realizarse diversas consultas. Para esto se realizaron varias consultas para abarcar la mayoría de conceptos del domino y de esta manera tener resultados más confiable. / Tesis

Gracias a la World Wide Web la idea de información compartida alrededor del mundo es común para todos, la información es ingresada desde diferentes fuentes para que todos puedan verla y usarla. Una Smart Web o Semantic Web tiene como objetivo estructurar los contenidos de forma tal que todo esté relacionado y por lo tanto, presente información consistente. Para ello, se requieren de estructuras que puedan ser accesadas por computadoras y contengan reglas de inferencia para un razonamiento automático. Una de estas estructuras es la ontología. Una ontología busca conceptualizar el conocimiento de un dominio específico valiéndose de representaciones. Como primer paso para construir una ontología, se debe obtener una taxonomía. Una taxonomía es una clasificación de entidades de información a manera de jerarquías. Las taxonomías ofrecen diversas ventajas como clasificar de la información, realizar búsquedas de manera más eficaz y navegar entre muchos conceptos, sin embargo, requieren mucho esfuerzo para ser construidas a mano. Para poder construir una taxonomía en base a un grupo de documentos, primero se debe extraer los conceptos más relevantes presentes en dichos textos. Luego, se debe deducir la jerarquía se convertirá en la taxonomía. Para extraer los conceptos más relevantes de un grupo de documentos, el método CFinder ha probado ser muy útil y dar buenos resultados. El objetivo del CFinder es que sea usado para la construcción de ontologías u otro tipo de estructura que requiera una fase de extracción de conceptos clave. No obstante, no se ha integrado con un método que permita estructurar la jerarquía entre los conceptos extraídos. En este proyecto se busca complementar el método CFinder con una fase para la deducción de jerarquías entre los conceptos extraídos y la construcción de una taxonomía, de esta manera, se está brindando una nueva opción para la construcción automática de taxonomías. Para ello, se realiza la implementación de una herramienta para la construcción automática de una taxonomía de un dominio que haga uso del método CFinder. El proyecto inicia con la implementación de un módulo que permite la extracción de conceptos clave de un conjunto de documentos usando el método CFinder. Luego, se procede a implementar un módulo que permita extraer una taxonomía usando los conceptos clave extraídos. Finalmente, se realizan las pruebas necesarias para medir la eficacia del método implementado y, con los resultados obtenidos, se concluye que se alcanzó el objetivo principal del proyecto. / Tesis

Típicamente utilizamos el nombre propio ‘Alfredo’ para designar a un objeto específico, es decir lo usamos de manera referencial. En otras ocasiones, sin embargo, utilizamos oraciones como ‘Conozco tres Alfredos que son limeños’, en las cuales ‘Alfredo’ no parece estar siendo utilizado para designar un objeto específico sino más bien para designar alguna característica compartida por tres objetos distintos. Llamémosle a dicho uso un uso predicativo. La existencia de usos referenciales y predicativos de nombres propios ha motivado distintas teorías semánticas. Algunas de ellas sostienen que un nombre propio como ‘Alfredo’ posee el mismo contenido semántico, ya sea que sea usado de manera referencial o predicativa. Llamemos a esta idea la tesis de la uniformidad. Otras, por el contrario, afirman que el nombre propio ‘Alfredo’ es ambiguo y recibe dos contenidos semánticos distintos, dependiendo de si es usado referencial o predicativamente. A esta idea llamémosle la tesis de la ambigüedad. La presente investigación tiene como objetivo demostrar que es plausible dar una explicación de los usos referenciales y predicativos de nombres propios tal que i) asuma la tesis de la ambigüedad ii) asuma el millianismo, es decir la tesis de que el contenido semántico que posee una cadena fonológica como ‘Alfredo’ cuando es usada referencialmente consiste simplemente en el único objeto designado por el ítem léxico ‘Alfredo’. Para lograr tal objetivo, estructuraré mi argumentación de la manera siguiente. En el capítulo 1, presentaré de manera detallada la discusión sobre el contenido semántico de los nombres propios. Así, luego de establecer una concepción específica de contenido semántico (sección 1.1.), presentaré las principales teorías sobre el contenido semántico de los nombres propios (sección 1.2.) y expondré lo que denomino el desafío de la uniformidad, el cual consiste en una serie de problemas que debe enfrentar cualquier teoría que busque explicar la existencia de usos referenciales y predicativos de nombres propios (sección 1.3.). El capítulo 2 está dedicado a presentar los problemas específicos que tiene el millianismo para enfrentar el desafío de la uniformidad, los cuales han llevado a algunos autores a rechazarlo y a adoptar otras versiones del referencialismo. Inicio presentando ciertas virtudes del millianismo (sección 2.1.), a continuación, me ocupo de dos críticas: la planteada por Katz (2001), de acuerdo a la cual el compromiso milliano con la tesis que denominaré ambigüedad léxica es inaceptable (sección 2.2.) y la planteada por Schoubye (por publicar), según la cual el millianismo es incapaz de explicar las conexiones semánticas existentes entre usos referenciales y predicativos, razón por la cual deberíamos rechazarlo en favor de la teoría pronominalista que propone (sección 2.3.). Mi defensa del millianismo inicia en el capítulo 3. En la sección 3.2. respondo a la crítica de Katz a partir de una distinción entre los objetos sobre los cuales los hablantes tienen intuiciones y los objetos propios de la reflexión teórica. A continuación, propongo un análisis de la propiedad ser algo llamado N, el cual me permite entenderla como una especie particular de la propiedad ser algo llamado K, donde ‘K’ puede ser una expresión de distintos tipos (sección 3.3.). Culmino el capítulo presentando dos críticas contra el pronominalismo (sección 3.4.). Finalmente, el capítulo 4 está dedicado a articular una explicación milliana de los usos no-referenciales de nombres propios. En la sección 4.2. planteo una teoría que explica los vínculos semánticos existentes entre usos referenciales y predicativos. En la sección 4.3. planteo una teoría que explica la relación sintáctica que existe entre ambos tipos de usos. Por último, en la sección 4.4. planteo algunas ideas preliminares que permitirían extender la teoría en cuestión a otros tipos de usos no-referenciales de nombres propios. / Tesis

En este proyecto de fin de carrera se ha escogido abarcar el tema de Turismo Literario, resaltando principalmente la integración de una herramienta que ha existido durante años, el libro, con las nuevas tecnologías de Reconocimiento de Entidades Mencionadas (REM). Se propone implementar un método de extracción de lugares que se encargue de procesar las obras literarias con la finalidad de identificar los nombres de los lugares mencionados en dichos textos; para que éstos, finalmente, sean validados en el mundo real con el apoyo de una librería de información geográfica. Con el método implementado se va a obtener información, la cual puede ser utilizada para la construcción de herramientas que permitan difundir y aprovechar el Turismo Literario. Esta clase de turismo busca difundir los lugares reales que son mencionados en las obras literarias Estos escenarios pueden ser parques, restaurantes, pasajes, avenidas, entre otros lugares. / Tesis