A knowledge graph is a collection of entities , relations , and facts .[5] A fact is a triple that denotes a link between the head and the tail of the triple. Another notation that is often used in the literature to represent a triple (or fact) is . This notation is called resource description framework (RDF).[1][5] A knowledge graph represents the knowledge related to a specific domain; leveraging this structured representation, it is possible to infer a piece of new knowledge from it after some refinement steps.[6] However, nowadays, people have to deal with the sparsity of data and the computational inefficiency to use them in a real-world application.[3][7]
The embedding of a knowledge graph translates each entity and relation of a knowledge graph, into a vector of a given dimension , called embedding dimension.[7] In the general case, we can have different embedding dimensions for the entities and the relations .[7] The collection of embedding vectors for all the entities and relations in the knowledge graph can then be used for downstream tasks.
A knowledge graph embedding is characterized by four different aspects:[1]
Representation space: The low-dimensional space in which the entities and relations are represented.[1]
Scoring function: A measure of the goodness of a triple embedded representation.[1]
Encoding models: The modality in which the embedded representation of the entities and relations interact with each other.[1]
Additional information: Any additional information coming from the knowledge graph that can enrich the embedded representation.[1] Usually, an ad hoc scoring function is integrated into the general scoring function for each additional information.[5][1][8]
Embedding procedure
All the different knowledge graph embedding models follow roughly the same procedure to learn the semantic meaning of the facts.[7] First of all, to learn an embedded representation of a knowledge graph, the embedding vectors of the entities and relations are initialized to random values.[7] Then, starting from a training set until a stop condition is reached, the algorithm continuously optimizes the embeddings.[7] Usually, the stop condition is given by the overfitting over the training set.[7] For each iteration, is sampled a batch of size from the training set, and for each triple of the batch is sampled a random corrupted fact—i.e., a triple that does not represent a true fact in the knowledge graph.[7] The corruption of a triple involves substituting the head or the tail (or both) of the triple with another entity that makes the fact false.[7] The original triple and the corrupted triple are added in the training batch, and then the embeddings are updated, optimizing a scoring function.[5][7] At the end of the algorithm, the learned embeddings should have extracted the semantic meaning from the triples and should correctly predict unseen true facts in the knowledge graph.[5]
Pseudocode
The following is the pseudocode for the general embedding procedure.[9][7]
algorithm Compute entity and relation embeddings isinput: The training set ,
entity set ,
relation set ,
embedding dimension output: Entity and relation embeddings
initialization:the entitiesand relationsembeddings (vectors) are randomly initializedwhile stop condition do // From the training set randomly sample a batch of size b
for eachindo // sample a corrupted fact of triple
end for
Update embeddings by minimizing the loss function
end while
Performance indicators
These indexes are often used to measure the embedding quality of a model. The simplicity of the indexes makes them very suitable for evaluating the performance of an embedding algorithm even on a large scale.[10] Given as the set of all ranked predictions of a model, it is possible to define three different performance indexes: Hits@K, MR, and MRR.[10]
Hits@K
Hits@K or in short, H@K, is a performance index that measures the probability to find the correct prediction in the first top K model predictions.[10] Usually, it is used .[10] Hits@K reflects the accuracy of an embedding model to predict the relation between two given triples correctly.[10]
Hits@K
Larger values mean better predictive performances.[10]
Mean rank (MR)
Mean rank is the average ranking position of the items predicted by the model among all the possible items.[10]
Mean reciprocal rank measures the number of triples predicted correctly.[10] If the first predicted triple is correct, then 1 is added, if the second is correct is summed, and so on.[10]
Mean reciprocal rank is generally used to quantify the effect of search algorithms.[10]
Knowledge graph completion (KGC) is a collection of techniques to infer knowledge from an embedded knowledge graph representation.[11] In particular, this technique completes a triple inferring the missing entity or relation.[11] The corresponding sub-tasks are named link or entity prediction (i.e., guessing an entity from the embedding given the other entity of the triple and the relation), and relation prediction (i.e., forecasting the most plausible relation that connects two entities).[11]
Triple Classification is a binary classification problem.[1] Given a triple, the trained model evaluates the plausibility of the triple using the embedding to determine if a triple is true or false.[11] The decision is made with the model score function and a given threshold.[11] Clustering is another application that leverages the embedded representation of a sparse knowledge graph to condense the representation of similar semantic entities close in a 2D space.[4]
Real world applications
The use of knowledge graph embedding is increasingly pervasive in many applications. In the case of recommender systems, the use of knowledge graph embedding can overcome the limitations of the usual reinforcement learning.[12][13] Training this kind of recommender system requires a huge amount of information from the users; however, knowledge graph techniques can address this issue by using a graph already constructed over a prior knowledge of the item correlation and using the embedding to infer from it the recommendation.[12]Drug repurposing is the use of an already approved drug, but for a therapeutic purpose different from the one for which it was initially designed.[14] It is possible to use the task of link prediction to infer a new connection between an already existing drug and a disease by using a biomedical knowledge graph built leveraging the availability of massive literature and biomedical databases.[14]
Knowledge graph embedding can also be used in the domain of social politics.[4]
Models
Given a collection of triples (or facts) , the knowledge graph embedding model produces, for each entity and relation present in the knowledge graph a continuous vector representation.[7] is the corresponding embedding of a triple with and , where is the embedding dimension for the entities, and for the relations.[7] The score function of a given model is denoted by and measures the distance of the embedding of the head from the embedding of tail given the embedding of the relation, or in other words, it quantifies the plausibility of the embedded representation of a given fact.[5]
Rossi et al. propose a taxonomy of the embedding models and identifies three main families of models: tensor decomposition models, geometric models, and deep learning models.[5]
Tensor decomposition model
The tensor decomposition is a family of knowledge graph embedding models that use a multi-dimensional matrix to represent a knowledge graph,[1][5][17] that is partially knowable due to the gaps of the knowledge graph describing a particular domain thoroughly.[5] In particular, these models use a three-way (3D) tensor, which is then factorized into low-dimensional vectors that are the entities and relations embeddings.[5][17] The third-order tensor is a suitable methodology to represent a knowledge graph because it records only the existence or the absence of a relation between entities,[17] and for this reason is simple, and there is no need to know a priori the network structure,[15] making this class of embedding models light, and easy to train even if they suffer from high-dimensional and sparsity of data.[5][17]
Bilinear models
This family of models uses a linear equation to embed the connection between the entities through a relation.[1] In particular, the embedded representation of the relations is a bidimensional matrix.[5] These models, during the embedding procedure, only use the single facts to compute the embedded representation and ignore the other associations to the same entity or relation.[18]
DistMult[19]: Since the embedding matrix of the relation is a diagonal matrix,[5] the scoring function can not distinguish asymmetric facts.[5][18]
ComplEx[20]: As DistMult uses a diagonal matrix to represent the relations embedding but adds a representation in the complex vector space and the hermitian product, it can distinguish symmetric and asymmetric facts.[5][17] This approach is scalable to a large knowledge graph in terms of time and space cost.[20]
ANALOGY[21]: This model encodes in the embedding the analogical structure of the knowledge graph to simulate inductive reasoning.[21][5][1] Using a differentiable objective function, ANALOGY has good theoretical generality and computational scalability.[21] It is proven that the embedding produced by ANALOGY fully recovers the embedding of DistMult, ComplEx, and HolE.[21]
SimplE[22]: This model is the improvement of canonical polyadic decomposition (CP), in which an embedding vector for the relation and two independent embedding vectors for each entity are learned, depending on whether it is a head or a tail in the knowledge graph fact.[22] SimplE resolves the problem of independent learning of the two entity embeddings using an inverse relation and average the CP score of and .[7][17] In this way, SimplE collects the relation between entities while they appear in the role of subject or object inside a fact, and it is able to embed asymmetric relations.[5]
Non-bilinear models
HolE:[23] HolE uses circular correlation to create an embedded representation of the knowledge graph,[23] which can be seen as a compression of the matrix product, but is more computationally efficient and scalable while keeping the capabilities to express asymmetric relation since the circular correlation is not commutative.[18] HolE links holographic and complex embeddings since, if used together with Fourier, can be seen as a special case of ComplEx.[1]
TuckER:[24] TuckER sees the knowledge graph as a tensor that could be decomposed using the Tucker decomposition in a collection of vectors—i.e., the embeddings of entities and relations—with a shared core.[24][5] The weights of the core tensor are learned together with the embeddings and represent the level of interaction of the entries.[25] Each entity and relation has its own embedding dimension, and the size of the core tensor is determined by the shape of the entities and relations that interact.[5] The embedding of the subject and object of a fact are summed in the same way, making TuckER fully expressive, and other embedding models such as RESCAL, DistMult, ComplEx, and SimplE can be expressed as a special formulation of TuckER.[24]
MEI:[26] MEI introduces the multi-partition embedding interaction technique with the block term tensor format, which is a generalization of CP decomposition and Tucker decomposition. It divides the embedding vector into multiple partitions and learns the local interaction patterns from data instead of using fixed special patterns as in ComplEx or SimplE models. This enables MEI to achieve optimal efficiency—expressiveness trade-off, not just being fully expressive.[26] Previous models such as TuckER, RESCAL, DistMult, ComplEx, and SimplE are suboptimal restricted special cases of MEI.
MEIM:[27] MEIM goes beyond the block term tensor format to introduce the independent core tensor for ensemble boosting effects and the soft orthogonality for max-rank relational mapping, in addition to multi-partition embedding interaction. MEIM generalizes several previous models such as MEI and its subsumed models, RotaE, and QuatE.[27] MEIM improves expressiveness while still being highly efficient in practice, helping it achieve good results using fairly small model sizes.
Geometric models
The geometric space defined by this family of models encodes the relation as a geometric transformation between the head and tail of a fact.[5] For this reason, to compute the embedding of the tail, it is necessary to apply a transformation to the head embedding, and a distance function is used to measure the goodness of the embedding or to score the reliability of a fact.[5]
Geometric models are similar to the tensor decomposition model, but the main difference between the two is that they have to preserve the applicability of the transformation in the geometric space in which it is defined.[5]
Pure translational models
This class of models is inspired by the idea of translation invariance introduced in word2vec.[7] A pure translational model relies on the fact that the embedding vector of the entities are close to each other after applying a proper relational translation in the geometric space in which they are defined.[18] In other words, given a fact, when the embedding of head is added to the embedding of relation, the expected result should be the embedding of the tail.[5] The closeness of the entities embedding is given by some distance measure and quantifies the reliability of a fact.[17]
TransE[9]: This model uses a scoring function that forces the embeddings to satisfy a simple vector sum equation in each fact in which they appear: .[7] The embedding will be exact if each entity and relation appears in only one fact, and, for this reason, in practice does not well represent one-to-many, many-to-one, and asymmetric relations.[5][7]
TransH[28]: It is an evolution of TransE introducing a hyperplane as geometric space to solve the problem of representing correctly the types of relations.[28] In TransH, each relation has a different embedded representation, on a different hyperplane, based on which entities it interacts with.[7] Therefore, to compute, for example, the score function of a fact, the embedded representation of the head and tail need to be projected using a relational projection matrix on the correct hyperplane of the relation.[1][7]
TransR[29]: TransR is an evolution of TransH because it uses two different spaces to represent the embedded representation of the entities and the relations,[1][18] and separate completely the semantic space of entities and relations.[7] Also TransR uses a relational projection matrix to translate the embedding of the entities to the relation space.[7]
TransD:[30] Given a fact, in TransR, the head and the tail of a fact could belongs to two different types of entities, for example, in the fact, Obama and USA are two entities but one is a person and the other is a country.[30][7] The matrix multiplication also is an expensive procedure in TransR to compute the projection.[7][30] In this context, TransD employs two vector for each entity-relation pair to compute a dynamic mapping that substitutes the projection matrix while reducing the dimensional complexity.[1][7][30] The first vector is used to represent the semantic meaning of the entities and relations, the second one to compute the mapping matrix.[30]
TransA:[31] All the translational models define a score function in their representation space, but they oversimplify this metric loss.[31] Since the vector representation of the entities and relations is not perfect, a pure translation of could be distant from , and a spherical equipotential Euclidean distance makes it hard to distinguish which is the closest entity.[31] TransA, instead, introduces an adaptive Mahalanobis distance to weights the embedding dimensions, together with elliptical surfaces to remove the ambiguity.[1][7][31]
Translational models with additional embeddings
It is possible to associate additional information to each element in the knowledge graph and their common representation facts.[1] Each entity and relation can be enriched with text descriptions, weights, constraints, and others in order to improve the overall description of the domain with a knowledge graph.[1] During the embedding of the knowledge graph, this information can be used to learn specialized embeddings for these characteristics together with the usual embedded representation of entities and relations, with the cost of learning a more significant number of vectors.[5]
STransE:[32] This model is the result of the combination of TransE and of the structure embedding[32] in such a way it is able to better represent the one-to-many, many-to-one, and many-to-many relations.[5] To do so, the model involves two additional independent matrix and for each embedded relation in the KG.[32] Each additional matrix is used based on the fact the specific relation interact with the head or the tail of the fact.[32] In other words, given a fact , before applying the vector translation, the head is multiplied by and the tail is multiplied by .[7]
CrossE:[33]Crossover interactions can be used for related information selection, and could be very useful for the embedding procedure.[33] Crossover interactions provide two distinct contributions in the information selection: interactions from relations to entities and interactions from entities to relations.[33] This means that a relation, e.g.'president_of' automatically selects the types of entities that are connecting the subject to the object of a fact.[33] In a similar way, the entity of a fact inderectly determine which is inference path that has to be choose to predict the object of a related triple.[33] CrossE, to do so, learns an additional interaction matrix , uses the element-wise product to compute the interaction between and .[5][33] Even if, CrossE, does not rely on a neural network architecture, it is shown that this methodology can be encoded in such architecture.[1]
Roto-translational models
This family of models, in addition or in substitution of a translation they employ a rotation-like transformation.[5]
TorusE:[34] The regularization term of TransE makes the entity embedding to build a spheric space, and consequently loses the translation properties of the geometric space.[34] To address this problem, TorusE leverages the use of a compact Lie group that in this specific case is n-dimensional torus space, and avoid the use of regularization.[1][34] TorusE defines the distance functions to substitute the L1 and L2 norm of TransE.[5]
RotatE:[35] RotatE is inspired by the Euler's identity and involves the use of Hadamard product to represent a relation as a rotation from the head to the tail in the complex space.[35] For each element of the triple, the complex part of the embedding describes a counterclockwise rotation respect to an axis, that can be describe with the Euler's identity, whereas the modulus of the relation vector is 1.[35] It is shown that the model is capable of embedding symmetric, asymmetric, inversion, and composition relations from the knowledge graph.[35]
Deep learning models
This group of embedding models uses deep neural network to learn patterns from the knowledge graph that are the input data.[5] These models have the generality to distinguish the type of entity and relation, temporal information, path information, underlay structured information,[18] and resolve the limitations of distance-based and semantic-matching-based models in representing all the features of a knowledge graph.[1] The use of deep learning for knowledge graph embedding has shown good predictive performance even if they are more expensive in the training phase, data-hungry, and often required a pre-trained embedding representation of knowledge graph coming from a different embedding model.[1][5]
Convolutional neural networks
This family of models, instead of using fully connected layers, employs one or more convolutional layers that convolve the input data applying a low-dimensional filter capable of embedding complex structures with few parameters by learning nonlinear features.[1][5][18]
ConvE:[36] ConvE is an embedding model that represents a good tradeoff expressiveness of deep learning models and computational expensiveness,[17] in fact it is shown that it used 8x less parameters, when compared to DistMult.[36] ConvE uses a one-dimensional -sized embedding to represent the entities and relations of a knowledge graph.[5][36] To compute the score function of a triple, ConvE apply a simple procedure: first concatenes and merge the embeddings of the head of the triple and the relation in a single data , then this matrix is used as input for the 2D convolutional layer.[5][17] The result is then passed through a dense layer that apply a linear transformation parameterized by the matrix and at the end, with the inner product is linked to the tail triple.[5][18] ConvE is also particularly efficient in the evaluation procedure: using a 1-N scoring, the model matches, given a head and a relation, all the tails at the same time, saving a lot of evaluation time when compared to the 1-1 evaluation program of the other models.[18]
ConvR:[37] ConvR is an adaptive convolutional network aimed to deeply represent all the possible interactions between the entities and the relations.[37] For this task, ConvR, computes convolutional filter for each relation, and, when required, applies these filters to the entity of interest to extract convoluted features.[37] The procedure to compute the score of triple is the same as ConvE.[5]
ConvKB:[38] ConvKB, to compute score function of a given triple , it produces an input of dimension without reshaping and passes it to series of convolutional filter of size .[38] This result feeds a dense layer with only one neuron that produces the final score.[38] The single final neuron makes this architecture as a binary classifier in which the fact could be true or false.[5] A difference with ConvE is that the dimensionality of the entities is not changed.[17]
Capsule neural networks
This family of models uses capsule neural networks to create a more stable representation that is able to recognize a feature in the input without losing spatial information.[5] The network is composed of convolutional layers, but they are organized in capsules, and the overall result of a capsule is sent to a higher-capsule decided by a dynamic process routine.[5]
CapsE:[39] CapsE implements a capsule network to model a fact .[39] As in ConvKB, each triple element is concatenated to build a matrix and is used to feed to a convolutional layer to extract the convolutional features.[5][39] These features are then redirected to a capsule to produce a continuous vector, more the vector is long, more the fact is true.[39]
Recurrent neural networks
This class of models leverages the use of recurrent neural network.[5] The advantage of this architecture is to memorize a sequence of fact, rather than just elaborate single events.[40]
RSN:[40] During the embedding procedure is commonly assumed that, similar entities has similar relations.[40] In practice, this type of information is not leveraged, because the embedding is computed just on the undergoing fact rather than a history of facts.[40] Recurrent skipping networks (RSN) uses a recurrent neural network to learn relational path using a random walk sampling.[5][40]
Model performance
The machine learning task for knowledge graph embedding that is more often used to evaluate the embedding accuracy of the models is the link prediction.[1][3][5][6][7][18] Rossi et al.[5] produced an extensive benchmark of the models, but also other surveys produces similar results.[3][7][18][25] The benchmark involves five datasets FB15k,[9] WN18,[9] FB15k-237,[41] WN18RR,[36] and YAGO3-10.[42] More recently, it has been discussed that these datasets are far away from real-world applications, and other datasets should be integrated as a standard benchmark.[43]
Table summary of the characteristics of the datasets used to benchmark the embedding models.
Table summary of the memory complexity and the link prediction accuracy of the knowledge graph embedding models according to Rossi et al.[5] in terms of Hits@10, MR, and MRR.
Best results on each metric for each dataset are in bold.
^Guo, Shu; Wang, Quan; Wang, Bin; Wang, Lihong; Guo, Li (2015). "Semantically Smooth Knowledge Graph Embedding". Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing (Volume 1: Long Papers). Association for Computational Linguistics. pp. 84–94. doi:10.3115/v1/P15-1009. S2CID205692.
^ abcdefgBordes, Antoine; Usunier, Nicolas; Garcia-Durán, Alberto; Weston, Jason; Yakhnenko, Oksana (May 2013). "Translating embeddings for modeling multi-relational data". NIPS'13: Proceedings of the 26th International Conference on Neural Information Processing Systems. Curran Associates Inc. pp. 2787–2795.
^ abcdeCai, Hongyun; Zheng, Vincent W.; Chang, Kevin Chen-Chuan (2018-02-02). "A Comprehensive Survey of Graph Embedding: Problems, Techniques and Applications". arXiv:1709.07604 [cs.AI].
^ abYang, Bishan; Yih, Wen-tau; He, Xiaodong; Gao, Jianfeng; Deng, Li (2015-08-29). "Embedding Entities and Relations for Learning and Inference in Knowledge Bases". arXiv:1412.6575 [cs.CL].
^ abcTrouillon, Théo; Welbl, Johannes; Riedel, Sebastian; Gaussier, Éric; Bouchard, Guillaume (2016-06-20). "Complex Embeddings for Simple Link Prediction". arXiv:1606.06357 [cs.AI].
^ abcdBalažević, Ivana; Allen, Carl; Hospedales, Timothy M. (2019). "TuckER: Tensor Factorization for Knowledge Graph Completion". Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP). pp. 5184–5193. arXiv:1901.09590. doi:10.18653/v1/D19-1522. S2CID59316623.
^ abAli, Mehdi; Berrendorf, Max; Hoyt, Charles Tapley; Vermue, Laurent; Galkin, Mikhail; Sharifzadeh, Sahand; Fischer, Asja; Tresp, Volker; Lehmann, Jens (2021). "Bringing Light into the Dark: A Large-scale Evaluation of Knowledge Graph Embedding Models under a Unified Framework". IEEE Transactions on Pattern Analysis and Machine Intelligence. PP (12): 8825–8845. arXiv:2006.13365. doi:10.1109/TPAMI.2021.3124805. PMID34735335. S2CID220041612.
^ abcdeJi, Guoliang; He, Shizhu; Xu, Liheng; Liu, Kang; Zhao, Jun (July 2015). "Knowledge Graph Embedding via Dynamic Mapping Matrix". Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing (Volume 1: Long Papers). Association for Computational Linguistics. pp. 687–696. doi:10.3115/v1/P15-1067. S2CID11202498.
^ abcdXiao, Han; Huang, Minlie; Hao, Yu; Zhu, Xiaoyan (2015-09-27). "TransA: An Adaptive Approach for Knowledge Graph Embedding". arXiv:1509.05490 [cs.CL].
^ abcdefgZhang, Wen; Paudel, Bibek; Zhang, Wei; Bernstein, Abraham; Chen, Huajun (2019-01-30). "Interaction Embeddings for Prediction and Explanation in Knowledge Graphs". Proceedings of the Twelfth ACM International Conference on Web Search and Data Mining. pp. 96–104. arXiv:1903.04750. doi:10.1145/3289600.3291014. ISBN9781450359405. S2CID59516071.
^ abcdEbisu, Takuma; Ichise, Ryutaro (2017-11-15). "TorusE: Knowledge Graph Embedding on a Lie Group". arXiv:1711.05435 [cs.AI].
^ abcdeSun, Zhiqing; Deng, Zhi-Hong; Nie, Jian-Yun; Tang, Jian (2019-02-26). "RotatE: Knowledge Graph Embedding by Relational Rotation in Complex Space". arXiv:1902.10197 [cs.LG].
^ abcdNguyen, Dai Quoc; Nguyen, Tu Dinh; Nguyen, Dat Quoc; Phung, Dinh (2018). "A Novel Embedding Model for Knowledge Base Completion Based on Convolutional Neural Network". Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 2 (Short Papers). pp. 327–333. arXiv:1712.02121. doi:10.18653/v1/N18-2053. S2CID3882054.
^ abcdeNguyen, Dai Quoc; Vu, Thanh; Nguyen, Tu Dinh; Nguyen, Dat Quoc; Phung, Dinh (2019-03-06). "A Capsule Network-based Embedding Model for Knowledge Graph Completion and Search Personalization". arXiv:1808.04122 [cs.CL].
^ abcdefGuo, Lingbing; Sun, Zequn; Hu, Wei (2019-05-13). "Learning to Exploit Long-term Relational Dependencies in Knowledge Graphs". arXiv:1905.04914 [cs.AI].