Verify Feature Models using protegeowl.

@inproceedings{wang-2005-verify, author = {Hai H. Wang and Yuan-Fang Li and Jing Sun and Hongyu Zhang}, editor = {Allan Ellis and Tatsuya Hagino}, title = {{Verify Feature Models using protegeowl}}, booktitle = {{Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters}}, pages = {1038--1039}, publisher = {ACM}, year = {2005}, url = {https://doi.org/10.1145/1062745.1062857}, doi = {https://doi.org/10.1145/1062745.1062857} }