Edinburgh Research Explorer Making Cross Products and Guarded Ontology Languages Compatible