Authors: Sihem Klai; Antoine Zimmermann; Mohamed Tarek Khadir
Addresses: LabGed, Department of Computer Science, University of Badji Mokhtar of Annaba, PO Box 12, 2300, Algeria ' École Nationale Supérieure des Mines, FAYOL-ENSMSE, LSTI, F-42023, Saint-Étienne, France ' LabGed, Department of Computer Science, University of Badji Mokhtar of Annaba, PO Box 12, 2300, Algeria
Abstract: Integrating pre-existing, heterogeneous, and complementary ontologies, and exploiting them jointly in reasoning remains a major challenge. Ontology alignments make explicit the correspondences between terms from different ontologies and must be taken into account in reasoning. Two forms of correspondences can be introduced: mappings represent predefined relations such as subsumption, equivalence, or disjointness, that have a fixed semantics in all interpretations; links can relate complementary ontologies by introducing terms defined by experts, and their semantics varies according to interpretations. Different experts can introduce different terms according to their points of view, which brings semantically heterogeneous links. Thus, integrating pre-existing networks of aligned ontologies requires aligning terminologies from different alignments, so as to form higher level alignments. This generates networked knowledge that can in turn be aligned with other networked knowledge. As a result, we talk of multi-level networked knowledge, a concept that we formalise here and for which we propose a possible formal semantic for automating reasoning tasks. This semantic consists of reducing reasoning on networked knowledge to reasoning over DL formalisms for which we have reasoning procedures. The proposed approach is implemented and tested in order to compare results, for different networks.
Keywords: networked knowledge; ontologies; ontology alignment; DL reasoning; description logic; semantics; automated reasoning.
International Journal of Metadata, Semantics and Ontologies, 2016 Vol.11 No.1, pp.1 - 15
Received: 25 Jun 2015
Accepted: 15 Jan 2016
Published online: 02 Aug 2016 *