An ontology service for supporting reasoning in medical applications