Including ontologies under version control