Sciweavers

AAAI
2008

On the Decidability of Role Mappings between Modular Ontologies

14 years 2 months ago
On the Decidability of Role Mappings between Modular Ontologies
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(
Jie Bao, George Voutsadakis, Giora Slutzki, Vasant
Added 02 Oct 2010
Updated 02 Oct 2010
Type Conference
Year 2008
Where AAAI
Authors Jie Bao, George Voutsadakis, Giora Slutzki, Vasant Honavar
Comments (0)