Formal ontologies meet industry: 7th international workshop, FOMI 2015 Berlin, Germany, august 5, 2015 proceedings