Customizable rule-based verification of requirements ontology.

Dang Viet Dzung, Atsushi Ohnishi

Browse the full RE paper archive.