Table 3 Complex change rules and their relations to [12] and [20] existing rules

pullUpC(\(c,B_1,B_2\))

Move c to a higher position in the hierarchy

-

Pull_up_Class(\(c,B_1,B_2\))

pullUpP(\(p,B_1,B_2\))

Move p to a higher position in the hierarchy

-

Pull_up_Property(\(p,B_1,B_2\))

pullDownC(\(c,B_1,B_2\))

Move c to a lower position in the hierarchy

-

Pull_down_Class(\(c,B_1,B_2\))

pullDownP(\(c,B_1,B_2\))

Move p to a lower position in the hierarchy

-

Pull_down_Property(\(p,B_1,B_2\))

moveC(\(c,B_1,B_2\))

Move c horizontaly

move(\(c,B_1,B_2\))

Move_Class(\(c,B_1,B_2\))

moveP(\(p,B_1,B_2\))

Move p horizontaly

-

Move_Property(\(c,B_1,B_2\))

recastI(\(i,B_1,B_2\))

Change type of i to \(B_2\)

-

Reclassify_Individual(\(i,B_1,B_2\))

toObsC(c)

c becomes obsolete

toObsolete(c)

-

revObsC(c)

revoke obsolete status of c

revokeObsolete(c)

-

toObsP(p)

p becomes obsolete

toObsolete(p)

-

revObsP(p)

revoke obsolete status of p

revokeObsolete(p)

-

addLeafC(c,p)

add c as leaf of p

addLeaf(c,p)

-

delLeafC(c,p)

del c as leaf of p

delLeaf(c,p)

-

addLeafP(\(p_1,p_2\))

add leaf property \(p_1\) below class \(p_2\)

-

-

delLeafP(\(p_1,p_2\))

del leaf property \(p_1\) below class \(p_2\)

-

-

addSubGraphC(c,B)

add a subgraph with root c and children B \(p_1\) below class \(p_2\)

addSubGraph(c,B)

-

delSubGraphC(c,B)

del a subgraph with root c and children B \(p_1\) below class \(p_2\)

delSubGraph(c,B)

-

addSubGraphP(p,B)

add a subgraph with root p and children B \(p_1\) below class \(p_2\)

-

-

delSubGraphP(p,B)

del a subgraph with root p and children B \(p_1\) below class \(p_2\)

-

-

renC(\(i_1,i_2\))

rename C from \(id_1\) to \(id_2\)

-

Rename_Class(\(i_1,i_2\))

reclassIHigher(\(i_1,i_2\))

When the instance is reclassified to a more generic class (i.e., the new class is an acester of the old class)

-

Reclassify_Individual_Higher(\(i,B_1,B_2\))

reclassILower(\(i_1,i_2\))

When the instance is reclassified to a more specific class (i.e., the new class is subsumed by the old class)

-

Reclassify_Individual_Lower(\(i,B_1,B_2\))