who is the developer of the software which serves the platform for lively kernel ?
SELECT DISTINCT var_uri where brack_open dbr_Lively_Kernel dbo_computingPlatform var_x sep_dot var_x dbp_developer var_uri sep_dot var_x a dbo_Software brack_close