Sharma, A.; Forbus, K. Automatic Extraction of Efficient Axiom Sets from Large Knowledge Bases. AAAI 2013, 27, 1248-1254.