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...
Main Authors: | , |
---|---|
Other Authors: | |
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 |