Я использую Ubuntu16 и успешно установил dlvhex2 с boost version-1.65. Теперь проблема в том, что когда я устанавливаю плагин dllite в dlvhex2, он говорит, что для онтологий поддерживается более низкая версия boost. поэтому я установил более низкую версию Boost версии 1.55. Теперь у меня есть 2 версии наддува работает и проблема та же. Любое предложение и помощь будут оценены.