Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures