A. Sharma and K. Forbus, “Automatic Extraction of Efficient Axiom Sets from Large Knowledge Bases”, AAAI, vol. 27, no. 1, pp. 1248-1254, Jun. 2013.