---

Several plug-ins in ProM are capable to make use of the semantic annotations of logs in the S-MXML format.

• Semantic Organizational Miner
• The Semantic LTL Checker allows to incorporate semantic information from ontologies.
• The Performance Metrics in Ontologiesshows information about the throughput times of process instances and processing times of tasks based on concepts in a log. Its graphical design facilitates the identification of potential bottlenecks in the system. The analysis is purely based on a SA-MXML log and, for the calculation of the processing times, it requires the tasks to have a start and a complete event types.
• Annotate with default ontologies
• Ontology Summary
• Semantic Originator by Task Matrix
• Ontology URI Renaming Filter

Detailed information on all of these plug-ins can be found in the Deliverable 6.11 of the SUPER project.