52 International Journal of Knowledge and Systems Science, 5(4), 52-76, October-December 2014 Copyright © 2014, IGI Global. Copying or distributing in print or electronic forms without written permission of IGI Global is prohibited. ABSTRACT Software Product Line (SPL) provides the facility to systematically reuse of software improving the effciency of software development regarding time, cost and quality. The main idea of SPL is to identify the common core functionality that can be implemented once and reused afterwards. A variant model has also to be de- veloped to manage the variants of the SPL. Usually, a domain model consisting of the common and variant requirements is developed during domain engineering phase to alleviate the reuse opportunity. The authors present a product line model comprising of a variant part for the management of variant and a decision table to depict the customization of decision regarding each variant. Feature diagrams are widely used to model SPL variants. Both feature diagram and our variant model, which is based on tabular method, lacks logi- cally sound formal representation and hence, not amenable to formal verifcation. Formal representation and verifcation of SPL has gained much interest in recent years. This chapter presents a logical representation of the variant model by using frst order logic. With this representation, the table based variant model as well as the graphical feature diagram can now be verifed logically. Besides applying frst-order-logic to model the features, the authors also present an approach to model and analyze SPL model by using semantic web approach using OWL-DL. The OWL-DL representation also facilitates the search and maintenance of feature models and support knowledge sharing within a reusable engineering context. Reasoning tools are used to verify the consistency of the feature confguration for both logic-based and semantic web-based approaches. Logic-Based Analysis and Verifcation of Software Product Line Variant Requirement Model Shamim H Ripon, Department of Computer Science and Engineering, East West University, Dhaka, Bangladesh Sk. Jahir Hossain, Department of Computer Science and Engineering, East West University, Dhaka, Bangladesh Moshiur Mahamud Piash, Department of Computer Science and Engineering, East West University, Dhaka, Bangladesh Keywords: Domain Model, Feature Diagrams, OWL-DL, Software Product Line (SPL), Web-Based Approaches 1. INTRODUCTION Designing, developing and maintaining a good software system is a challenging task still in this 21st century. The approach of reusing existing good solutions for developing any new applica- tion is now one of the central focuses of software engineers. Building software systems from previously developed components saves cost and time of redundant work, and improves the DOI: 10.4018/ijkss.2014100104