关键词: 需求分解, 领域本体, 采用语义万维网规则语言（SWRL）, 形式化方法, 需求验证

Abstract: The quality of requirements analysis is critical to ensure the quality of software system.Requirement elicitation and analysis can be facilitated by semantic technologies and domain ontology.A method for verifying software requirements with ontology and Semantic Web Rule Language（SWRL） is proposed，where domain ontology acts as a basis and plays significant role in requirement semantics，and can be developed to represent shared knowledge and reusable requirements to improve software requirements specification.Requirements specification which is processed with natural language can be decomposed and refined into a set of atomic requirement items which are represented with triple tuple of semantic elements in domain ontology.The mapping of semantic requirement items with concepts and their relationships to the domain ontology leads to a set of inference rules which are represented by SWRL to verify the consistency of requirements specification.The process of requirements verification is defined in order to evaluate the quality of requirements specification and it is analyzed and validated with an experimental case study.

Key words: requirement decomposition, domain ontology, Semantic Web Rule Language（SWRL）, formal method, requirements verification