Formal ontologies meet industry proceedings of the fifth international workshop (FOMI 2011) - Vermaas, Pieter E. (Frontiers in artificial intelligence and applications,, 2011)