Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study