OWL 2 validation of UML class diagrams

The presented tool, called ONTOOL, allows for creating UML class diagrams on the basis of the selected OWL domain ontologies, and verifying if the diagrams are compliant with the ontologies. ONTOOL additionally allows for normalizing any syntactically correct and consistent ontology expressed in OWL. ONTOOL has been tested with a number of test cases, and empirically evaluated through conducting an experiment.

The tool has been implemented as a proof of concept of the methods proposed in the Doctoral Thesis:
Małgorzata Sadowska, "Creating and validating UML class diagrams with the use of domain ontologies expressed in OWL 2", Wroclaw University of Science and Technology, 2020.