Multi-level networked knowledge: representation and DL-reasoning. (2016)

• Record Type: Journal Article
• Authors: Klai, Sihem; Zimmermann, Antoine; Khadir, Mohamed Tarek
• Is Part Of: International journal of metadata, semantics and ontologies. Volume 11:Number 1(2016)
• Page Start: 1
• Page End: 15
• Publication Date: 2016
• Subjects: networked knowledge -- ontologies -- ontology alignment -- DL reasoning -- description logic -- semantics -- automated reasoning; Metadata -- Periodicals; Semantic Web -- Periodicals; Ontologies (Information retrieval) -- Periodicals; Data structures (Computer science) -- Periodicals; Information theory -- Periodicals; 005.74
• Languages: English
• ISSNs: 1744-2621

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.