Formal and Conceptual Comparison of Ontology Mapping Languages

Authors:
Saartje Brockmans;Peter Haase;Luciano Serafini;Heiner Stuckenschmidt
Affiliations:
Institute AIFB, University of Karlsruhe, Germany;Institute AIFB, University of Karlsruhe, Germany;Center for Information Technology Fondazione Bruno Kessler, Trento, Italy;Heiner Stuckenschmidt, Computer Science Institute University of Mannheim, A5, Mannheim, Germany 6 68159
Venue:
Modular Ontologies
Year:
2009

Citing 9
Cited 2

On the relative expressiveness of description logics and predicate logics

Artificial Intelligence
Local models semantics, or contextual reasoning = locality + compatibility

Artificial Intelligence
MAFRA - A MApping FRAmework for Distributed Ontologies

EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
Information Integration Using Logical Views

ICDT '97 Proceedings of the 6th International Conference on Database Theory
Description Logics for Information Integration

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
ε-connections of abstract description systems

Artificial Intelligence
A mapping system for the integration of OWL-DL ontologies

Proceedings of the first international workshop on Interoperability of heterogeneous information systems
A formal investigation of mapping language for terminological knowledge

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Contextualizing ontologies

Web Semantics: Science, Services and Agents on the World Wide Web

Dependencies between ontology design parameters

International Journal of Metadata, Semantics and Ontologies
Towards a conceptualization of ETL and physical storage of semantic data warehouses as a service

Cluster Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

The compositional approach where several existing ontologies are connected to form a large modular ontology relies on the representation of mappings between elements in the different participating ontologies. A number of languages have been proposed for this purpose that extend existing logical languages for ontologies in a non-standard way. In this chapter, we compare different proposals for such extensions on a formal level and show that these approaches exhibit fundamental differences with respect to the assumptions underlying their semantics. In order to support application developers to select the right mapping language for a given situation, we propose a mapping metamodel that allows us to encode the formal differences on the conceptual level and facilitates the selection of an appropriate formalism on the basis of a formalism-independent specification of semantic relations between different ontologies by means of a graphical modelling language.