基于SWRL的软件需求一致性验证方法
胡海波,张 雷
Verifying software requirements with ontology and semantic Web rule language
HU Hai-bo,ZHANG Lei
计算机工程与应用 . 2010, (21): 72 -75 .  DOI: 10.3778/j.issn.1002-8331.2010.21.020