Verify Feature Models using protegeowl

  • Authors:

  • Hai Wang;Yuan Fang Li;Jing Sun;Hongyu Zhang

  • Affiliations:

  • The University of Manchester, UK;National University of Singapore;The University of Auckland, New Zealand;RMIT University, Australia

  • Venue:
  • WWW '05 Special interest tracks and posters of the 14th international conference on World Wide Web
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

Feature models are widely used in domain engineering to capture common and variant features among systems in a particular domain. However, the lack of a widely-adopted means of precisely representing and formally verifying feature models has hindered the development of this area. This paper presents an approach to modeling and verifying feature diagrams using Semantic Web ontologies.