Process knowledge graph modeling techniques and application methods for ship heterogeneous models