Semantic Foundations For Formalizing Brain Cancer Profiles