Using ontology to validate conceptual models