Model validation via OWL ontology