Integrating Procedural Ontologies in VEsNA: Study, Requirements, and Preliminary Design