A mathematical evaluation for measuring correctness of domain ontologies using concept maps. (March 2018)