Smart Grid model verification method

This paper considers a method for verification and subsequent modification of the Smart Grid during design stage. For automated use, it is required to create a network template, the elements of which would be present in any particular case of implementation. This role in our method is performed by the Smart Grid ontology. Verification for the network created by designer is carried out through comparison with abstract ontology model. When differences are found (e.g., lack of desired control system), the solution search occurs among the rules in Prolog language for this situation, and the Smart Grid model created by designer is translated into Prolog description. If rules are found, then they are applied, modifying the model created by designer. If not – return the model to designer for improvement. The last stage is the processed ontology model translation back to initial description. This method is considered on the example of abstract network model.