Reasoning with Instances of Heterogeneous Ontologies

4th Italian Semantic Web Workshop

Luciano Serafini ; Andrei Tamilin

PID  :  79621

来源: CEUR

【 摘 要 】

We address the problem of reasoning with instances of heterogeneouslyformalized ontologies. Given a set of semantic mappings, reconciling concep tual and instance level heterogeneity between the input ontologies, we build our approach upon the capability of mappings to enforce a propagation of concept membership assertions between ontologies. The approach is formally grounded on a distributed description logic framework, which formally encodes ontologies as description logic knowledge bases and mappings as bridge rules and individ ual correspondences. We first give a logical characterization to the propagation of concept membership assertions along bridge rules and individual correspon dences between the input SHIQontologies, and further define a sound and com