The Domain Ontology and Domain Rules Based Requirements Model Checking

Many ontology-based methods have been proposed and applied in order to elicit system requirements correctly and unambiguously. However, most of ontologies in these methods are purely conceptual models. Furthermore, the domain knowledge base only captures domain concepts and neglects domain-restricted rules. If the requirements model violate these rules or contradict the usual business behavior, they become unreasonable. This paper suggests a formal approach to precisely describe ontology using description logic at first, and then model the integrity rules and derivation rules which restrict the business behavior. All the rules are represented in three aspects: syntax, semantics and visualization.