Formal ontologies meet industry (IOS Press, 2008)