In SPARQL do I create a construct to infer information before using a SELECT query?

Question

I have the following information:

s:Marshmallow    rdfs:subClassOf    s:Android

s:galaxyEdge6    s:OS       s:Marshmallow;