Departamento de Computación

Desde sus inicios la Web fue enfocada en presentar información comprensible para los seres humanos y se dejó a un lado el hecho de proveer a la información de una semántica formal. El hecho de carecer de una semántica formal dificulta la recuperación precisa de información y la automatización de tareas dentro de la Web. La Web Semántica fue propuesta como la siguiente etapa en la evolución de la Web actual para dotar a la información de significado mediante los lenguajes XML y RDF. En este trabajo de tesis se propone LogCIN-XML para atribuir de significado a los documentos XML y, de esta manera, poder expresar y ejecutar reglas en lógica de Horn. También se presenta la formalización, diseño e implementación del lenguaje. Entre las contribuciones principales de este trabajo se pueden destacar: Las extensiones a XML para incorporar nociones fundamentales de la programación lógica como variables lógicas, procedimientos lógicos y consultas
La definición de un modelo de representación del conocimiento adecuado para la Web Semántica.
La definición de una arquitectura abierta y distribuida que permite la integración entre aplicaciones, facilitando la interoperabilidad. Para demostrar algunas de las características más sobresalientes del lenguaje tales como la recuperación de información, la capacidad de deducir información y la generación de nuevos documentos, en este trabajo se aborda y resuelve el problema de la deducción de relaciones de parentesco.

Abstract

At present the capabilities of mobile devices have increased considerably compa- red to 10 years, having a mayor computing power, various ways to communicate and transmit more information, sensors and embedded devices such as GPS to provide more knowledge of their environment. Thus arises the need to develop a project capa- ble of integrating all these technologies into a mobile system for data collection, able to communicate in both directions between mobile devices and a central database to perform various tasks. On this thesis, it is presented the development of a mobile system for collecting data from various field workers, considering the problems associated with the commu- nication from mobile devices such as power supply and a limited processing capacity, intermittency connection to the network, limited user interface, etc. Therefore it is necessary to consider these new variables to ensure system reliability. Tests show the reliability of the system on different situations, such as response time, battery life of the device, first set of GPS, as well as comparison with various systems that propose a similar solution to that raised in this work. As a case study is planned to develop a system of fine traffic police for Mexico City, capable of raising in situ having updated the server with all the events. Also the officer will be able to check the status of a vehicle on their license plate, indicating in which case if it is stolen, some ticket and so forth.