Semantic embedding is to represent symbolic knowledge as vectors, which can dramatically extend the tools and algorithms for processing and utilising symbolic knowledge. In the report, I will focus on some recent embedding methods for ontologies of Web Ontology Language, which are equipped with different kinds of semantics including Description Logic, hierarchical graph structure and literals. The contents vary from geometric embeddings for logical and hierarchical relationships, to language model-based embeddings for text-equipped ontologies.