克里斯蒂娜·费尔 安蒂·库西斯托 卡斯滕·卢茨 FO-表达本体论中介查询的可重写性。 2016 描述逻辑 https://ceur-ws.org/Vol-1577/paper_11.pdf conf/dlog/2016年 db/conf/dlog/dlog2016.html#FeierKL16