Checking a Knowledge-Based System for Consistency and Completeness