The SBML Harvester creates a complex ontology-based representation of SBML models, utilizing both the structure of the SBML model and the models' MIRIAM annotations. This representation can then be used for the consistency verification of SBML models as well as complex queries across both models and biomedical ontologies.
