Automatic search engines for musical documents mostly provide a vast number of relevant and irrelevant hits including multiple appearances of the same documents. Generally, underlying information-processing methods that are based on metadata or simple content-based procedures cause this situation. Therefore we propose a model for the recognition of music that enables identification and comparison of musical documents regardless their actual instantiation. Inherent component of this model is the capability of navigation based on semantic relationship between musical pieces. In order to realize this functionality we introduce a concept that tries to derive deductive music recognition from generic music production as an equivalent counterpart. Hence, some deductive processes of human music perception are simulated. The resulting structures enclose musical meaning and therefore can be used for the estimation of identity and relationship between musical documents. As a byproduct of this functionality, plagiarism and copyright infringements could by detected.