I am interested in embedding a Knowledge Graph in a vector space jointly with logical rules.
Through Google, the best work I have found about that is Tim Rocktäschel's paper Injecting Logical Background Knowledge into Embeddings for Relation Extraction.
The problem is that there is no throughly explanation about the matrix factorization in the paper or in Tim Rocktäschel's thesis or lectures.
My question is: What is the meaning of the rows of the matrix P x k and the columnns of k x R?