Please use this identifier to cite or link to this item: https://doi.org/10.1145/1062745.1062857
Title: Verify feature models using protégé-OWL
Authors: Wang, H.
Li, Y.F. 
Sun, J.
Zhang, H.
Keywords: Feature modeling
Ontologies
OWL
Semantic web
Issue Date: 2005
Source: Wang, H.,Li, Y.F.,Sun, J.,Zhang, H. (2005). Verify feature models using protégé-OWL. 14th International World Wide Web Conference, WWW2005 : 1038-1039. ScholarBank@NUS Repository. https://doi.org/10.1145/1062745.1062857
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.
Source Title: 14th International World Wide Web Conference, WWW2005
URI: http://scholarbank.nus.edu.sg/handle/10635/41702
ISBN: 1595930515
DOI: 10.1145/1062745.1062857
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

54
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.