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