12、基于本体生成规则的高级场景解释

基于本体生成规则的高级场景解释

1. 约束条件

在场景解释中，空间和时间上下文起着特殊作用。但在描述逻辑（DL）系统里，很难表示概念对象之间的约束，且DL系统也未提供灵活、逐步的场景解释框架。因此，引入了全局时间约束网络（TCN），用于控制规则的激活和逐步聚合实例化，同时保持时间约束的一致性。

1.1 时间约束网络

在机场活动监控等领域，时间约束至关重要。为了对时间关系进行建模，采用了凸时间点代数。SWRLTemporalOntology中使用的Allen时间运算符不够表达力，因为它们只能对定性关系进行建模，而实际领域的复杂性需要定量模型。

凸时间点代数中时间关系的基本格式为：
[t_1 \geq t_2 + c_{12}]
其中，(t_1)和(t_2)是区间值时间点，(c_{12})是整数值常量。利用这种不等式，可以对场景模型的时间结构的重要特征进行建模。

例如，在加油活动的OWL本体中，每个概念都有两个时间数据类型属性： has-start-time （开始时间点，(x - tb)）和 has-finish-time （结束时间点，(x - te)）。时间约束如下：
- 油罐车进入加油区域事件必须在油罐车停在加油区域事件之前发生，而油罐车停在加油区域事件又必须在油罐车离开加油区域事件之前发生。
- 操作员连接加油管事件必须在操作员断开加油管事件之前发生，且这两个事件都发生在油罐车停在加油区域事件期间。
- 每个事件都必须满足一定的持续时间。

这些时间约束可以用SWRL规则以不等式的形式表达。以下是加油聚合