FORMAL METHOD FOR VALIDATION OF PRODUCT DESIGN THROUGH KNOWLEDGE MODELLING Topics: Domain Analysis and Modeling; Expert Systems; Knowledge Representation In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 0IC3K, 166-170, 2009 , Funchal - Madeira, Portugal