On the decidability of role mappings between modular ontologies

Authors:
Jie Bao;George Voutsadakis;Giora Slutzki;Vasant Honavar
Affiliations:
Department of Computer Science, Rensselaer Polytechnic Institute, Troy, NY;Department of Computer Science, Iowa State University, Ames, IA;Department of Computer Science, Iowa State University, Ames, IA;Department of Computer Science, Iowa State University, Ames, IA
Venue:
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Year:
2008

Citing 4
Cited 0

Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources

On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
A semantic importing approach to knowledge reuse from multiple ontologies

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Aspects of distributed and modular ontology reasoning

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Semantic cooperation and knowledge reuse by using autonomous ontologies

ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

Many semantic web applications require support for mappings between roles (or properties) defined in multiple independently developed ontology modules. Distributed Description Logics (DDL) and Package-based Description Logics (P-DL) offer two alternative logical formalisms that support such mappings. We prove that (a) variants of DDL that allow negated roles or cardinality restrictions in bridge rules or inverse bridge rules that connect ALC ontologies are undecidable; (b) a variant of P-DL ALCHIO(¬)P that supports role mappings between ontology modules expressed in ALCHIO(¬) is decidable.