Open sfluegel05 opened 3 years ago
The command name owl-prove is not intuitive / misleading. We should find a better name, e.g. heterogeneous prove. Additionally, we should generalize the function by making it applicable to different dialect combinations (analogous to translate).
owl-prove
heterogeneous prove
translate
The command name
owl-prove
is not intuitive / misleading. We should find a better name, e.g.heterogeneous prove
. Additionally, we should generalize the function by making it applicable to different dialect combinations (analogous totranslate
).