Knowledge Representation as the Basis for Requirements Specifications
Borgida, Greenspan, Mylopoulos · Computer · 1985
Specification of many kinds of knowledge about the world is essential to requirements engineering. Research on knowledge representation in artificial intelligence provides a wealth of relevant techniques that can be incorporated into specification languages.