Key points are not available for this paper at this time.
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.
Borgida et al. (Mon,) studied this question.