We propose a method for controlling the quality of (semi-)automatically acquired axioms. We combine the manual inspection of axioms with automatic evaluation decisions and propose decision spaces as a means to efficiently compute which decisions can be automatized and which axiom evaluation order is beneficial.