A method, apparatus and program for completing a knowledge graph from a plurality of predicates and associated entities, the predicates each providing information on a relationship between a pair of entities, the method comprising the steps of: receiving an input comprising the plurality of predicates and associated entities; searching an axiom database and identifying predicates among the plurality of predicates that are equivalent to one another, or inverses of one another; identifying further predicates that are related to one another, using the axiom database and identified predicates; and embedding the identified predicates and associated entities into a vector space to complete the knowledge graph.