Show simple item record

dc.contributor.otherBarcenas Patiño, Ismael Everardo
dc.contributor.otherMezura Godoy, María del Carmen
dc.creatorRamírez Rueda, Jesús Rolando
dc.date.accessioned2020-07-01T17:47:53Z
dc.date.available2020-07-01T17:47:53Z
dc.date.issued2020
dc.identifier.urihttp://cdigital.uv.mx/handle/1944/50109
dc.descriptionEn la actualidad, existen diversos esfuerzos por hacer de la adopción de la Web Semántica una realidad, por lo que en el presente documento de tesis se estudió y se planteó una solución al uso de Lógicas Descriptivas en los Sistemas Conscientes del Contexto. La solución permitió basarse en el diseño e implementación de un razonador basado en Lógica Descriptiva expresiva para modelar la consistencia de los Sistemas Conscientes del Contexto. Sin embargo, a pesar de los esfuerzos realizados en el diseño y desarrollo de este tipo de sistemas los desarrolladores siguen enfrentando barreras en puntos esenciales como la verificación de dichos sistemas, aun cuando las interfaces de usuario no sean compatibles con estos, lo cual origina una brecha tecnológicaDe tal forma que se ha demostrado que el modelado y la verificación de Sistemas Conscientes del Contexto es una tarea compleja, principalmente porque el modelado expresivo implica, en la mayoría de los casos, algoritmos de verificación costosos computacionalmente hablando. Por otro lado, las Lógicas Descriptivas se han aplicado con éxito como marco de modelado y verificación en muchos entornos, como en la Web Semántica y la Bioinformática, por mencionar algunas. El factor principal para este éxito es el delicado equilibrio entre la expresividad y el costo computacional de los algoritmos correspondientes en el uso de las Lógicas Descriptivas. Por lo tanto, en dicho estudio mostramos que este lenguaje de modelado expresivo es capaz de expresar sucintamente propiedades complejas, como las temporales, logrando contribuir en reducir Sistemas Conscientes del Contexto inconsistentes.
dc.language.isoeses_MX
dc.publisherUniversidad Veracruzana. Facultad de Estadística e Informática. Región Xalapaes_MX
dc.rightsinfo:eu-repo/semantics/openAccesses_MX
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0/es_MX
dc.subjectWeb semánticaes_MX
dc.subjectLógica de descripciónes_MX
dc.subjectSistema consciente del contextoes_MX
dc.subjectSoftware para computadora--Desarrolloes_MX
dc.titleRazonamiento semántico en sistemas conscientes del contextoes_MX
dc.typeThesises_MX


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

info:eu-repo/semantics/openAccess
Except where otherwise noted, this item's license is described as info:eu-repo/semantics/openAccess