A mapping system for the integration of OWL-DL ontologies.

To enable interoperability between applications in distributed information systems based on heterogeneous ontologies, it is necessary to formally define the notion of a mapping between ontologies. In this paper, we define a mapping system for OWL-DL ontologies, where mappings are expressed as corres...

Full description

Bibliographic Details
Main Authors: Haase, P, Motik, B
Other Authors: Hahn, A
Format: Journal article
Language:English
Published: ACM 2005
_version_ 1797062768042442752
author Haase, P
Motik, B
author2 Hahn, A
author_facet Hahn, A
Haase, P
Motik, B
author_sort Haase, P
collection OXFORD
description To enable interoperability between applications in distributed information systems based on heterogeneous ontologies, it is necessary to formally define the notion of a mapping between ontologies. In this paper, we define a mapping system for OWL-DL ontologies, where mappings are expressed as correspondences between conjunctive queries over ontologies. As query answering within such a general mapping system is undecidable, we identify a decidable fragment of the mapping system, which corresponds to OWL-DL extended with DL-safe rules. We further show how the mapping system can be applied for the task of ontology integration and present a query answering algorithm. Copyright 2005 ACM.
first_indexed 2024-03-06T20:50:17Z
format Journal article
id oxford-uuid:37523bfb-62e1-4cf9-a6a0-93b6f1bac6a4
institution University of Oxford
language English
last_indexed 2024-03-06T20:50:17Z
publishDate 2005
publisher ACM
record_format dspace
spelling oxford-uuid:37523bfb-62e1-4cf9-a6a0-93b6f1bac6a42022-03-26T13:43:27ZA mapping system for the integration of OWL-DL ontologies.Journal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:37523bfb-62e1-4cf9-a6a0-93b6f1bac6a4EnglishSymplectic Elements at OxfordACM2005Haase, PMotik, BHahn, AAbels, SHaak, LTo enable interoperability between applications in distributed information systems based on heterogeneous ontologies, it is necessary to formally define the notion of a mapping between ontologies. In this paper, we define a mapping system for OWL-DL ontologies, where mappings are expressed as correspondences between conjunctive queries over ontologies. As query answering within such a general mapping system is undecidable, we identify a decidable fragment of the mapping system, which corresponds to OWL-DL extended with DL-safe rules. We further show how the mapping system can be applied for the task of ontology integration and present a query answering algorithm. Copyright 2005 ACM.
spellingShingle Haase, P
Motik, B
A mapping system for the integration of OWL-DL ontologies.
title A mapping system for the integration of OWL-DL ontologies.
title_full A mapping system for the integration of OWL-DL ontologies.
title_fullStr A mapping system for the integration of OWL-DL ontologies.
title_full_unstemmed A mapping system for the integration of OWL-DL ontologies.
title_short A mapping system for the integration of OWL-DL ontologies.
title_sort mapping system for the integration of owl dl ontologies
work_keys_str_mv AT haasep amappingsystemfortheintegrationofowldlontologies
AT motikb amappingsystemfortheintegrationofowldlontologies
AT haasep mappingsystemfortheintegrationofowldlontologies
AT motikb mappingsystemfortheintegrationofowldlontologies