At the moment, the only way to make sure that FWD and BWD terminated correctly is by running a CO on the resulting triple.
It would be great to have a warning telling the user that FWD/BWD terminated, but was not able to translate all elements. The reasons for this could be:
The TGG cannot be handled with a greedy strategy and the user had better use an OPT strategy
The input model is not consistent and thus cannot be extended to a consistent triple
We could also think about actually leaving the ~_tr_ : false marker in the model elements...?
Or we just report the IDs?
At the moment, the only way to make sure that FWD and BWD terminated correctly is by running a CO on the resulting triple.
It would be great to have a warning telling the user that FWD/BWD terminated, but was not able to translate all elements. The reasons for this could be:
We could also think about actually leaving the
~_tr_ : falsemarker in the model elements...? Or we just report the IDs?