# Formal and Conceptual Comparison of Ontology Mapping Languages

@inproceedings{Brockmans2009FormalAC,
title={Formal and Conceptual Comparison of Ontology Mapping Languages},
author={Saartje Brockmans and Peter Haase and Luciano Serafini and Heiner Stuckenschmidt},
booktitle={Modular Ontologies},
year={2009}
}
• Published in Modular Ontologies 17 May 2009
• Computer Science
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…
A Philosophical Foundation for Ontology Alignments - The Structuralistic Approach
• Philosophy, Computer Science
KI
• 2013
This paper proposes an interpretation of alignments in terms of theories as they are understood in the philosophy of science following the structuralistic notion of ontological reduction and uses this framework to identify an account of the necessary presumptions of every alignment semantics.
Dependencies between ontology design parameters
• C. Keet
• Computer Science
• 2010
Ontology development methodologies provide scenarios, but they do not address the dependencies between the permutations at the different stages in the development process, so the efficiency and effectiveness of this endeavour is improved.
Generic Methodology for Semantic Data Warehouse Design: From Schema Definition to ETL
• Computer Science
2012 Fourth International Conference on Intelligent Networking and Collaborative Systems
• 2012
This paper first proposed a generic framework for handling semantic sources, and the generic ETL steps are incorporated to the framework.
Multi-context Logics - A General Introduction
• Computer Science, Philosophy
Context in Computing
• 2014
This chapter provides an a-posteriori, systematic, and homogeneous description of the various MCSs introduced in the past by providing a general definition of the MCS framework with its main components, which is general enough to capture the various versions of M CSs.
Generic Conceptual Framework for Handling Schema Diversity during Source Integration
• Computer Science
• 2012
This paper proposes a generic conceptual framework for DB schema integration, defined based on the description logic formalism, and instantiates it through a case study considering a set of Oracle semantic DB, that are DB storing their own conceptual model, generated using Lehigh University BenchMark.
Traceability of Tightly Coupled Phases of Semantic Data Warehouse Design
• Computer Science
OTM Conferences
• 2015
It is claimed that the presence of ontologies can be an asset for the traceability, since the ontology can semantically define the design artifacts and their transformations during the whole cycle.
An Ontology-Alignment Based Recommendation Mechanism for Improving the Acquisition and Implementation of Managerial Training Services in Project Oriented Organizations
• Computer Science
2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems
• 2012
The recommender engine makes suggestions for adapting the training curriculum to the POOs' needs, by translating the ontology alignment result into a user-friendly form and by identifying web resources suitable to fill up the knowledge gaps.
Towards a conceptualization of ETL and physical storage of semantic data warehouses as a service
• Computer Science
Cluster Computing
• 2013
An ontology-based approach for designing semantic databases is proposed, ETL phases are defined at ontological level to hide the implementation details and a storage service for ontologies and its associated data is given.
A Quality-Driven Approach for Building Heterogeneous Distributed Databases: The Case of Data Warehouses
• Computer Science
2016 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid)
• 2016
An approach defines a set of quality indicators and quantitative measures that can anticipate data quality problems and identify causes of deficiencies in the ETL process at the ontological level, and checks the quality of data before loading them into the target data warehouse to avoid the propagation of corrupted data.
Improving Managerial Training Services in Project-Oriented Organizations with an Ontology-Alignment-Based Recommendation Mechanism
• Computer Science
• 2013
This chapter proposes a recommendation mechanism to enhance the managerial training in ProjectOriented Organizations (POOs) by translating the ontology alignment result into a user-friendly form and by identifying Web resources suitable to fill up the knowledge gaps.

## References

SHOWING 1-10 OF 30 REFERENCES
A Formal Investigation of Mapping Language for Terminological Knowledge
• Computer Science
IJCAI
• 2005
This paper proposes a formal comparison of existing mapping languages by translating them into distributed first order logic, which allows to analyze underlying assumptions and differences in the interpretation of ontology mappings.
A Framework for Ontology Integration
• Computer Science, Philosophy
The Emerging Semantic Web
• 2001
This paper argues that for capturing such mapping in an appropriate way, the notion of query is a crucial one, since it is very likely that a concept in one ontology corresponds to a view (i.e., a query) over the other ontologies.
Handbook on Ontologies
• Philosophy
International Handbooks on Information Systems
• 2004
The Handbook on Ontologies provides a comprehensive overview of the current status and future prospectives of the field of ontologies considering ontology languages, ontology engineering methods, example ontologies, infrastructures and technologies for ontology, and how to bring this all into ontology-based infrastructureures and applications that are among the best of their kind.
Contextualizing ontologies
• Computer Science, Philosophy
J. Web Semant.
• 2004
C-OWL: Contextualizing Ontologies
• Computer Science, Philosophy
SEMWEB
• 2003
This paper shows how ontologies can be contextualized, thus acquiring certain useful properties that a pure shared approach cannot provide, and develops Context OWL (C-OWL), a language whose syntax and semantics have been obtained by extending the OWLntax and semantics to allow for the representation of contextual ontologies.
A mapping system for the integration of OWL-DL ontologies
• Computer Science
IHIS '05
• 2005
This paper defines a mapping system for OWL-DL ontologies, where mappings are expressed as correspondences between conjunctive queries over ontology, and identifies a decidable fragment of the mapping system, which corresponds to OWl-DL extended with DL-safe rules.
Working with Multiple Ontologies on the Semantic Web
• Computer Science
SEMWEB
• 2004
A family of such formalisms, grounded in E-connections as extensions to OWL, are explored, with emphasis on a novel sub-formalism that seems very straightforward to implement on existing tableau OWL reasoners, as witnessed by the implementation of this formalism in the OWL whyer Pellet.
The Semantic Web - ISWC 2003
• Computer Science
Lecture Notes in Computer Science
• 2003
This work ran into a number of problems concerning alternative interpretations of the SN notation and the inability to express some of the interpretations in OWL, and details a list of issues to consider when describing formally concepts in any ontology, and a collection of criteria for evaluating alternative representations.
MAFRA - A MApping FRAmework for Distributed Ontologies
• Computer Science
EKAW
• 2002
MAFRA is presented, an interactive, incremental and dynamic framework for mapping distributed ontologies in the Semantic Web, and aims to balance the autonomy of each community with the need for interoperability.
Description Logics
Approaches for reasoning in expressive DLs, which are the foundation for Reasoning in the Web ontology language OWL DL, are presented and tractable reasoning in the more light-weight DL $\mathcal{EL}$, which is employed in bio-medical ontologies, is considered.