@inproceedings{d763460b52844cc5b666f907cec4dd4e,
title = "On the decidability of role mappings between modular ontologies",
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 ALCCHIO(¬) is decidable.",
author = "Jie Bao and George Voutsadakis and Giora Slutzki and Vasant Honavar",
year = "2008",
language = "English (US)",
isbn = "9781577353683",
series = "Proceedings of the National Conference on Artificial Intelligence",
pages = "400--405",
booktitle = "AAAI-08/IAAI-08 Proceedings - 23rd AAAI Conference on Artificial Intelligence and the 20th Innovative Applications of Artificial Intelligence Conference",
note = "23rd AAAI Conference on Artificial Intelligence and the 20th Innovative Applications of Artificial Intelligence Conference, AAAI-08/IAAI-08 ; Conference date: 13-07-2008 Through 17-07-2008",
}