On the Decidability of Role Mappings between Modular Ontologies

Jie Bao, George Voutsadakis, Giora Slutzki, Vasant Honavar

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 $\logic{ALC}$ ontologies are undecidable; (b) a variant of P-DL $\logic{ALCHIO(\neg)P}$ that supports role mappings between ontology modules expressed in $\logic{ALCHIO(\neg)}$ is decidable.

Subjects: 11.1 Description Logics; 11.2 Ontologies

Submitted: Apr 13, 2008

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.