A formal semantics for weighted ontology mappings

Authors:
Manuel Atencia;Alexander Borgida;Jérôme Euzenat;Chiara Ghidini;Luciano Serafini
Affiliations:
INRIA, France,University of Grenoble, France;Rutgers University, United States;INRIA, France,University of Grenoble, France;Fondazione Bruno Kessler, Italy;Fondazione Bruno Kessler, Italy
Venue:
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Year:
2012

Citing 11
Cited 1

Reasoning about Uncertainty

Reasoning about Uncertainty
Ontology Matching

Ontology Matching
Expressive probabilistic description logics

Artificial Intelligence
Managing uncertainty and vagueness in description logics for the Semantic Web

Web Semantics: Science, Services and Agents on the World Wide Web
Package-Based Description Logics

Modular Ontologies
Combining OWL ontologies using E-Connections

Web Semantics: Science, Services and Agents on the World Wide Web
P-CLASSIC: a tractable probablistic description logic

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Discovery of probabilistic mappings between taxonomies: principles and experiments

Journal on data semantics XV
Probabilistic description logics

UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Three semantics for distributed systems and their relations with alignment composition

ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Tightly integrated probabilistic description logic programs for representing ontology mappings

Annals of Mathematics and Artificial Intelligence

Discovering alignments in ontologies of linked data

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

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: if O1 and O2 are two ontologies used to classify a common set X, then mappings between O1 and O2 are interpreted to encode how elements of X classified in the concepts of O1 are re-classified in the concepts of O2, 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.