Oblog-2: A hybrid knowledge representation system for defeasible reasoning