Domain Ontologies for Reasoning Machines in Factory Automation