A Formal Semantics for Weighted Ontology Mappings
A Formal Semantics for Weighted Ontology Mappings
复制标题
DOI：
10.1007/978-3-642-35176-1_2
复制
发表时间：
2012-11
期刊：
影响因子：
--
通讯作者：
Manuel Atencia;Alexander Borgida;J. Euzenat;Chiara Ghidini;L. Serafini
中科院分区：
文献类型：
--
作者：
Manuel Atencia;Alexander Borgida;J. Euzenat;Chiara Ghidini;L. Serafini
匹配者通常会为本体映射分配一个权重或置信度。尽管如此，到目前为止，很少有人给出这样的权重的语义解释。提出了一种不同本体之间加权映射的形式语义。它基于对映射的分类解释：如果O1和O2是用于对公共SETX进行分类的两个本体，则O1和O2之间的映射被解释为编码在O1概念中分类的X元素如何在O2概念中被重新分类，并且权重被解释以衡量重新分类的精确度和完备性。本体匹配的扩展实践证明了这种语义的合理性。它是清晰映射语义的保守扩展。本文还包括与描述逻辑构造函数的映射蕴涵相关的属性。
Ontology mappings are often assigned a weight or confidence factor by matchers. Nonetheless, few semantic accounts have been given so far for such weights. This paper presents a formal semantics for weighted mappings between different ontologies. It is based on a classificational interpretation of mappings: ifO1andO2are two ontologies used to classify a common setX, then mappings betweenO1andO2are interpreted to encode how elements ofXclassified in the concepts ofO1are re-classified in the concepts ofO2, and weights are interpreted to measure how precise and complete re-classifications are. This semantics is justifiable by extensional practice of ontology matching. It is a conservative extension of a semantics of crisp mappings. The paper also includes properties that relate mapping entailment with description logic constructors.