Una técnica reciente para operar matrices esparsas (https://users.dcc.uchile.cl/~gnavarro/ps/spire23.1.pdf) utiliza una representación para las matrices llamada LOUDS, que es muy simple, compacta, y realiza las operaciones eficientemente. El objetivo de la memoria es agregar a esta representación la posibilidad de complementar una matriz, usando una forma conocida de representar el complemento en LOUDS. Se deberán extender los algoritmos de suma, producto, clausura, etc. para el caso en que las matrices tienene submatrices complementadas, implementar esas modificaciones en C, y medir el desempeño experimentalmente.  

Para el caso de doble titulación, se puede extender esta memoria con otra disponible separadamente, que permite unir las consultas de BGPs (ya implementadas como qdags) con RPQs (que se resuelven con matrices) en una representación unificada que resuelva la mayor parte de las consultas de SPARQL.

En ambos casos, esto puede llevar a una publicación si los resultados son buenos.