Knowledge Representation as the Basis for Requirements Specifications