State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, the extensive usage of multiple distributed ontologies requires the capability for expressing different forms of mappings, which extend the semantic relations between concepts studied so far. In this paper, we propose an extension of the formalism of Distributed Description Logic (DDL) to represent mappings between relations in addition to the well-established mappings between concepts, an investigation on the effects of adding mappings between relations, and an effective decision procedure for reasoning with multiple ontologies bridged with these mappings.
Mapping properties of heterogeneous ontologies
Ghidini, Chiara;Serafini, Luciano
2007-01-01
Abstract
State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, the extensive usage of multiple distributed ontologies requires the capability for expressing different forms of mappings, which extend the semantic relations between concepts studied so far. In this paper, we propose an extension of the formalism of Distributed Description Logic (DDL) to represent mappings between relations in addition to the well-established mappings between concepts, an investigation on the effects of adding mappings between relations, and an effective decision procedure for reasoning with multiple ontologies bridged with these mappings.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.