ontohub/ontohub — pull request #823 by 0robustus1 (2014-04-05 19:29:27+00:00)
Title: 767 avoid symbol creation caused by mapping

Shall solve #767 by deactivating standard-symbol parsing for symbols which are contained in map-element (which are part of DGLink elements).
As these symbols are not part of the ontology per se.