Mathematical And Experimental Investigation Of Ontological Similarity Measures And Their Use In Biomedical Domains