Figure 1From: Ontology Design Patterns for bio-ontologies: a case study on the Cell Cycle OntologyStructure of the Value Partition ODP, in UML. The covering axiom (the class parameter is equivalent to the union of classes value_1 to value_n) ensures that when a new class is added, it is added as a subclass of the values; thus, no new values can be added.Back to article page