On Jun 13, 2018, at 12:54 AM, StefanTU <[hidden email]> wrote:
Thanks for getting back to us. Because we need this functionality we will
try to implement it by ourselves.
Can you give us some advice at which parts we have to modify the plugin code
to implement this functionality?
protege-user mailing list