A Formal Semantics for Weighted Ontology Mappings.

Manuel Atencia Alexander Borgida Jérôme Euzenat Chiara Ghidini Luciano Serafini

Published in: ISWC (1) (2012)

Keyphrases

formal semantics
ontology mappings
logical language
semantic heterogeneity
ontology languages
first order logic
modelling language
modeling language
theorem prover
semantic web
ontology matching
database systems
case study
databases
heterogeneous sources
data management
knowledge management
information systems