Text this: A mathematical evaluation for measuring correctness of domain ontologies using concept maps