set matrix elements m_ij as functional properties
reworked semantic map utils: prolog-style predicate names, fixed queries to support multiple maps that are loaded at the same time