Ontology of Music Theory