On the Decidability of Role Mappings Between Modular Ontologies
Conference Proceeding: 01/2008;
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 using bridge rules between roles
and importing of roles respectively. 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.
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 using bridge rules between roles
and importing of roles respectively. 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.
Comments on this publication
ResearchGate members can add comments. Sign up now and post your comment!
Similar publications
On the Semantics of Linking and Importing in Modular Ontologies.
Lecture notes in computer science. 4273:72-86.
Data provided are for informational purposes only. Although carefully collected, accuracy cannot be guaranteed. The impact factor represents a rough estimation of the journal's impact factor and does not reflect the actual current impact factor. Publisher conditions are provided by RoMEO. Differing provisions from the publisher's actual policy or licence agreement may be applicable.
Science & Research Jobs
PRAS-Healthcare-Scientist for MRI Coil Design
Position: Other
Employer: Philips (China) Investment Co.,Ltd
