https://www.sciencedirect.com/science/article/pii/S1532046412000627#b0160
https://github.com/dbs-leipzig/conto_diff/
The formal spec in the paper is very clear. There also seems to be a KGCL-CNL type language underpinning it, running the tool gives operations such as
move X_1 is_a X_2 X_3
https://www.sciencedirect.com/science/article/pii/S1532046412000627#b0160
https://github.com/dbs-leipzig/conto_diff/
The formal spec in the paper is very clear. There also seems to be a KGCL-CNL type language underpinning it, running the tool gives operations such as
move X_1 is_a X_2 X_3