For each instance i ∈ I and instance relation r ∈ R l , we learn a low-dimensional vector i ∈ R k and r ∈ R k respectively.
the instanceOf and subClassOf representations are well-designed so that the transitivity of isA relations can be reserved, namely, instanceOf-subClassOf transitivity shown in Equation 5: and subClassOf-subClassOf transitivity shown in Equation 6: Based on the definition, how to model concepts and isA relations is critical to solve this problem.