Updated sync_reasoner() such that it works for FaCT++

Updated sync_reasoner() such that it works for FaCT++ #2360