private local automation clouds built by cps : potential and challenges for distributed reasoning .
An ontological framework for knowledge modeling and decision support in cyber-physical systems