A Methodology for Accurate and Redundancy-Free Business Requirements Description Using Ontology | IEEE Conference Publication | IEEE Xplore