This work has been supported by netidee SCIENCE, theAustrian Science Fund (FWF) under grant P30437-N31,and the Christian Doppler Research Association. Thecompetence center SBA Research (SBA-K1) is fundedwithin the framework of COMET — Competence Cen-ters for Excellent Technologies by BMVIT, BMDW, andthe federal state of Vienna, managed by the FFG.
The authors would like to thank Silvio Peroni for developing LODE, a Live OWL Documentation Environment, which is used for representing the Cross Referencing Section of this document and Daniel Garijo for developing Widoco, the program used to create the template used in this documentation.