Implementation Of A Semantic Integrity Manager With A Knowledge Representation System