15、物联网的语义丰富方法：GWE 范式解析

物联网的语义丰富方法：GWE 范式解析

1. GWE 表示的深入探讨

在物联网场景中，广义世界实体（GWE）的表示有着独特的方式。根据相关示例，片段的两部分由两个结构化的 GWE 表示，这些 GWE 是概念实体的实例，对应多层模板。在现实世界中，NKRL 的模板对应着各类基本事件、状态或情况，如物理对象的位移、支持服务的产生、消息的收发以及实体状态的改变等。

模板是 n 元结构，由多个“谓词 - 功能角色 - 谓词参数”形式的三元组组成。这些三元组紧密关联且共享谓词，如示例中的“MOVE”，还有“EXPERIENCE”“EXIST”“OWN”“PRODUCE”等。

此外，限定词/属性类型的额外形式特征用于为模板及其实例的基本结构提供额外信息。例如，在“aal9.c12”中使用了道义调制器“oblig(ation)”来表示锁前门的绝对必要性；“date - 1/date - 2”时间属性引入了原始基本事件的时间信息。

在模板实例（结构化 GWE）中，语义标签（如“aal9.c11”）对全局结构进行了具化命名。这种具化非常重要，因为语义标签可用于关联多个独立的 GWE，从而形成复杂现实场景的符号表示。例如，消息传输给 John 的表示中，“aal9.c12”符号标签间接表示消息内容，被用作“aal9.c11”GWE 所表示的信息传输的“OBJ(ect)”，这种关联方式在 NKRL 中称为补全构造。

NKRL 的另一种高阶逻辑（HOL）链接方式是绑定构造，即将表示基本事件的多个符号标签收集到一个列表中作为特定绑定运算符的参数。概念工具如“(CAUSE s1 s2)”表示由符号标签 s1 表示的事件源于 s2 表示的事件；“(GOAL s1 s2)