田田高 保罗·福多 迈克尔·基弗 基于规则推理的知识创作。 461-480 2018 OTM会议（2） https://doi.org/10.1007/978-3-030-02671-4_28 conf/otm/2018-2年 db/conf/otm/otm2018-2.html#GaoFK18