1.Introduction Motivation Math. Semantics Ontology Integration & Interoperability Software Verification Conclusion Linking Big Data to Rich Process Descriptions Christoph…