“…11 The theoretical underpinnings of the DOL language have been described in detail in (Kutz, Mossakowski, and Lücke, 2010) and (Mossakowski, Lange, and Kutz, 2012), whilst a full description of the language can be found in (Mossakowski et al, 2015) or (in a more condensed form) in (Mossakowski et al, 2013). Building on similar ideas to those underlying the first-order ontology repository COLORE 12 (Grüninger et al, 2012), we propose to capture image schemas as interrelated families of (heterogeneous) theories.…”