Music and Multimedia Knowledge Representation and Reasoning: the HARP System