Abstract
Intelligent interactive systems have begun to adopt knowledge and software engineering technologies in an attempt to effective development. Feature models have been widely used in knowledge and software engineering for the reuse purpose. However, due to the lack of a formal semantics of feature models, it is rather difficult to perform rigorous consistency reasoning on them. Without guaranteed consistency of feature models, the quality of interactive systems based on them, can not be guaranteed. In this paper, how to formalize feature models with Description Logics is investigated. Following the proposed translation principles, each feature model is formalized into an \(\mathcal{ALCQI}\) knowledge base. Hence the consistency reasoning on the feature model turns into the consistency reasoning on the corresponding \(\mathcal{ALCQI}\) knowledge base. Especially, the latter reasoning can be automatically performed via the description logic reasoner RACER.
This paper was supported by the National Natural Science Foundation of China under Grant. 60473056.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
Bailin, S.: Domain Analysis with KAPTUR. In: Tutorial of TRIAda 1993, September 1993, vol. I, ACM, NewYork (1993)
Benavides, D., Ruiz-Cortés, A., Trinidad, P.: Coping with automatic reasoning on software product lines. In: Groningen Workshop on Software Variability Management, pp. 1–14 (2004)
Benavides, D., Trinidad, P., Ruiz-Cortés, A.: Automated Reasoning on Feature Models. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 491–503. Springer, Heidelberg (2005)
Calvanese, D., Lenzerini, M., Nardi, D.: Unifying class-based representation formalisms. Journal of Artificial Intelligence Research 11(2), 199–240 (1999)
Czarnecki, K., Eisenecker, U.: Generative Programming: Methods, Tools, And Applications. Addison-Wesley, Reading (2000)
Jung, E.-C., et al.: DIF Knowledge Management System: Bridging Viewpoints for Interactive System Design. In: Proceedings of 11th Human Computer Interaction International Las Vegas, Nevada, USA, July 22-27 (2005)
Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis (FODA) feasibility study. Technique Report, CMU/SEI-90-TR-21
Haarslev, V., MÄoler, R.: RACER Users Guide and Reference Manual (2004)
MÄoler, R.: Reasoning about domain knowledge and user actions for interactive systems development. In: Proceedings IFIP Working Groups 8.1/13.2 Conference, Domain Knowledge for Interactive System Design (May 1996)
Simos, M., Creps, D., Klinger, C., Levine, L., Allemang, D.: Organization Domain Modeling (ODM) Guidebook, Version 2.0. Technical Report for STARS (1996)
Streitferdt, D., Riebisch, M., Philippow, K.: Details of formalized relations in feature models using ocl. In: Proceedings of the 10th International Conference and Workshop on the Engineering of Computer-Based Systems, pp. 297–304 (2003)
Sun, J., Zhang, H., Li, Y., Wang, H.: Formal semantics and verification for feature modeling. In: Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2005), pp. 303–312 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fan, S., Zhang, N. (2006). Feature Model Based on Description Logics. In: Gabrys, B., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2006. Lecture Notes in Computer Science(), vol 4252. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11893004_145
Download citation
DOI: https://doi.org/10.1007/11893004_145
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-46537-9
Online ISBN: 978-3-540-46539-3
eBook Packages: Computer ScienceComputer Science (R0)