示例：检测实例 Allen 是否在 Woman中？ 即：检测 W o m a n ( A l l e n ) mathrm{Woman(Allen)} Woman(Allen) ？

 描述逻辑的公理可以用来定义术语,所以称为Terminological Box,简称Tbox

作为人类，我们可以基于图 1 推断出一些新的信息，例如 EID15 的举办地点是 Santiago、有航班相连的城市必定存在机场等。在这些情况下，给定图中的数据作为「前提」（premise），加上一些关于世界的通用规则作为「先验」（priori），我...

from：程序员最幽默@IT程序猿 微博网友评论：@Seattle_owl：这是个双关语，大家发现了吗？@葆泰websmart：一语双关，没有注释，无可奉告@廖松：是产品经理。@布衣NULL...