From: Analysis and implementation of the DynDiff tool when comparing versions of ontology
Change actions | Description | Hartung [12] | Papavasileiou [20] |
---|---|---|---|
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\)) |