A semantic web approach to feature modeling and verification

@inproceedings{Wang2005ASW,
  title={A semantic web approach to feature modeling and verification},
  author={Hai Wang and Yuan Fang Li and Jing Sun and Hongyu Zhang and Jeff Z. Pan},
  year={2005}
}
Feature models are widely used in domain engineering to capture common and variant concepts among systems in a particular domain. How ever, the lack of a formal semantics of feature models has hindered the develo pm nt of this area. This paper presents a Semantic Web environment for mode ling and verifying feature diagrams using ontologies. We use OWL DL (a decidable dialect of OWL) to precisely capture the relationships among features in fea ture diagrams and configurations. OWL reasoning… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 45 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 22 REFERENCES

M̈oller. RACER User’s Guide and Reference Manual: Version 1.7.6

  • Volker Haarslev, Ralf
  • 2002
Highly Influential
13 Excerpts

A Combined Approach to Checking Web Ontologies

  • J. S. Dong, C. H. Lee, Y. F. Li, H. Wang
  • InProceedings of 13th World Wide Web Conference
  • 2004
2 Excerpts

OWL Web Ontology Language R ef rence.http: //www.w3.org/TR/2004/REC-owl-ref-20040210

  • M. Dean, G. Schreiber editors
  • 2004
1 Excerpt

Batory . A standard problem for evaluating productline methodologies

  • Roberto E. Lopez-Herrejon, S. Don
  • Proceedings of the Third International Conference…
  • 2002

Similar Papers

Loading similar papers…