Background: UML class diagrams can be automatically validated if they are compliant with a domain knowledge specified in a selected OWL 2 domain ontology. The method requires translation of the diagrams into their OWL 2 representation. Aim: The aim of this paper is to present transformation and verification rules of UML class diagrams to their OWL 2 representation. https://www.opheliasmuse.com/