update kr library, fix maven dependencies
restore owl api and owl reasoner deps