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 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 support role mappings between ontology modules in ALCHIO(¬) (an extension of ALC that allows general role inclusions, inverse roles, nominals and negated roles) is decidable.
Cite
Text
Bao et al. "On the Decidability of Role Mappings Between Modular Ontologies." AAAI Conference on Artificial Intelligence, 2008.Markdown
[Bao et al. "On the Decidability of Role Mappings Between Modular Ontologies." AAAI Conference on Artificial Intelligence, 2008.](https://mlanthology.org/aaai/2008/bao2008aaai-decidability/)BibTeX
@inproceedings{bao2008aaai-decidability,
title = {{On the Decidability of Role Mappings Between Modular Ontologies}},
author = {Bao, Jie and Voutsadakis, George and Slutzki, Giora and Honavar, Vasant G.},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2008},
pages = {400-405},
url = {https://mlanthology.org/aaai/2008/bao2008aaai-decidability/}
}