事实、模式与规则。
图中使用预设的类、事实与传递规则。本例的校验按显式类型约束执行，不代表所有本体系统都会自动拒绝不符类型的事实。推导出的事实用虚线区分。图校验的规范可参考 W3C SHACL。
本体层定义客户、商品、地点及三种关系；图谱层记录七个实体与七条事实。显式类型规则判定“耳机购买张三”不符合约束；根据“属于”的传递规则，深圳属于广东、广东属于中国，可以推出深圳属于中国。