基于RACER和nRQL的本体查询与推理