which scientist is known for the kirby–siebenmann class and the kirby calculus ?
select distinct var_uri where brack_open var_uri dbo_knownFor dbr_Kirby–Siebenmann_class sep_dot var_uri rdf_type dbo_Scientist sep_dot var_uri dbo_knownFor dbr_Kirby_calculus sep_dot brack_close