Eric Wang Yong Se Kim Form-Function Reasoning for Product Shape Ontology. 2007 SWW 2.0 http://ceur-ws.org/Vol-294/paper02.pdf conf/semweb/2007sww2 db/conf/semweb/sww22007.html#WangK07