SSEL Feature Model SSEL-2005/03 OWL framework for expressing Feature Models Every feature must at least imply itself