add OWL2-RL inference rules/query specs from thi.ng/sema (currently unused)