Semantic data specifications: an analysis based on a categorical formalization by F. Piessens