You can specify in which format the result of the semantic check is to be generated for download.
Procedure
Click Application launcher >
Models and objects. The Models and objects view in the repository is opened.
Click Semantic checks to open the Semantic checks bar.
Click Select output format. The corresponding dialog opens.
Click the down arrow and select the output option you want to use, for example, Output PDF.
Click OK.
You have set up the output options for the semantic check results. If you now run
a semantic check and click Download result as a document, the result is downloaded in the selected format.