Ontology mapping,alignment,articulation and mergin

对于ontology mapping,论文下了一个定义,是以数学的方式. 通过一个fuction.
这里我们要理解一下什么是全函数(total fuction),偏序集(partical ordered set),态射(morphisms).
ontology mapping的定义就是关联两个本体的词汇表任务,用数学结构的本体签名共享相同域.

设一个ontology是:O = (S,A)
                         S:signature(签名).描述词汇表.
                        A:axiom(公理).

态射:
            a<=b    --->f(a)<=f(b)

如果说本体映射的话,那就有两种映射:
全映射(total ontology mapping)
O1 = (S1;A1) to O2 = (S2;A2)是一个态射

(morphism)f:S1->S2                                
偏映射(poset ontology mapping)
O1 = (S1;A1) to O2 = (S2;A2).O' = (S',A')(S'属于S1,A'属于A1)
那么就有:O'到O2
上面这两种映射实际上都是一个找态射的问题.

本体映射(ontology mapping)事实上就是一个态射,是一个function set.从一个指配的词汇表符号到另一个.
但是如果有两个本体,他们之间存在的更为一般的关系:alignment,articulation and merging.这里我们用relation代替了function,也就是说,alignment,articulation and merging是一个更为一般的概念.那么本体映射仅从数学方式上去构造了这些概念的一部分.

对于
alignment,这个关系事实上是一对total function.
articulation是联接.
merging合并.