Deakstadieđáhus: Formal ontologies meet industry