scholarly journals A Software Engineering Ontology as Software Engineering Knowledge Representation

Author(s):  
Pornpit Wongthongtham ◽  
Natsuda Kasisopha ◽  
Elizabeth Chang ◽  
Tharam Dillon
Author(s):  
Grigoris Antoniou

This paper discusses the significance of nonmonotonic reasoning, a method from the knowledge representation area, to mainstream software engineering. In particular, we discuss why the use of defaults in specifications is an adequate way of addressing some of the most important problems in requirements engineering, such as: The problem of identifying and dealing with inconsistencies; evolving system requirements; requirements prioritization; and the quality of specifications with respect to naturalness and compactness. We argue that these problems need to be addressed in a principled, formal way, and that default reasoning provides adequate mechanisms to deal with them.


Author(s):  
Cyril Pshenichny ◽  
Dmitry Mouromtsev

Constructive discussion must lead to a shared understanding. This understanding is commonly expressed as text; however, for the purposes of collaborative research, the tools of knowledge engineering/knowledge representation look more appropriate. The problem with them is that, to the present day, they are developed largely for the tasks that imply fixed relations between things and their properties, termed here as static. However, collaborative research often deals with fields of knowledge that represent changing environments where these relations cannot be considered fixed, and the tools to capture scenarios of evolution (i.e. the dynamic tools of knowledge engineering) are far from that evolved as static ones, mainly due to the lack of strict logical or mathematical foundation for representation of dynamic knowledge. This chapter presents an attempt to formulate a unified grammar to encode the knowledge of changing environments in any field of science.


Sign in / Sign up

Export Citation Format

Share Document