（1）所以，哲思逻辑又可以称为对当关系逻辑。（2）这样就会允许许多Resource实现类使用相同的关系逻辑。（3）该方法以扩展的关系逻辑为语义基础，把一致性问题归结为关系逻辑公式的可满足性问题。（4