11.4 基于Jena的知识推理