Automatic Extraction of Efficient Axiom Sets from Large Knowledge Bases

Open in new window