1、
语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。
互联网摘选
2、
本文给出如下结果：语义归结和锁归结在某种条件下是相容的；
互联网摘选
3、
4、
由此，本文在超越对立面的世界这一时空统一的四维的逻辑系统中对语义悖论的消解问题进行研究，也就是以一种对立统一的辩证思维来把握语义悖论。
互联网摘选
5、
在ACE数据集上实验结果表明，通过集成各种经过特征选择后的背景语义知识，共指消解的结果有进一步提高。
互联网摘选
6、
数据库集成系统中数据语义和属性不一致问题的解决方法
互联网摘选
