Toward formalizing ologs: Linguistic structures, instantiations, and mappings