OAV-VVT Expert, an Active System for Verification and Validation of Knowledge Base Using OAV Knowledge Representation