Relation set R can be formalized as R = {r e , r c } ∪ R l , where r e is an instanceOf relation, r c is a subClassOf relation, and R l is the instance relation set.
the triple set S can be divided into three disjoint subsets: , where i ∈ I is an instance, c ∈ C is a concept, and n e is the size of S e .