使用OWL_MEM_MICRO_RULE_INF推理机，fixed #1
正在实现查询类之间的关系API