An ontological approach for run-time safety management in smart work environments