Ontological Evaluation of the Requirements Model in IS Re-engineering