Ontology of Consumer Health Vocabulary: providing a formal and interoperable semantic resource for linking lay language and medical terminology | IEEE Conference Publication | IEEE Xplore