Improvement of Quality of Software Requirements with Requirements Ontology

We have developed a requirements ontology for requirements elicitation of a certain problem domain. This ontology includes functional hierarchy and relationship between functions such as mutual/partial complementary, exclusion, and so on. Using the ontology, we have established a method of checking the quality of a SRS (software requirements specification), especially the correctness and the completeness. Our method can contribute to improve the quality and the quantity of requirements. The method will be described and illustrated with examples.