41、语义网中反应性的表达与管理

语义网中反应性的表达与管理

1. 主动本体

为了克服传统方法中角色独立处理的局限性，提出了一种替代处理场景和形式化方法来表示反应性，即主动本体形式化方法 ACTION。

1.1 ACTION 本体定义

ACTION 本体被定义为一个 7 元组 (Oa =< C, E, Ps, Pa, F, fr, I >)，各部分含义如下：
- C ：类或基本数据类型的集合。
- E ：事件的集合。
- Ps ：静态属性的集合，每个属性对应一个从 (C ∪E) 到 (C ∪E) 的函数。
- Pa ：主动属性的集合，每个属性对应一个从 (C) 到 (C) 的函数。
- F ：表示类、属性和事件实例的谓词集合。
- fr ：一个函数，(fr : F × Pa × E →F)，定义反应性行为。
- I ：描述本体语言属性的公理集合。

静态属性集合 (Ps) 可能会诱导事件层次结构或类层次结构，并且在 ACTION 本体的公理集合 (I) 中有演绎规则表明内置谓词 isSubEventOf 是传递的。同样，也有规则建立 isSubClassOf 和 isSubPropertyOf 谓词的属性。因此，事件、类和属性被视为一等公民，由推理引擎统一处理。