There are two expressive sub-languages in OWL 2, where OWL 2 Full is of the highest expressivity compared with OWL 2 DL, so that its reasoning has turned undecidable. The most distinctive feature of OWL 2 Full is meta-modeling, i.e., names can have multiple uses, which, unfortunately, causes reasoning undecidability in OWL 2 Full. Meta-modeling can be frequently spotted in real-word domain knowledge bases (KBs), for example, the FMA KB for canonical human anatomy, OpenCyc and SUMO for commonsense. In these KBs, most of the names for classes or roles are also used as individuals, leading them to fall into the category of OWL 2 Full. In contrast with OWL 2 DL, reasoning in OWL 2 Full has largely been unexplored, and there are no Reasoners tailored for OWL 2 Full. The gap between meta-modeling requirement in reality and the lack of studies on reasoning and querying in OWL 2 Full raises a challenge.