A star-type based reasoner