Please use this identifier to cite or link to this item: https://doi.org/10.1016/j.websem.2006.11.006
Title: Verifying feature models using OWL
Authors: Wang, H.H.
Li, Y.F. 
Sun, J.
Zhang, H.
Pan, J.
Keywords: Feature modeling
Ontologies
OWL
Semantic Web
Issue Date: 2007
Source: Wang, H.H., Li, Y.F., Sun, J., Zhang, H., Pan, J. (2007). Verifying feature models using OWL. Web Semantics 5 (2) : 117-129. ScholarBank@NUS Repository. https://doi.org/10.1016/j.websem.2006.11.006
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 formal semantics and reasoning support of feature models has hindered the development of this area. Industrial experiences also show that methods and tools that can support feature model analysis are badly appreciated. Such reasoning tool should be fully automated and efficient. At the same time, the reasoning tool should scale up well since it may need to handle hundreds or even thousands of features a that modern software systems may have. This paper presents an approach to modeling and verifying feature diagrams using Semantic Web OWL ontologies. We use OWL DL ontologies to precisely capture the inter-relationships among the features in a feature diagram. OWL reasoning engines such as FaCT++ are deployed to check for the inconsistencies of feature configurations fully automatically. Furthermore, a general OWL debugger has been developed to tackle the disadvantage of lacking debugging aids for the current OWL reasoner and to complement our verification approach. We also developed a CASE tool to facilitate visual development, interchange and reasoning of feature diagrams in the Semantic Web environment. © 2007 Elsevier B.V. All rights reserved.
Source Title: Web Semantics
URI: http://scholarbank.nus.edu.sg/handle/10635/39660
ISSN: 15708268
DOI: 10.1016/j.websem.2006.11.006
Appears in Collections:Staff Publications

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

SCOPUSTM   
Citations

73
checked on Dec 5, 2017

WEB OF SCIENCETM
Citations

37
checked on Dec 5, 2017

Page view(s)

55
checked on Dec 11, 2017

Google ScholarTM

Check

Altmetric


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