Rule-Based Verification Method of Requirements Ontology

Abstract

SUMMARYThere have been many researches about construction and application of ontology in reality, notably the usage of ontology to support requirements engineering. The effect of ontology-based requirements engineering depends on quality of ontology. With the increasing size of ontology, it is difficult to verify the correctness of information stored in ontology. This paper will propose a method of using rules for verification the correctness of requirements ontology. We provide a rule description language to specify properties that requirements ontology should satisfy. Then, by checking whether the rules are consistent with requirements ontology, we verify the correctness of the ontology. We have developed a verification tool to support the method and evaluated the tool through experiments. key words: requirements ontology, ontology verification, requirements elicitation and analysis

Towards Ontology-Based Requirements Engineering for IoT-Supported Well-Being, Aging and Health

“…The systematic review identified the primary studies on the use of ontologies in RE [26], finding there are empirical evidences to state that ontologies benefit RE activities in both academy and industry settings, helping to reduce ambiguity, inconsistency and incompleteness of requirements and providing tool support and usage of W3C recommended ontology languages. Various ontology-based frameworks [27], models [28] and methods [29] have been proposed in order to support different RE phases, some even building a domain ontology for requirements classification, so-called Requirements Classification Ontology (RCO) [30]. Whichever purposes and RE phases the proposed ontology serves, it should be designed by using a proper ontology engineering method (e.g.…”