From axioms over graphs to vectors, and back again: evaluating the properties of graph-based ontology embeddings.