94、ORM推导规则形式化及其向OWL的映射与分布式数据上的正则路径查询处理

ORM推导规则形式化及其向OWL的映射与分布式数据上的正则路径查询处理

1. ORM推导规则编码到OWL

在描述逻辑中对ORM推导规则进行编码，能提供有效的推理引擎。为了实现合适的编码，先定义了ORM概念模式的一个重要特殊情况——ORMbin，即仅包含二元谓词的ORM片段。这是因为ORMbin能直接映射到纯OWL，比包含n元谓词的ORM编码更易读。

ORMbin中的推导规则通过·†函数映射到OWL，具体定义如下：
- ((T ↔ GC)† = T .= GC†)
- (T † = T)
- (U † = U)
- ((B C)† = ∃B.C†)
- ((not C)† = ¬C†)
- ((and C1 … Cn)† = C† 1 ⊓… ⊓C† n)
- ((or C1 … Cn)† = C† 1 ⊔… ⊔C† n)

例如：

Visitor .= Person ⊓∃has.VISA
Citizen .= Person ⊓∃has.IDCard
Illegal .= Person ⊓∃has. ¬VISA ⊓∃has. ¬IDCard

可以证明，向OWL的转换保留了ORM模式的模型。

通用推导规则通过中间映射到n元描述逻辑DLR±，再映射到OWL。这种映射通过·‡函数定义：
- ((T ↔ GC)‡ = T .= GC‡)
- (T ‡ = T)
- (U ‡ = U)
- ((N[i j] GC)‡ = ∃[i].σj=GC‡