The expressiveness of SHACL and a tractable language fragment proposal.
dc.contributor.advisor | Reutter de la Maza, Juan | |
dc.contributor.author | Florenzano Hernández, Fernando Alberto | |
dc.contributor.other | Pontificia Universidad Católica de Chile. Escuela de Ingeniería | |
dc.date.accessioned | 2020-05-18T15:28:10Z | |
dc.date.available | 2020-05-18T15:28:10Z | |
dc.date.issued | 2020 | |
dc.description | Tesis (Master of Science in Engineering)--Pontificia Universidad Católica de Chile, 2020 | |
dc.description.abstract | SHACL (Shapes Constraint Language) es una especificación para describir y validar grafos RDF que recientemente se convirtió en recomendación de la W3C. La dificultad principal que presenta su uso es la ausencia de una definición oficial para el manejo de restricciones recursivas. Además, el hecho de que grafos RDF por lo general son accesibles mediante alojamiento remoto a través de solo consultas SPARQL hace que la validación dependa de dichos sistemas. En esta tesis, extendemos trabajo previo con el objetivo de mejorar el entendimiento de lo conocido del problema de validación. Primero, investigamos la posibilidad de validar un grafo contra esquemas no recursivos utilizando solo procesamiento en memoria, y mediante el procesamiento de una única consulta general. Para el caso recursivo, cuyo problema es NP-duro, revisamos la jerarquía de fragmentos de SHACL conocidos y sus respectivas dificultades. Finalmente, proponemos un nuevo fragmento de restricciones y mostramos un algoritmo que resuelve eficientemente el problema de validación. Este último se puede utilizar cuando es necesario manejar restricciones recursivas, pero manteniendo cotas de ejecución eficientes sin tener que recurrir a maquinaria externa. | |
dc.format.extent | ix, 81 páginas | |
dc.identifier.doi | 10.7764/tesisUC/ING/28920 | |
dc.identifier.uri | https://doi.org/10.7764/tesisUC/ING/28920 | |
dc.identifier.uri | https://repositorio.uc.cl/handle/11534/28920 | |
dc.language.iso | en | |
dc.nota.acceso | Contenido completo | |
dc.rights | acceso abierto | |
dc.subject.ddc | 005.758 | |
dc.subject.dewey | Ciencias de la computación | es_ES |
dc.subject.other | RDF (Lenguaje de marcación de documentos) | es_ES |
dc.subject.other | Lenguajes de marcación de documentos | es_ES |
dc.title | The expressiveness of SHACL and a tractable language fragment proposal. | es_ES |
dc.type | tesis de maestría | |
sipa.codpersvinculados | 126898 | |
sipa.codpersvinculados | 223222 |