Evaluation of Ontology-Based Checking of Software Requirements Specification | IEEE Conference Publication | IEEE Xplore