Figure 3

Extract of an OPL flat file, to be processed by the OPL program. The program reads the flat file and performs the actions in the ontology. The statements end with ; and the comments (starting with #) are not processed, ?x is equivalent to “any class”. The statements to be processed in this example are a SELECT statement followed by two ADD statements. When parsing, the program will select any class that has the value regulation in its label annotation property. The ADD statements are applied to any matching classes obtained from the SELECT statement. It will add two axioms to any matching class: the first axiom sets the matching class to be equivalent to the union of the (already existing) classes positive and negative. The second statement makes those classes disjoint. The resulting structure is the recreation of the Value Partition ODP.