SPARQL Graph Pattern Rewriting for OWL-DL Inference Query | IEEE Conference Publication | IEEE Xplore